David Baelde

From MaRDI portal
Person:2167735

Available identifiers

zbMath Open baelde.davidMaRDI QIDQ2167735

List of research outcomes





PublicationDate of PublicationType
Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs2024-12-06Paper
POR for security protocol equivalences. Beyond action-determinism2022-08-25Paper
https://portal.mardi4nfdi.de/entity/Q50909502022-07-21Paper
Abella: A System for Reasoning about Relational Specifications2019-09-18Paper
https://portal.mardi4nfdi.de/entity/Q52245592019-07-24Paper
Towards Completeness via Proof Search in the Linear Time μ-calculus2018-04-23Paper
Partial Order Reduction for Security Protocols2017-09-12Paper
https://portal.mardi4nfdi.de/entity/Q53519802017-08-31Paper
https://portal.mardi4nfdi.de/entity/Q52784202017-07-19Paper
https://portal.mardi4nfdi.de/entity/Q52784312017-07-19Paper
https://portal.mardi4nfdi.de/entity/Q52700902017-06-22Paper
Combining Deduction Modulo and Logics of Fixed-Point Definitions2017-05-16Paper
On the expressivity of minimal generic quantification2016-05-06Paper
Least and Greatest Fixed Points in Linear Logic2015-09-17Paper
Towards Provably Robust Watermarking2012-09-20Paper
Focused Inductive Theorem Proving2010-09-14Paper
On the Proof Theory of Regular Fixed Points2009-12-01Paper
Least and Greatest Fixed Points in Linear Logic2008-05-15Paper

Research outcomes over time

This page was built for person: David Baelde

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2167735&oldid=6876907"
Powered by MediaWiki