| Publication | Date of Publication | Type |
|---|
Controlling the gain contribution of background emitters in few-quantum-dot microlasers
New Journal of Physics | 2024-05-07 | Paper |
| Stochastic decision Petri nets | 2023-11-16 | Paper |
Rate equations for graphs
(available as arXiv preprint) | 2022-12-22 | Paper |
Updating probabilistic knowledge on condition/event nets using Bayesian networks
(available as arXiv preprint) | 2021-08-04 | Paper |
| Structural decomposition of reactions of graph-like objects | 2021-02-24 | Paper |
Structural decomposition of reactions of graph-like objects
(available as arXiv preprint) | 2021-02-24 | Paper |
Rewriting abstract structures: materialization explained categorically
(available as arXiv preprint) | 2020-01-28 | Paper |
scientific article; zbMATH DE number 7020157 (Why is no real title available?)
(available as arXiv preprint) | 2019-02-08 | Paper |
Computing continuous-time Markov chains as transformers of unbounded observables
Lecture Notes in Computer Science | 2017-05-19 | Paper |
| The algebras of graph rewriting | 2016-12-19 | Paper |
Moment semantics for reversible rule-based systems
Reversible Computation | 2016-09-30 | Paper |
Processes and unfoldings: concurrent computations in adhesive categories
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
| A geometric view of partial order reduction | 2016-04-12 | Paper |
On pushouts of partial maps
Graph Transformation | 2014-09-26 | Paper |
Reversible sesqui-pushout rewriting
Graph Transformation | 2014-09-26 | Paper |
Towards Secrecy for Rewriting in Weakly Adhesive Categories
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Adhesive DPO parallelism for monic matches
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Pattern graphs and rule-based models: the semantics of Kappa
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Adhesivity with partial maps instead of spans
Fundamenta Informaticae | 2012-07-11 | Paper |
Van Kampen colimits as bicolimits in Span
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Unfolding Grammars in Adhesive Categories
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Being Van Kampen is a universal property
Logical Methods in Computer Science | 2011-05-26 | Paper |
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation | 2011-03-14 | Paper |
Hereditary pushouts reconsidered
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Sesqui-Pushout Rewriting
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Parallel and Sequential Independence for Borrowed Contexts
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Grammar Morphisms and Weakly Adhesive Categories
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
