Thomas Ehrhard

41 papers and 633 indexed citations i.

Thomas Ehrhard has authored 41 papers that have received a total of 633 indexed citations. This includes 32 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 5 papers in Political Science and International Relations. The topics of these papers are Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (28 papers) and Formal Methods in Verification (12 papers). Thomas Ehrhard is often cited by papers focused on Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (28 papers) and Formal Methods in Verification (12 papers) and collaborates with scholars based in France, Italy and Morocco. Thomas Ehrhard's co-authors include Laurent Régnier, Jean-Yves Girard, Olivier Laurent, Giulio Manzonetto and Christine Tasson and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and Lecture notes in computer science