Stéphane Demri

61 papers and 570 indexed citations i.

Stéphane Demri has authored 61 papers that have received a total of 570 indexed citations. This includes 54 papers in Artificial Intelligence, 54 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Logic, programming, and type systems (42 papers), Formal Methods in Verification (40 papers) and Logic, Reasoning, and Knowledge (35 papers). Stéphane Demri is often cited by papers focused on Logic, programming, and type systems (42 papers), Formal Methods in Verification (40 papers) and Logic, Reasoning, and Knowledge (35 papers) and collaborates with scholars based in France, Germany and United Kingdom. Stéphane Demri's co-authors include Morgan Deters, Ranko Lazić, Ewa Orłowska, Rajeev Goré and Natasha Alechina and has published in prestigious journals such as Artificial Intelligence, Journal of Computer and System Sciences and Theoretical Computer Science