David Déharbe
About
David Déharbe is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software.
According to data from OpenAlex, David Déharbe has authored 16 papers receiving a total of 49 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 11 papers in Software. Recurrent topics in David Déharbe’s work include Formal Methods in Verification (11 papers), Logic, programming, and type systems (10 papers) and Software Testing and Debugging Techniques (6 papers). David Déharbe is often cited by papers focused on Formal Methods in Verification (11 papers), Logic, programming, and type systems (10 papers) and Software Testing and Debugging Techniques (6 papers). David Déharbe collaborates with scholars based in Brazil, France and Italy. David Déharbe's co-authors include Silvio Ranise, Pascal Fontaine, Alain Giorgetti, Jean-François Couchot, Laurent Voisin, Christophe Ringeissen, Sérgio Campos, Frédéric Dadeau, Marcel Oliveira and Thierry Lecomte and has published in prestigious journals such as Science of Computer Programming, International Journal on Software Tools for Technology Transfer and Electronic Notes in Theoretical Computer Science.
In The Last Decade
Co-authorship network of co-authors of David Déharbe i
Fields of papers citing papers by David Déharbe
Since SpecializationEngineeringComputer 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 David Déharbe. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where David Déharbe may publish in the future.
Countries citing papers authored by David Déharbe
Since SpecializationCitations
This map shows the geographic impact of David Déharbe'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 David Déharbe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David Déharbe more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Diego Nunes da Silva Breakdown of academic impact, for papers by V. N. Evdokimov Breakdown of academic impact, for papers by Susan Leavy Breakdown of academic impact, for papers by Immanuel Rajkumar Breakdown of academic impact, for papers by V.L. Kulik Breakdown of academic impact, for papers by Giorgio de Santillana Breakdown of academic impact, for papers by A. V. Anisenkov Breakdown of academic impact, for papers by Réka Könyves-Tóth