Tony Hoare

50 papers A* 3A 1B 7C 2Journal 11Unranked 19
YearRankTypeTitle / Venue / Authors
2022 — book
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Edsger Wybe Dijkstra
Krzysztof R. Apt, Tony Hoare
2022 — ch.
Forty Years with Edsger.
Edsger Wybe Dijkstra
Tony Hoare
2022 J jnl
Geometric Theory for Program Testing.
CoRR
Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
2021 J jnl
Edsger W. Dijkstra: a Commemoration.
CoRR
Krzysztof R. Apt, Tony Hoare
2021 — ch.
Envoi.
Theories of Programming
Tony Hoare
2021 C conf
On Algebra of Program Correctness and Incorrectness.
RAMiCS
Bernhard Möller, Peter W. O'Hearn, Tony Hoare
2021 — ch.
The 1980 ACM Turing Award Lecture.
Theories of Programming
Tony Hoare
2021 — ch.
The Verified Software Initiative: A Manifesto.
Theories of Programming
Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
2019 — conf
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.
UTP
Tony Hoare, Georg Struth, Jim Woodcock
2019 — conf
Logic, Algebra, and Geometry at the Foundation of Computer Science.
FMTea
Tony Hoare, Alexandra Mendes, João F. Ferreira
2016 — conf
A Discrete Geometric Model of Concurrent Program Execution.
UTP
Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
2016 J jnl
Developments in concurrent Kleene algebra.
J. Log. Algebraic Methods Program.
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
2015 B conf
Exploring an Interface Model for CKA.
MPC
Bernhard Möller, Tony Hoare
2014 C conf
Developments in Concurrent Kleene Algebra.
RAMiCS
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
2014 B conf
Laws of Programming: The Algebraic Unification of Theories of Concurrency.
CONCUR
Tony Hoare
2014 A* conf
Laws of concurrent programming.
PLDI
Tony Hoare
2014 J jnl
The laws of programming unify process calculi.
Sci. Comput. Program.
Tony Hoare, Stephan van Staden
2013 — conf
Generic Models of the Laws of Programming.
Theories of Programming and Formal Methods
Tony Hoare
2013 — conf
Laws of programming with concurrency (Invited Talk).
ICCSW
Tony Hoare
2013 — conf
Unifying Semantics for Concurrent Programming.
Computation, Logic, Games, and Quantum Foundations
Tony Hoare
2012 — conf
Algebra Unifies Operational Calculi.
UTP
Stephan van Staden, Tony Hoare
2012 B conf
Algebra of concurrent design.
FMCAD
Tony Hoare
2012 J jnl
In praise of algebra.
Formal Aspects Comput.
Tony Hoare, Stephan van Staden
2012 A* conf
Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.
POPL
Tony Hoare
2012 B conf
Net Models for Concurrent Object Behaviour.
Petri Nets
Tony Hoare
2012 B conf
The Laws of Programming Unify Process Calculi.
MPC
Tony Hoare, Stephan van Staden
2011 J jnl
Concurrent Kleene Algebra and its Foundations.
J. Log. Algebraic Methods Program.
Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2011 — conf
Recovery Blocks.
Dependable and Historic Computing
Tony Hoare
2011 — book
Software and Systems Safety - Specification and Verification
Software and Systems Safety - Specification and Verification
Manfred Broy, Christian Leuxner, Tony Hoare
2011 — ch.
Unifying Models of Data Flow.
Software and Systems Safety - Specification and Verification
Tony Hoare, John Wickerson
2010 J jnl
CSP is a retract of CCS.
Theor. Comput. Sci.
Jifeng He, Tony Hoare
2010 J jnl
Fine-grain concurrency.
Concurr. Comput. Pract. Exp.
Tony Hoare
2010 — conf
Testing and Proving, Hand-in-Hand.
TAIC PART
Tony Hoare
2010 — conf
Unraveling a Card Trick.
Essays in Memory of Amir Pnueli
Tony Hoare, Natarajan Shankar
2008 — conf
Compensable Transactions.
LASER Summer School
Tony Hoare
2008 — conf
Fine-Grain Concurrency.
LASER Summer School
Tony Hoare
2008 — conf
Keynote: A Vision for the Science of Computing.
BCS Int. Acad. Conf.
Tony Hoare
2008 — conf
Separation Logic Semantics for Communicating Processes.
FICS
Tony Hoare, Peter W. O'Hearn
2008 B conf
Verified Software: Theories, Tools, Experiments.
ICECCS
Tony Hoare
2007 — conf
Fine-grain Concurrency.
CPA
Tony Hoare
2007 A conf
Science and Engineering: A Collusion of Cultures.
DSN
Tony Hoare
2007 J jnl
The Ideal of Program Correctness:
Comput. J.
Tony Hoare
2006 J jnl
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intell. Syst.
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006 B conf
Proving correctness of highly-concurrent linearisable objects.
PPoPP
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
2006 A* conf
The Ideal of Verified Software.
CAV
Tony Hoare
2006 — conf
The ideal of verified software.
ACL2
Tony Hoare
2006 — conf
Verification of Fine-grain Concurrent Programs.
LIX
Tony Hoare
2005 J jnl
Grand Challenges for Computing Research.
Comput. J.
Tony Hoare, Robin Milner
2005 — conf
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.
VSTTE
Tony Hoare, Jayadev Misra
2005 — conf
Why ever CSP?
APC 25
Tony Hoare