Michael Mendler

Available identifiers

zbMath Open mendler.michaelMaRDI QIDQ453536

List of research outcomes

Publication	Date of Publication	Type
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading	2023-08-02	Paper
An algebraic theory of multiple clocks	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	2019-01-11	Paper
A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits	2019-01-10	Paper
A Novel WCET Semantics of Synchronous Programs	2018-02-16	Paper
The intuitionism behind Statecharts steps	2017-06-13	Paper
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency	2015-06-24	Paper
On the Computational Interpretation of CKn for Contextual Information Processing	2014-05-14	Paper
Grounding Synchronous Deterministic Concurrency in Sequential Programming	2014-04-16	Paper
Constructive Boolean circuits and the exactness of timed ternary simulation	2012-09-27	Paper
Cut-free Gentzen calculus for multimodal CK	2012-03-13	Paper
Constructive semantics for instantaneous reactions	2011-03-14	Paper
What Is in a Step: New Perspectives on a Classical Question	2010-09-07	Paper
Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?	2010-06-25	Paper
Towards constructive DL for abstraction and refinement	2010-05-26	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Is Observational Congruence Axiomatisable in Equational Horn Logic?	2008-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4736390	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4474851	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4484500	2003-06-12	Paper
Intensional completeness in an extension of Gödel/Dummett logic	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4790661	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4785506	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2754141	2001-11-11	Paper
Characterising combinational timing analyses in intuitionistic modal logic	2001-06-21	Paper
Propositional lax logic	1997-11-26	Paper
Newtonian arbiters cannot be proven correct	1994-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4028319	1993-03-28	Paper

Research outcomes over time

This page was built for person: Michael Mendler