Jules Desharnais

26 papers and 225 indexed citations i.

Jules Desharnais has authored 26 papers that have received a total of 225 indexed citations. This includes 19 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (16 papers), Logic, programming, and type systems (15 papers) and Logic, Reasoning, and Knowledge (7 papers). Jules Desharnais is often cited by papers focused on Formal Methods in Verification (16 papers), Logic, programming, and type systems (15 papers) and Logic, Reasoning, and Knowledge (7 papers) and collaborates with scholars based in Canada, United States and Tunisia. Jules Desharnais's co-authors include Ali Mili, Bernhard Möller, Fatma Mili, Marc Frappier and Ali Jaoua and has published in prestigious journals such as Information Sciences, ACM Computing Surveys and Theoretical Computer Science