Bard Bloom

17 papers and 479 indexed citations i.

About

Bard Bloom has authored 17 papers that have received a total of 479 indexed citations. This includes 15 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 5 papers in Software. The topics of these papers are Logic, programming, and type systems (10 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (6 papers). Bard Bloom is often cited by papers focused on Logic, programming, and type systems (10 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (6 papers) and collaborates with scholars based in United States, The Netherlands and United Kingdom. Bard Bloom's co-authors include Albert R. Meyer, Luca Aceto, Frits Vaandrager, Sorin Istrail and Paul Τ. Keyser and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Software Engineering and Theoretical Computer Science.

In The Last Decade

Fields of papers published by Bard Bloom

Since Specialization
EngineeringComputer 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

Countries citing papers authored by Bard Bloom

Since Specialization
Citations
Rankless by CCL
2025