Michael Smyth
University of Warwick(GB)
Publications by Year
Research Areas
Cardiac Arrest and Resuscitation, Logic, programming, and type systems, Computability, Logic, AI Algorithms, Digital Image Processing Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → The Category-Theoretic Solution of Recursive Domain Equations(1982)482 cited
- → European Resuscitation Council COVID-19 guidelines executive summary(2020)354 cited
- → COSCA (Core Outcome Set for Cardiac Arrest) in Adults: An Advisory Statement From the International Liaison Committee on Resuscitation(2018)347 cited
- → Power domains(1978)258 cited
- → Power domains and predicate transformers: A topological view(2006)229 cited
- → Effectively given domains(1977)147 cited
- → Quasi-uniformities: Reconciling domains with metric spaces(1988)139 cited