Nicolas Tabareau
About
Nicolas Tabareau is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications.
According to data from OpenAlex, Nicolas Tabareau has authored 29 papers receiving a total of 393 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. Recurrent topics in Nicolas Tabareau’s work include Logic, programming, and type systems (22 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (9 papers). Nicolas Tabareau is often cited by papers focused on Logic, programming, and type systems (22 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (9 papers). Nicolas Tabareau collaborates with scholars based in France, United States and Chile. Nicolas Tabareau's co-authors include Quang‐Cuong Pham, J.-J.E. Slotine, Jean-Jacques Slotine, Matthieu Sozeau, Éric Tanter, Paul-André Melliès, Alain Berthoz, Benoît Girard, Yannick Forster and Daniel Bennequin and has published in prestigious journals such as IEEE Transactions on Automatic Control, PLoS Computational Biology and Journal of the ACM.
In The Last Decade
Co-authorship network of co-authors of Nicolas Tabareau i
Fields of papers citing papers by Nicolas Tabareau
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 Nicolas Tabareau. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Nicolas Tabareau may publish in the future.
Countries citing papers authored by Nicolas Tabareau
Since SpecializationCitations
This map shows the geographic impact of Nicolas Tabareau'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 Nicolas Tabareau with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nicolas Tabareau more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Marvin W. Woodruff Breakdown of academic impact, for papers by Tesfaye Madebo Breakdown of academic impact, for papers by Mari Ervasti Breakdown of academic impact, for papers by Tengfei Liu Breakdown of academic impact, for papers by Zhonghua Kuang Breakdown of academic impact, for papers by A. Labib Breakdown of academic impact, for papers by Pier Giorgio Rogasi Breakdown of academic impact, for papers by P. Ostojic