| Publication | Date of Publication | Type |
|---|
Logics for Petri Nets with Propagating Failures
| 2024-03-14 | Paper |
On Diagrams and General Model Checkers
Diagrammatic Representation and Inference | 2023-02-23 | Paper |
Temporal logic for social networks
Journal Of Logic And Computation | 2022-09-08 | Paper |
Adding proof calculi to epistemic logics with structured knowledge
| 2022-06-17 | Paper |
scientific article; zbMATH DE number 7503137 (Why is no real title available?)
| 2022-04-04 | Paper |
Graded epistemic logic with public announcement
Journal of Logical and Algebraic Methods in Programming | 2022-03-09 | Paper |
Using HMM in strategic games
| 2021-06-22 | Paper |
Populational announcement logic (PPAL)
| 2021-01-19 | Paper |
scientific article; zbMATH DE number 7238914 (Why is no real title available?)
| 2020-08-25 | Paper |
Epistemic logics with structured knowledge
| 2019-11-13 | Paper |
A family of graded epistemic logics
| 2019-11-12 | Paper |
Propositional dynamic logic for Petri nets
Logic Journal of the IGPL | 2019-01-08 | Paper |
PDL for structured data: a graph-calculus approach
Logic Journal of the IGPL | 2019-01-08 | Paper |
Towards reasoning about Petri nets: a propositional dynamic logic based approach
Theoretical Computer Science | 2018-09-24 | Paper |
On a graph calculus for modalities
Theoretical Computer Science | 2017-06-15 | Paper |
Bisimilar and logically equivalent programs in PDL with parallel operator
Theoretical Computer Science | 2017-06-15 | Paper |
Propositional dynamic logic for Petri nets with iteration
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
On graph calculi for multi-modal logics
| 2016-08-01 | Paper |
Bisimilar and logically equivalent programs in PDL
| 2016-05-10 | Paper |
Extending propositional dynamic logic for Petri nets
| 2016-05-10 | Paper |
On a graph approach to modal logics
| 2016-05-10 | Paper |
Propositional dynamic logic with storing, recovering and parallel composition
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
Journal Of Logic And Computation | 2015-01-12 | Paper |
Product of Graphs and Hybrid Logic
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
A compositional automata-based approach for model checking multi-agent systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Modal expressiveness of graph properties
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
A study on multi-dimensional products of graphs and hybrid logics
Theoretical Computer Science | 2011-12-23 | Paper |
Hybrid logics and NP graph properties
Logic, Language, Information and Computation | 2011-05-27 | Paper |
On vague notions and modalities: a modular approach
Logic Journal of the IGPL | 2010-07-26 | Paper |
Using modal logics to express and check global graph properties
Logic Journal of the IGPL | 2009-11-12 | Paper |
A Propositional Dynamic Logic for CCS Programs
Logic, Language, Information and Computation | 2008-07-10 | Paper |
On fork arrow logic and its expressive power
Journal of Philosophical Logic | 2007-10-22 | Paper |
Formalizing Concurrent Common Knowledge as Product of Modal Logics
Logic Journal of the IGPL | 2006-03-30 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Reasoning about Knowledge in Asynchronous Distributed Systems
Logic Journal of the IGPL | 2005-08-03 | Paper |
Squares in fork arrow logic
Journal of Philosophical Logic | 2003-08-28 | Paper |
scientific article; zbMATH DE number 1952096 (Why is no real title available?)
| 2003-07-22 | Paper |
scientific article; zbMATH DE number 2020180 (Why is no real title available?)
| 2003-01-01 | Paper |
Sharing resources at nonuniform access rates
Theory of Computing Systems | 2001-04-17 | Paper |
scientific article; zbMATH DE number 517068 (Why is no real title available?)
| 1994-08-28 | Paper |
A Constructive Presentation for the Modal Connective of Necessity (□)
Journal Of Logic And Computation | 1992-09-27 | Paper |
