Mads Dam

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Reasoning about higher-order processes	2022-08-18	Paper
On the decidability of process equivalences for the π-calculus	2022-08-16	Paper
Hoare-style logic for unstructured programs	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4994127	2021-06-17	Paper
Formal verification of integrity-preserving countermeasures against cache storage side-channels	2019-09-16	Paper
Decidability and proof systems for language-based noninterference relations	2017-08-21	Paper
An Epistemic Predicate CTL* for Finite Control π-Processes	2016-10-07	Paper
Security monitor inlining and certification for multithreaded Java	2016-07-27	Paper
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties	2015-01-13	Paper
A Data Symmetry Reduction Technique for Temporal-epistemic Logic	2009-12-01	Paper
Provably correct runtime monitoring	2009-07-20	Paper
Decentralized detection of global threshold crossings using aggregation trees	2008-06-25	Paper
On the secure implementation of security protocols	2004-11-22	Paper
On global induction mechanisms in aμ-calculus with explicit approximations	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4417874	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417890	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4440827	2003-01-01	Paper
-Calculus with Explicit Points and Approximations	2002-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4511273	2000-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4256653	1999-08-08	Paper
On the decidability of process equivalences for the \(\pi\)-calculus	1998-07-22	Paper
Proving properties of dynamic process networks	1998-04-02	Paper
Model checking mobile processes	1996-12-01	Paper
Process-Algebraic Interpretations of Positive Linear and Relevant Logics	1995-04-20	Paper
CTL\(^\) and ECTL\(^\) as fragments of the modal \(\mu\)-calculus	1994-05-15	Paper
\(R\)-generability, and definability in branching time logics	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3718127	1986-01-01	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: Mads Dam