Baelde, David, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 116150565581806250821 (Personal)
Permalink: http://viaf.org/viaf/116150565581806250821
Preferred Forms
Works
| Title | Sources |
|---|---|
| Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice. |
|
| Compilation vérifiée et sécurisée contre les canaux cachés temporels. |
|
| Differential privacy for metric spaces : information-theoretic models for privacy and utility with new applications to metric domains. |
|
| From automata to cyclic proofs : equivalence algorithms and descriptive complexity |
|
| Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax |
|
| Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique |
|
| La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle. |
|
| Necro, la sémantique sans y laisser les os : conception d'un système formel de description et de manipulation de sémantiques opérationnelles |
|
| Necro, the skeleton key to semantics. |
|
| On the infinitary proof theory of logics with fixed points |
|
| Systèmes de preuve inhabituels pour la logique modale avec applications aux problèmes de décision. |
|
| Théorie de la preuve infinitaire pour les logiques à points fixes. |
|
| Unusual proof systems for modal logics with applications to decision problems |
|
| Vérification automatique de la protection de la vie privée : entre théorie et pratique |
|
| Verified Secure Compilation against Timing Side-Channels |
|
| XPath-like Query Logics : Proof Systems and Real-World Applicability. |
|
