5 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.CY2023★ 1 cited
Computer Science for Future -- Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg
Elina Eickstädt, Martin Becke, Martin Kohler +1
Computer Science for Future (CS4F) is an initiative in the Department of Computer Science at HAW Hamburg. The aim of the initiative is a paradigm shift in the discipline of compute…
cs.DM2018★ 3 cited
Subtyping for Hierarchical, Reconfigurable Petri Nets
Julia Padberg
Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigura…
cs.LO2017★ 5 cited
Towards M-Adhesive Categories based on Coalgebras and Comma Categories
Julia Padberg
In this contribution we investigate several extensions of the powerset that comprise arbitrarily nested subsets, and call them superpower set. This allows the definition of graphs…