Stefan Monnier
About
Stefan Monnier is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture.
According to data from OpenAlex, Stefan Monnier has authored 16 papers receiving a total of 87 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 4 papers in Hardware and Architecture. Recurrent topics in Stefan Monnier’s work include Logic, programming, and type systems (12 papers), Security and Verification in Computing (8 papers) and Formal Methods in Verification (7 papers). Stefan Monnier is often cited by papers focused on Logic, programming, and type systems (12 papers), Security and Verification in Computing (8 papers) and Formal Methods in Verification (7 papers). Stefan Monnier collaborates with scholars based in Canada, United States and Belgium. Stefan Monnier's co-authors include Zhong Shao, Zhaozhong Ni, Bratin Saha, Valery Trifonov, Brigitte Pientka, Christopher League, Mourad Badri, Robert L. Glass, Charles H. Davis and Yann‐Gaël Guéhéneuc and has published in prestigious journals such as Communications of the ACM, Information and Software Technology and ACM SIGPLAN Notices.
In The Last Decade
Co-authorship network of co-authors of Stefan Monnier i
Fields of papers citing papers by Stefan Monnier
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 Stefan Monnier. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Stefan Monnier may publish in the future.
Countries citing papers authored by Stefan Monnier
Since SpecializationCitations
This map shows the geographic impact of Stefan Monnier'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 Stefan Monnier with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Stefan Monnier more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by John Sören Pettersson Breakdown of academic impact, for papers by W. Meng Breakdown of academic impact, for papers by Stefan Lankes Breakdown of academic impact, for papers by Gary Grider Breakdown of academic impact, for papers by Robert Walter Breakdown of academic impact, for papers by Luigi Forte Breakdown of academic impact, for papers by Πέτρος Καρατσαρέας Breakdown of academic impact, for papers by Aisha Sultana