Search the dblp DataBase

Publications of Author

1. Tony Hoare
   The Ideal of Verified Software. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:5-16 [Conf]
   
2. Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
   Proving correctness of highly-concurrent linearisable objects. [Citation Graph (0, 0)][DBLP]
   PPOPP, 2006, pp:129-136 [Conf]
   
3. Tony Hoare
   The ideal of verified software. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:61-62 [Conf]
   
4. Tony Hoare, Robin Milner
   Grand Challenges for Computing Research. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2005, v:48, n:1, pp:49-52 [Journal]
   
5. Tony Hoare
   Why ever CSP? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:209-215 [Journal]
   
6. Tony Hoare
   Science and Engineering: A Collusion of Cultures. [Citation Graph (0, 0)][DBLP]
   DSN, 2007, pp:2-9 [Conf]
   
7. Tony Hoare
   The Ideal of Program Correctness: Third Computer Journal Lecture. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:254-260 [Journal]
   
8. 
   Unraveling a Card Trick. [Citation Graph (, )][DBLP]
   
   
9. 
   Verified Software: Theories, Tools, Experiments. [Citation Graph (, )][DBLP]
   
   
10. 
    Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. [Citation Graph (, )][DBLP]
    
    
11. 
    Fine-grain Concurrency. [Citation Graph (, )][DBLP]
    
    
12. 
    Keynote: A Vision for the Science of Computing. [Citation Graph (, )][DBLP]
    
    
13. 
    Verification of Fine-grain Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
14. 
    Separation Logic Semantics for Communicating Processes. [Citation Graph (, )][DBLP]