Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter W. O’Hearn
Reasoning About Programs Using a Scientific Method
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametricity and Local Variables
Related publications
Reasoning About Multi-Stage Programs
Journal of Functional Programming
Software
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Object-Oriented Programs That Use Subtypes
Reasoning About Loops Using Vampire in KeY
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
Reasoning About Secure Interoperation Using Soft Constraints
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
Flexible Reasoning About Patient Management Using Multiple Models
Artificial Intelligence in Medicine
Medicine
Artificial Intelligence
Using Triples to Reason About Concurrent Programs
