David Baelde
About
David Baelde has authored 9 papers that have received a total of 63 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Advanced Authentication Protocols Security (3 papers). David Baelde is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Advanced Authentication Protocols Security (3 papers) and collaborates with scholars based in France, United States and China. David Baelde's co-authors include Stéphanie Delaune, Lucca Hirschi, Gopalan Nadathur and Arnaud Carayol and has published in prestigious journals such as Journal of Computer Security, ACM Transactions on Computational Logic and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by José Luis Sánchez-Menoyo are about Top countries impacted by papers by Hilary B. Moore Top authors papers by Nitesh Goyal are co-authored with Top fields papers by Gunvor Jónsson are about Top fields papers by Yoshiyuki Mochizuki are about Top authors papers by Jeffrey M. Dendy are co-authored with Top countries impacted by papers by Betty M. Neuman Top journals papers by George P. Schell are published in