Tony Hoare
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2006–2015
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MPC | Exploring an Interface Model for CKA. | Bernhard Mller, Tony Hoare |
| 2014 | CONCUR | Laws of Programming: The Algebraic Unification of Theories of Concurrency. | Tony Hoare |
| 2014 | PLDI | Laws of concurrent programming. | Tony Hoare |
| 2012 | FMCAD | Algebra of concurrent design. | Tony Hoare |
| 2012 | MPC | The Laws of Programming Unify Process Calculi. | Tony Hoare, Stephan van Staden |
| 2012 | POPL | Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award. | Tony Hoare |
| 2008 | ICECCS | Verified Software: Theories, Tools, Experiments. | Tony Hoare |
| 2007 | DSN | Science and Engineering: A Collusion of Cultures. | Tony Hoare |
| 2006 | CAV | The Ideal of Verified Software. | Tony Hoare |
| 2006 | PPoPP | Proving correctness of highly-concurrent linearisable objects. | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro |