David Baelde

Available identifiers

zbMath Open baelde.davidMaRDI QIDQ2167735

List of research outcomes

Publication	Date of Publication	Type
POR for security protocol equivalences. Beyond action-determinism	2022-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q5090950	2022-07-21	Paper
Abella: A System for Reasoning about Relational Specifications	2019-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q5224559	2019-07-24	Paper
Towards Completeness via Proof Search in the Linear Time μ-calculus	2018-04-23	Paper
Partial Order Reduction for Security Protocols	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5351980	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5278420	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5278431	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5270090	2017-06-22	Paper
Combining Deduction Modulo and Logics of Fixed-Point Definitions	2017-05-16	Paper
On the Expressivity of Minimal Generic Quantification	2016-05-06	Paper
Least and Greatest Fixed Points in Linear Logic	2015-09-17	Paper
Towards Provably Robust Watermarking	2012-09-20	Paper
Focused Inductive Theorem Proving	2010-09-14	Paper
On the Proof Theory of Regular Fixed Points	2009-12-01	Paper
Least and Greatest Fixed Points in Linear Logic	2008-05-15	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: David Baelde