| Publication | Date of Publication | Type |
|---|
| A logic for paraconsistent transition systems | 2025-01-09 | Paper |
| Structured specification of paraconsistent transition systems | 2024-05-03 | Paper |
| Paraconsistent Transition Systems | 2024-02-28 | Paper |
| Reactive models for biological regulatory networks | 2023-10-20 | Paper |
| Weighted synchronous automata | 2023-04-19 | Paper |
| A semantics and a logic for \textit{Fuzzy Arden Syntax} | 2022-11-21 | Paper |
| A refinement relation for families of timed automata | 2022-11-04 | Paper |
| On Kleene algebras for weighted computation | 2022-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039183 | 2022-10-12 | Paper |
| A tribute to José Manuel Valença | 2022-08-26 | Paper |
| Generalising KAT to Verify Weighted Computations | 2022-07-19 | Paper |
| A note on reactive transitions and Reo connectors | 2021-06-03 | Paper |
| Introducing synchrony in fuzzy automata | 2021-01-19 | Paper |
| Asymmetric combination of logics is functorial: a survey | 2020-01-16 | Paper |
| Hierarchical hybrid logic | 2019-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4554399 | 2018-11-14 | Paper |
| A logic for the stepwise development of reactive systems | 2018-09-24 | Paper |
| Languages and models for hybrid automata: a coalgebraic perspective | 2018-09-24 | Paper |
| On the verification of architectural reconfigurations | 2018-05-15 | Paper |
| Layered logics, coalgebraically | 2018-04-12 | Paper |
| Dynamic logic with binders and its application to the development of reactive systems | 2016-12-21 | Paper |
| Hybrid automata as coalgebras | 2016-12-21 | Paper |
| Continuity as a computational effect | 2016-12-15 | Paper |
| A tribute to José Nuno Oliveira | 2016-12-15 | Paper |
| Refinement by Interpretation in a General Setting | 2016-08-01 | Paper |
| A single complete relational rule for coalgebraic refinement | 2016-08-01 | Paper |
| A dynamic logic for every season | 2016-04-01 | Paper |
| Completeness and decidability results for hybrid(ised) logics | 2016-04-01 | Paper |
| Refinement in hybridised institutions | 2015-07-23 | Paper |
| A Hilbert-style axiomatisation for equational hybrid logic | 2015-02-09 | Paper |
| Boilerplates for reconfigurable systems: a language and its semantics | 2014-04-16 | Paper |
| An exercise on transition systems | 2014-01-24 | Paper |
| The role of logical interpretations in program development | 2014-01-22 | Paper |
| A coalgebraic perspective on logical interpretations | 2013-09-23 | Paper |
| A coalgebraic semantic framework for component-based development in UML | 2013-09-20 | Paper |
| Hybridisation at work | 2013-09-13 | Paper |
| State-based components made generic | 2013-08-23 | Paper |
| Process Calculi à la Bird-Meertens | 2013-04-26 | Paper |
| A calculus for generic, QoS-aware component composition | 2013-04-25 | Paper |
| Hybrid specification of reactive systems: an institutional approach | 2011-10-28 | Paper |
| Hybridization of institutions | 2011-09-02 | Paper |
| Slicing for architectural analysis | 2010-08-26 | Paper |
| A Coordination Model for Interactive Components | 2010-01-28 | Paper |
| A perspective on service orchestration | 2009-07-15 | Paper |
| Calculating Invariants as Coreflexive Bisimulations | 2009-01-27 | Paper |
| Transposing partial components--an exercise on coalgebraic refinement | 2006-12-07 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Components as coalgebras: the refinement dimension | 2006-04-06 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409159 | 2003-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762665 | 2001-02-22 | Paper |
