| Publication | Date of Publication | Type |
|---|
| The institution of many-logics modal logic | 2025-10-29 | Paper |
| Lattices for \textit{many-logics} modal logic: constructions and representations | 2025-10-14 | Paper |
| Adding concurrency to quantum dynamic logic | 2025-10-14 | Paper |
| Paraconsistent relations as a variant of Kleene algebras | 2025-09-03 | Paper |
Paraconsistent transition structures: compositional principles and a modal logic
Mathematical Structures in Computer Science | 2025-08-22 | Paper |
| A logic for paraconsistent transition systems | 2025-01-09 | Paper |
| Relating Kleene algebras with pseudo uninorms | 2024-06-05 | Paper |
| Structured specification of paraconsistent transition systems | 2024-05-03 | Paper |
| Logics for Petri Nets with Propagating Failures | 2024-03-14 | Paper |
Paraconsistent Transition Systems
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
A hybrid dynamic logic for event/data-based systems
Fundamental Approaches to Software Engineering | 2023-11-24 | Paper |
Verification for everyone? An overview of dynamic logic
Molecular Logic and Computational Synthetic Biology | 2023-10-20 | Paper |
Weighted synchronous automata
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
A semantics and a logic for \textit{Fuzzy Arden Syntax}
Soft Computing | 2022-11-21 | Paper |
On Kleene algebras for weighted computation
Lecture Notes in Computer Science | 2022-11-04 | Paper |
Generalising KAT to Verify Weighted Computations
Scientific Annals of Computer Science | 2022-07-19 | Paper |
| Adding proof calculi to epistemic logics with structured knowledge | 2022-06-17 | Paper |
Graded epistemic logic with public announcement
Journal of Logical and Algebraic Methods in Programming | 2022-03-09 | Paper |
Hybrid dynamic logic institutions for event/data-based systems
Formal Aspects of Computing | 2022-01-11 | Paper |
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Journal of Logical and Algebraic Methods in Programming | 2021-09-03 | Paper |
| A fuzzy modal logic for fuzzy transition systems | 2021-01-19 | Paper |
| Introducing synchrony in fuzzy automata | 2021-01-19 | Paper |
| Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions | 2020-07-08 | Paper |
Observational Semantics for Dynamic Logic with Binders
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Asymmetric combination of logics is functorial: a survey
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
| Epistemic logics with structured knowledge | 2019-11-13 | Paper |
| Hierarchical hybrid logic | 2019-11-12 | Paper |
| A family of graded epistemic logics | 2019-11-12 | Paper |
| scientific article; zbMATH DE number 6979315 (Why is no real title available?) | 2018-11-14 | Paper |
| On interval dynamic logic | 2018-09-27 | Paper |
A logic for the stepwise development of reactive systems
Theoretical Computer Science | 2018-09-24 | Paper |
Behavioural and abstractor specifications revisited
Theoretical Computer Science | 2018-07-26 | Paper |
On the verification of architectural reconfigurations
Computer Languages, Systems & Structures | 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
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
An exercise on the generation of many-valued dynamic logics
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Refinement by Interpretation in a General Setting
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
Encoding hybridized institutions into first-order logic
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
A dynamic logic for every season
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Refinement in hybridised institutions
Formal Aspects of Computing | 2015-07-23 | Paper |
Boilerplates for reconfigurable systems: a language and its semantics
Programming Languages | 2014-04-16 | Paper |
Observational refinement process
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
The role of logical interpretations in program development
Logical Methods in Computer Science | 2014-01-22 | Paper |
A coalgebraic perspective on logical interpretations
Studia Logica | 2013-09-23 | Paper |
Hybridisation at work
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Hybrid specification of reactive systems: an institutional approach
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Hybridization of institutions
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
