| Publication | Date of Publication | Type |
|---|
How easy it is to know how: an upper bound for the satisfiability problem
| 2024-05-29 | Paper |
Algebraic tools for default modal systems
Journal Of Logic And Computation | 2024-02-08 | Paper |
Measuring masking fault-tolerance
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
Deontic action logics via algebra
| 2023-02-21 | Paper |
scientific article; zbMATH DE number 7633795 (Why is no real title available?)
| 2022-12-16 | Paper |
Playing Against Fair Adversaries in Stochastic Games with Total Rewards
| 2022-12-07 | Paper |
scientific article; zbMATH DE number 7450023 (Why is no real title available?)
| 2021-12-20 | Paper |
Default modal systems as algebraic updates
| 2021-12-01 | Paper |
A tableaux calculus for default intuitionistic logic
| 2020-03-10 | Paper |
Interpolation and Beth definability in default logics
| 2020-02-18 | Paper |
Satisfiability calculus: an abstract formulation of semantic proof systems
Fundamenta Informaticae | 2019-07-17 | Paper |
Reasoning About Prescription and Description Using Prioritized Default Rules
EPiC Series in Computing | 2019-07-04 | Paper |
Algebraic foundations for specification refinements
| 2018-09-27 | Paper |
Simulation relations for fault-tolerance
Formal Aspects of Computing | 2018-01-08 | Paper |
Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
Studia Logica | 2017-05-15 | Paper |
Tractable probabilistic \(\mu\)-calculus that expresses probabilistic temporal logics
| 2017-01-24 | Paper |
Categorical foundations for structured specifications in \(\mathsf{Z}\)
Formal Aspects of Computing | 2016-01-06 | Paper |
Deontic Logics Based on Boolean Algebra
Outstanding Contributions to Logic | 2015-04-10 | Paper |
A heterogeneous characterisation of component-based system design in a categorical setting
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Deontic logic, contrary to duty reasoning and fault tolerance
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Synthesizing masking fault-tolerant systems from deontic specifications
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Satisfiability calculus: the semantic counterpart of a proof calculus in general logics
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Model checking propositional deontic temporal logic via a \(\mu \)-calculus characterization
Lecture Notes in Computer Science | 2012-11-06 | Paper |
Encapsulating deontic and branching time specifications
Theoretical Computer Science | 2012-10-11 | Paper |
Towards a first-order deontic action logic
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
dCTL: a branching time temporal logic for fault-tolerant system verification
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Characterizing locality (encapsulation) with bisimulation
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Deontic action logic, atomic Boolean algebras and fault-tolerance
Journal of Applied Logic | 2010-02-09 | Paper |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance | 2009-04-24 | Paper |
A Complete and Compact Propositional Deontic Logic
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
A Tableaux System for Deontic Action Logic
Lecture Notes in Computer Science | 2008-08-28 | Paper |
