David Baelde

Identifiers

• name variant David Baelde 0.60 · backfill

Papers (9)

1. POR for Security Protocol Equivalences: Beyond Action-Determinism cs.CR · 2018 · author #1
2. A method for unbounded verification of privacy-type properties cs.CR · 2017 · author #2
3. Partial Order Reduction for Security Protocols cs.CR · 2015 · author #1
4. A reduced semantics for deciding trace equivalence using constraint systems cs.CR · 2014 · author #1
5. Combining Deduction Modulo and Logics of Fixed-Point Definitions cs.LO · 2012 · author #1
6. Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search cs.LO · 2010 · author #2
7. A Meta-Programming Approach to Realizing Dependently Typed Logic Programming cs.LO · 2010 · author #2
8. Least and Greatest Fixed Points in Linear Logic cs.LO · 2009 · author #1
9. The Bedwyr system for model checking over syntactic expressions cs.LO · 2007 · author #1

Mentions

• 1504.04768 #1 · backfill · confidence 0.70 David Baelde
• 1401.2854 #1 · backfill · confidence 0.70 David Baelde
• 1204.6236 #1 · backfill · confidence 0.70 David Baelde
• 1007.0779 #2 · backfill · confidence 0.70 David Baelde
• 1005.4379 #2 · backfill · confidence 0.70 David Baelde
• 0910.3383 #1 · backfill · confidence 0.70 David Baelde

Frequent Coauthors

• Gopalan Nadathur 4 shared papers
• Lucca Hirschi 4 shared papers
• St\'ephanie Delaune 4 shared papers
• Zachary Snow 2 shared papers
• Alwen Tiu 1 shared papers
• Andrew Gacek 1 shared papers
• Dale Miller 1 shared papers