Formal Methods in System Design
About
The 663 papers published in Formal Methods in System Design in the last decades have received a total of 8.5k indexed citations.
Papers published in Formal Methods in System Design usually cover Computational Theory and Mathematics (553 papers), Artificial Intelligence (318 papers) and Software (245 papers) specifically the topics of Formal Methods in Verification (534 papers), Logic, programming, and type systems (221 papers) and Software Testing and Debugging Techniques (171 papers). The most active scholars publishing in Formal Methods in System Design are Edmund M. Clarke, Moshe Y. Vardi, Daniel Kroening, David L. Dill and Kim G. Larsen.
In The Last Decade
Fields of papers published in Formal Methods in System Design
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 published in Formal Methods in System Design. Nodes represent fields, and links connect fields that are likely to share authors.
Countries where authors publish in Formal Methods in System Design
Since SpecializationTotal citations of papers
This map shows the geographic distribution of research published in Formal Methods in System Design. It shows the number of citations received by papers published by authors working in each country. You can also color the map by specialization and compare the number of papers published in Formal Methods in System Design with the expected number of papers based on a country's size and research output (numbers larger than one mean the country's share of papers is larger than expected).
Explore journals with similar magnitude of impact
Breakdown of academic impact, for papers in Journal of Wine Research Breakdown of academic impact, for papers in International Journal of Corpus Linguistics Breakdown of academic impact, for papers in Journal of Fuel Cell Science and Technology Breakdown of academic impact, for papers in African Journal of Range and Forage Science Breakdown of academic impact, for papers in Chemical and Biological Technologies in Agriculture Breakdown of academic impact, for papers in Oral health & preventive dentistry Breakdown of academic impact, for papers in Current problems in dermatology Breakdown of academic impact, for papers in HERD Health Environments Research & Design Journal