Jules Desharnais

26 papers and 226 indexed citations i.

About

Jules Desharnais is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Jules Desharnais has authored 26 papers receiving a total of 226 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 9 papers in Software. Recurrent topics in Jules Desharnais’s work include 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). Jules Desharnais collaborates with scholars based in Canada, United States and Tunisia. Jules Desharnais's co-authors include Ali Mili, Bernhard Möller, Marc Frappier, Ali Jaoua and Fatma Mili and has published in prestigious journals such as Information Sciences, ACM Computing Surveys and Theoretical Computer Science.

In The Last Decade

Fields of papers citing papers by Jules Desharnais

Since Specialization
EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

This network shows the specialization of papers citing the papers produced by Jules Desharnais. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Jules Desharnais may publish in the future.

Countries citing papers authored by Jules Desharnais

Since Specialization
Citations

This map shows the geographic impact of Jules Desharnais's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jules Desharnais with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jules Desharnais more than expected).

Rankless by CCL
2025