| Publication | Date of Publication | Type |
|---|
| Codensity games for bisimilarity | 2024-12-19 | Paper |
| History-dependent nominal \(\mu \)-calculus | 2024-12-19 | Paper |
| Monadic monadic second order logic | 2024-10-01 | Paper |
| Countdown \(\mu\)-calculus | 2024-08-06 | Paper |
| Orbit-finite-dimensional vector spaces and weighted register automata | 2024-07-03 | Paper |
| 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/Q5207051 | 2020-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207048 | 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 (invited talk) | 2013-12-13 | Paper |
| Structural operational semantics for stochastic and weighted transition systems | 2013-12-04 | Paper |
| From bialgebraic semantics to congruence formats | 2013-09-25 | Paper |
| A coalgebraic approach to process equivalence and a coinduction principle for traces | 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 |
