| Publication | Date of Publication | Type |
|---|
| Iterated covariant powerset is not a monad | 2022-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013828 | 2021-12-02 | Paper |
| Nondeterministic and co-nondeterministic implies deterministic, for data languages | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995156 | 2021-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111437 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111198 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207048 | 2020-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207051 | 2020-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4972736 | 2019-11-26 | Paper |
| Expressiveness of probabilistic modal logics: a gradual approach | 2019-05-29 | Paper |
| Turing machines with atoms, constraint satisfaction problems, and descriptive complexity | 2018-04-23 | Paper |
| Locally Finite Constraint Satisfaction Problems | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636561 | 2018-04-19 | Paper |
| Learning nominal automata | 2017-10-20 | Paper |
| Presenting Morphisms of Distributive Laws | 2017-07-11 | Paper |
| Turing Machines with Atoms | 2017-07-03 | Paper |
| Coalgebraic trace semantics via forgetful logics | 2017-04-11 | Paper |
| Some undecidable properties of SOS specifications | 2017-02-22 | Paper |
| Coalgebraic Trace Semantics via Forgetful Logics | 2015-10-01 | Paper |
| Towards nominal computation | 2015-09-11 | Paper |
| Coalgebraic Modal Logic Beyond Sets | 2015-07-10 | Paper |
| Automata theory in nominal sets | 2014-09-05 | Paper |
| Bialgebraic Methods in Structural Operational Semantics | 2013-12-13 | Paper |
| Structural operational semantics for stochastic and weighted transition systems | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848127 | 2013-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847815 | 2013-09-11 | Paper |
| Structural Operational Semantics and Modal Logic, Revisited | 2012-10-02 | Paper |
| Bialgebras for structural operational semantics: an introduction | 2011-09-22 | Paper |
| Pointwise extensions of GSOS-defined operations | 2011-06-10 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Structural Operational Semantics for Weighted Transition Systems | 2009-10-22 | Paper |
| Bialgebraic methods and modal logic in structural operational semantics | 2009-04-14 | Paper |
| Structural Operational Semantics for Stochastic Process Calculi | 2008-04-11 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Amalgamation in the semantics of CASL | 2005-04-06 | Paper |
| Adding recursive constructs to bialgebraic semantics | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471721 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779164 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764130 | 2002-01-22 | Paper |
