Adam Chlipala
About
Adam Chlipala is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications.
According to data from OpenAlex, Adam Chlipala has authored 56 papers receiving a total of 656 indexed citations (citations by other indexed papers that have themselves been cited), including 48 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 17 papers in Computer Networks and Communications. Recurrent topics in Adam Chlipala’s work include Logic, programming, and type systems (40 papers), Formal Methods in Verification (30 papers) and Security and Verification in Computing (30 papers). Adam Chlipala is often cited by papers focused on Logic, programming, and type systems (40 papers), Formal Methods in Verification (30 papers) and Security and Verification in Computing (30 papers). Adam Chlipala collaborates with scholars based in United States, Switzerland and China. Adam Chlipala's co-authors include M. Frans Kaashoek, Tej Chajed, Nickolai Zeldovich, Peng Wang, Haogang Chen, Daniel Ziegler, Di Wang, Jade Philipoom, Ranjit Jhala and Robert H. Sloan and has published in prestigious journals such as Communications of the ACM, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and ACM SIGPLAN Notices.
In The Last Decade
Co-authorship network of co-authors of Adam Chlipala i
Fields of papers citing papers by Adam Chlipala
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 Adam Chlipala. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Adam Chlipala may publish in the future.
Countries citing papers authored by Adam Chlipala
Since SpecializationCitations
This map shows the geographic impact of Adam Chlipala'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 Adam Chlipala with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Adam Chlipala more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by G Dordain Breakdown of academic impact, for papers by Toine Pieters Breakdown of academic impact, for papers by Jia Zhou Breakdown of academic impact, for papers by Hiroki Saito Breakdown of academic impact, for papers by Vali Joana Pott Breakdown of academic impact, for papers by J.R. Brauer Breakdown of academic impact, for papers by Ovidiu Daescu Breakdown of academic impact, for papers by Jun Ohno