David Baelde
发表
David Baelde,
2009,
TABLEAUX.
Gopalan Nadathur,
David Baelde,
Zachary Snow,
2010,
PPDP.
David Baelde,
Romain Beauxis,
Samuel Mimram,
2011,
SOFSEM.
David Baelde,
Sylvain Schmitz,
Anthony Lick,
2018,
FSTTCS.
Gopalan Nadathur,
David Baelde,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
David Baelde,
Arnaud Carayol,
2013,
FICS.
Franck Petit,
David Baelde,
Vincent Villain,
2003
.
David Baelde,
Sylvain Schmitz,
Anthony Lick,
2018,
Advances in Modal Logic.
Alexis Saurin,
David Baelde,
Denis Kuperberg,
2020,
ArXiv.
David Baelde,
2009,
Electron. Notes Theor. Comput. Sci..
David Baelde,
Stéphanie Delaune,
Lucca Hirschi,
2018,
ESORICS.
David Baelde,
Stéphanie Delaune,
Lucca Hirschi,
2014,
POST.
David Baelde,
Stéphanie Delaune,
Solène Moreau,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
David Baelde,
David Baelde,
D. Miller,
2007,
TOCL.
Amy P. Felty,
Gopalan Nadathur,
Alexis Saurin,
2019,
Mathematical Structures in Computer Science.
Alexis Saurin,
David Baelde,
Amina Doumane,
2015,
CSL.
Ralph Matthes,
Igor Walukiewicz,
David Baelde,
2017,
Fundam. Informaticae.
Alexis Saurin,
David Baelde,
Amina Doumane,
2018
.
Dale Miller,
David Baelde,
2007,
LPAR.
Pierre Courtieu,
David Gross-Amblard,
David Baelde,
2012,
ITP.
Alexis Saurin,
David Baelde,
Lucca Hirschi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
David Baelde,
Sylvain Schmitz,
Anthony Lick,
2019,
PODS.
David Baelde,
Christine Paulin-Mohring,
2010
.
David Baelde,
Stéphanie Delaune,
Lucca Hirschi,
2017,
J. Comput. Secur..
Gopalan Nadathur,
David Baelde,
Zachary Snow,
2010,
ArXiv.
David Baelde,
Sylvain Schmitz,
Simon Lunel,
2016,
CSL.
Gopalan Nadathur,
Dale Miller,
David Baelde,
2014,
J. Formaliz. Reason..
David Baelde,
Stéphanie Delaune,
Lucca Hirschi,
2015,
CONCUR.
David Baelde,
Stéphanie Delaune,
Steve Kremer,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
David Baelde,
Stéphanie Delaune,
Lucca Hirschi,
2016,
2016 IEEE Symposium on Security and Privacy (SP).
David Baelde,
Stéphanie Delaune,
Lucca Hirschi,
2017,
Log. Methods Comput. Sci..
Dale Miller,
David Baelde,
Zachary Snow,
2010,
IJCAR.
David Baelde,
Arnaud Carayol,
2013
.
Gopalan Nadathur,
Dale Miller,
David Baelde,
2007,
CADE.
David Baelde,
Samuel Mimram,
D. Baelde,
2008
.
David Baelde,
Stéphanie Delaune,
Solène Moreau,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Gopalan Nadathur,
David Baelde,
Andrew Gacek,
2006
.