| Publication | Date of Publication | Type |
|---|
| Logics for Petri Nets with Propagating Failures | 2024-03-14 | Paper |
| Paraconsistent Transition Systems | 2024-02-28 | Paper |
| A hybrid dynamic logic for event/data-based systems | 2023-11-24 | Paper |
| Verification for everyone? An overview of dynamic logic | 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 |
| On Kleene Algebras for Weighted Computation | 2022-11-04 | Paper |
| Generalising KAT to Verify Weighted Computations | 2022-07-19 | Paper |
| Adding proof calculi to epistemic logics with structured knowledge | 2022-06-17 | Paper |
| Graded epistemic logic with public announcement | 2022-03-09 | Paper |
| Hybrid dynamic logic institutions for event/data-based systems | 2022-01-11 | Paper |
| Observational interpretations of hybrid dynamic logic with binders and silent transitions | 2021-09-03 | Paper |
| Introducing synchrony in fuzzy automata | 2021-01-19 | Paper |
| A fuzzy modal logic for fuzzy transition systems | 2021-01-19 | Paper |
| Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions | 2020-07-08 | Paper |
| Asymmetric Combination of Logics is Functorial: A Survey | 2020-01-16 | Paper |
| Observational Semantics for Dynamic Logic with Binders | 2020-01-16 | Paper |
| Epistemic logics with structured knowledge | 2019-11-13 | Paper |
| A family of graded epistemic logics | 2019-11-12 | Paper |
| Hierarchical hybrid logic | 2019-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4554399 | 2018-11-14 | Paper |
| On interval dynamic logic | 2018-09-27 | Paper |
| A logic for the stepwise development of reactive systems | 2018-09-24 | Paper |
| Behavioural and abstractor specifications revisited | 2018-07-26 | Paper |
| On the verification of architectural reconfigurations | 2018-05-15 | Paper |
| Institutions for behavioural dynamic logic with binders | 2017-11-03 | Paper |
| Dynamic Logic with Binders and Its Application to the Development of Reactive Systems | 2016-12-21 | Paper |
| An exercise on the generation of many-valued dynamic logics | 2016-12-15 | Paper |
| Refinement by Interpretation in a General Setting | 2016-08-01 | Paper |
| Encoding hybridized institutions into first-order logic | 2016-07-28 | Paper |
| A Dynamic Logic for Every Season | 2016-04-01 | Paper |
| Refinement in hybridised institutions | 2015-07-23 | Paper |
| Boilerplates for Reconfigurable Systems: A Language and Its Semantics | 2014-04-16 | Paper |
| Observational Refinement Process | 2014-03-26 | Paper |
| The role of logical interpretations in program development | 2014-01-22 | Paper |
| A coalgebraic perspective on logical interpretations | 2013-09-23 | Paper |
| Hybridisation at Work | 2013-09-13 | Paper |
| Hybrid Specification of Reactive Systems: An Institutional Approach | 2011-10-28 | Paper |
| Hybridization of Institutions | 2011-09-02 | Paper |
