Peter Morris
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Advanced Database Systems and Queries, Formal Methods in Verification, Advanced Software Engineering Methodologies
Most-Cited Works
- → Water proton T 1 measurements in brain tissue at 7, 3, and 1.5T using IR-EPI, IR-TSE, and MPRAGE: results and optimization(2008)271 cited
- → Introduction to Game Theory(1994)244 cited
- → The gentle art of levitation(2010)80 cited
- → Hybrid scanning electrochemical cell microscopy-interference reflection microscopy (SECCM-IRM): tracking phase formation on surfaces in small volumes(2021)79 cited
- → Functional representation of topological algebras(1967)72 cited
- → Indexed Containers(2009)60 cited
- → Fatal Asbestosis 50 Years after Brief High Intensity Exposure in a Vermiculite Expansion Plant(2002)50 cited
- → Effect of Exercise and Heat-Induced Hypohydration on Brain Volume(2010)33 cited
- → Generic Programming with Dependent Types(2007)32 cited