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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Mendler