| Publication | Date of Publication | Type |
|---|
| A modal logic analysis of the MUTEX variable coverage theorem | 2025-03-25 | Paper |
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading
Lecture Notes in Computer Science | 2023-08-02 | Paper |
An algebraic theory of multiple clocks
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| The Došen square under construction: a tale of four modalities | 2022-05-25 | Paper |
| Deterministic concurrency: a clock-synchronised shared memory approach | 2019-09-13 | Paper |
Abstraction of hardware construction
Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
A novel WCET semantics of synchronous programs
Lecture Notes in Computer Science | 2018-02-16 | Paper |
The intuitionism behind statecharts steps
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
Acta Informatica | 2015-06-24 | Paper |
On the computational interpretation of \(\mathbf{CK}_{n}\) for contextual information processing
Fundamenta Informaticae | 2014-05-14 | Paper |
Grounding synchronous deterministic concurrency in sequential programming
Programming Languages and Systems | 2014-04-16 | Paper |
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design | 2012-09-27 | Paper |
Cut-free Gentzen calculus for multimodal CK
Information and Computation | 2012-03-13 | Paper |
Constructive semantics for instantaneous reactions
Theoretical Computer Science | 2011-03-14 | Paper |
What is in a step: new perspectives on a classical question
Time for Verification | 2010-09-07 | Paper |
Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
Information and Computation | 2010-06-25 | Paper |
Towards constructive DL for abstraction and refinement
Journal of Automated Reasoning | 2010-05-26 | Paper |
A compositional semantic theory for synchronous component-based design.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Is Observational Congruence Axiomatisable in Equational Horn Logic?
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
| scientific article; zbMATH DE number 2085167 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2079039 (Why is no real title available?) | 2004-07-21 | Paper |
| scientific article; zbMATH DE number 1927575 (Why is no real title available?) | 2003-06-12 | Paper |
Intensional completeness in an extension of Gödel/Dummett logic
Studia Logica | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1863386 (Why is no real title available?) | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1848312 (Why is no real title available?) | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1670821 (Why is no real title available?) | 2001-11-11 | Paper |
Characterising combinational timing analyses in intuitionistic modal logic
Logic Journal of the IGPL | 2001-06-21 | Paper |
Propositional lax logic
Information and Computation | 1997-11-26 | Paper |
Newtonian arbiters cannot be proven correct
Formal Methods in System Design | 1994-02-17 | Paper |
| scientific article; zbMATH DE number 139968 (Why is no real title available?) | 1993-03-28 | Paper |
