David Baelde

1. Least and Greatest Fixed Points in Linear Logic
   2009/10/19 by David Baelde, Baelde, David · 1 citation
   Computer Science · #F.3.1 #F.3.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
2. Combining Deduction Modulo and Logics of Fixed-Point Definitions
   2012/04/27 by David Baelde, Baelde, David, Gopalan Nadathur +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
3. Partial Order Reduction for Security Protocols
   2015/04/18 by David Baelde, Stéphanie Delaune, Baelde, David +3 · 1 citation
   Computer Science · #Advanced Authentication Protocols Security #Digital Rights Management and Security #Cryptography and Data Security