Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of C. A. R. Hoare Tony Hoare ( http://dblp.L3S.de/Authors/C._A._R._Hoare )

URL (Homepage):  http://www.comlab.ox.ac.uk/oucl/people/tony.hoare.html  Author page on DBLP  Author page in RDF  Community of C. A. R. Hoare in ASPL-2

Publication years (Num. hits)
1961-1972 (15) 1973-1977 (15) 1978-1983 (18) 1984-1988 (15) 1989-1993 (15) 1994-1999 (18) 2000-2003 (17) 2004-2006 (16) 2007-2009 (15) 2010-2012 (11)
Publication types (Num. hits)
article(73) book(2) incollection(3) inproceedings(76) proceedings(1)
Venues (Conferences, Journals, ...)
Commun. ACM(15) Inf. Process. Lett.(10) Comput. J.(7) Acta Inf.(6) ACM Comput. Surv.(4) CONCUR(4) Theor. Comput. Sci.(4) Electr. Notes Theor. Comput. S...(3) J. ACM(3) Language Hierarchies and Inter...(3) The Analysis of Concurrent Sys...(3) 25 Years Communicating Sequent...(2) CAV(2) Euro-Par(2) FGCS(2) ICALP(2) More (+10 of total 93)
Authors
C. A. R. Hoare(130) Tony Hoare(25) Jifeng He(19) A. W. Roscoe(4) Bernhard Möller(4) Georg Struth(4) Ian Wehrman(4) Jayadev Misra(4) Ernst-Rüdiger Olderog(3) Jeff W. Sanders(3) Peter W. O'Hearn(3) Anders P. Ravn(2) Augusto Sampaio(2) Carla Ferreira(2) Carroll Morgan(2) J. Michael Spivey(2) More (+10 of total 89)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 27 keywords
Results
Found 155 publication records. Showing 155 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Tony Hoare Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth On Locality and the Exchange Law for Concurrent Processes. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Concurrent Kleene Algebra and its Foundations. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Christian Leuxner, Tony Hoare (eds.) Software and Systems Safety - Specification and Verification Search on Bibsonomy 2011 DBLP  DOI  BibTeX  RDF
1Tony Hoare, John Wickerson Unifying Models of Data Flow. Search on Bibsonomy Software and Systems Safety - Specification and Verification The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tony Hoare Recovery Blocks. Search on Bibsonomy Dependable and Historic Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare Differential static analysis: opportunities, applications, and challenges. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tony Hoare Fine-grain concurrency. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jifeng He, Tony Hoare CSP is a retract of CCS. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tony Hoare Testing and Proving, Hand-in-Hand. Search on Bibsonomy TAIC PART The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Natarajan Shankar Unraveling a Card Trick. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn Graphical models of separation logic. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Viewpoint - Retrospective: an axiomatic basis for computer programming. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jayadev Misra Preface to special issue on software verification. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar The verified software initiative: A manifesto. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Concurrent Kleene Algebra. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Foundations of Concurrent Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Peter W. O'Hearn Separation Logic Semantics for Communicating Processes. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tony Hoare Verification of Fine-grain Concurrent Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tony Hoare Keynote: A Vision for the Science of Computing. Search on Bibsonomy BCS Int. Acad. Conf. The full citation details ... 2008 DBLP  BibTeX  RDF
1Tony Hoare Fine-Grain Concurrency. Search on Bibsonomy LASER Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tony Hoare Compensable Transactions. Search on Bibsonomy LASER Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tony Hoare Verified Software: Theories, Tools, Experiments. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tony Hoare The Ideal of Program Correctness: Third Computer Journal Lecture. Search on Bibsonomy Comput. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tony Hoare Science and Engineering: A Collusion of Cultures. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tony Hoare Fine-grain Concurrency. Search on Bibsonomy CPA The full citation details ... 2007 DBLP  BibTeX  RDF
1Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock The verified software repository: a step towards the verifying compiler. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
1Jifeng He, C. A. R. Hoare CSP Is a Retract of CCS. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tony Hoare Why ever CSP? Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani Intelligent Systems and Formal Methods in Software Engineering. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
1Tony Hoare The Ideal of Verified Software. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tony Hoare The ideal of verified software. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro Proving correctness of highly-concurrent linearisable objects. Search on Bibsonomy PPOPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
1Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari Comparing Two Approaches to Compensable Flow Composition. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jifeng He, C. A. R. Hoare Linking Theories of Concurrency. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The Verifying Compiler, a Grand Challenge for Computing Research. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Robin Milner Grand Challenges for Computing Research. Search on Bibsonomy Comput. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Jayadev Misra Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Towards the Verifying Compiler. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Process Algebra: A Unifying Approach. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael J. Butler, C. A. R. Hoare, Carla Ferreira A Trace Semantics for Long-Running Transactions. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof Stuck-Free Conformance. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The verifying compiler: A grand challenge for computing research. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Assertions: A Personal Perspective. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The Verifying Compiler: A Grand Challenge for Computing Research. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The Verifying Compiler: A Grand Challenge for Computing Research. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The Verifying Compiler: A Grand Challenge for Computing Research. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The Verifying Compiler: A Grand Challange for Computing Research. Search on Bibsonomy JMLC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards In memoriam: Edsger W. Dijkstra 1930-2002. Search on Bibsonomy Commun. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Assertions in Programming: From Scientific Theory to Engineering Practice. Search on Bibsonomy Soft-Ware The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Assertions in Modern Software Engineering Practice. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  BibTeX  RDF
1C. A. R. Hoare Towards the Verifying Compiler. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Legacy. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Growing Use of Assertions. Search on Bibsonomy TOOLS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare A Hard Act to Follow. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Legacy Code. (PDF / PS) Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jifeng He, C. A. R. Hoare Unifying theories of healthiness condition. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
1C. A. R. Hoare Assertions. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jifeng He, Augusto Sampaio Algebraic derivation of an operational semantics. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
1Jifeng He, C. A. R. Hoare Linking Theories in Probabilistic Programming. Search on Bibsonomy Inf. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow A Semantics for Imprecise Exceptions. Search on Bibsonomy PLDI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Haskell
1Silvija Seres, J. Michael Spivey, C. A. R. Hoare Algebra of Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1C. A. R. Hoare Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jifeng He A Trace Model for Pointers and Objects. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jifeng He, C. A. R. Hoare Unifying theories of programming. Search on Bibsonomy RelMiCS The full citation details ... 1998 DBLP  BibTeX  RDF
1C. A. R. Hoare, Jifeng He Unifying Theories for Parallel Programming. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The logic of engineering design. Search on Bibsonomy Microprocessing and Microprogramming The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Unifying Theories : A Personal Statement. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare How Did Software Get So Reliable Without Proof? Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Mathematical models for computing science. Search on Bibsonomy NATO ASI DPD The full citation details ... 1996 DBLP  BibTeX  RDF
1C. A. R. Hoare The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract). Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF
1Burghard von Karger, C. A. R. Hoare Sequential Calculus. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Unification of Theories: A Challenge for Computing Science. Search on Bibsonomy COMPASS/ADT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Editorial. Search on Bibsonomy J. Log. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Ian Page Hardware and Software: The Closing Gap. Search on Bibsonomy Programming Languages and System Architectures The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel Provably Correct Systems. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jifeng He, C. A. R. Hoare From Algebra to Operational Semantics. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jifeng He, Augusto Sampaio Normal Form Approach to Compiler Design. Search on Bibsonomy Acta Inf. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Algebra and Models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, C. A. R. Hoare A Model for Synchronous Switching Circuits and its Theory of Correctness. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Programs are Predicates. Search on Bibsonomy FGCS The full citation details ... 1992 DBLP  BibTeX  RDF
1C. A. R. Hoare The transputer and occam: A personal story. Search on Bibsonomy Concurrency - Practice and Experience The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn A Calculus of Durations. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare A Theory for the Derivation of Combinational C-MOS Circuit Designs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1C. E. Martin, C. A. R. Hoare, Jifeng He Pre-Adjunctions in Order Enriched Categories. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Fixed Points of Increasing Functions. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare Let's Make Models (Abstract). Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Dines Bjørner, C. A. R. Hoare, Hans Langmaack (eds.) VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Search on Bibsonomy VDM Europe The full citation details ... 1990 DBLP  BibTeX  RDF
1C. A. R. Hoare A Theory of Conjunction and Concurrency. Search on Bibsonomy PARBASE / Architectures The full citation details ... 1990 DBLP  BibTeX  RDF
1Jifeng He, C. A. R. Hoare Categorical Semantics for Programming Languages. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare The Varieties of Programming Language. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1A. W. Roscoe, C. A. R. Hoare The Laws of Occam Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Michael J. C. Gordon Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic Search on Bibsonomy LICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jifeng He, Jeff W. Sanders Prespecification in Data Refinement. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Jifeng He The Weakest Prespecification. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin Laws of Programming. Search on Bibsonomy Commun. ACM The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare An Overview of Some Formal Methods for Program Design. Search on Bibsonomy IEEE Computer The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Jifeng He, C. A. R. Hoare Algebraic Specification and Proof of a Distributed Recovery Algorithm. Search on Bibsonomy Distributed Computing The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ernst-Rüdiger Olderog, C. A. R. Hoare Specification-Oriented Semantics for Communicating Processes. Search on Bibsonomy Acta Inf. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 155 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.