Edit Profile Hoare, C. A. R. Tony Compute Distance To: Compute Author ID: hoare.c-a-r-tony Published as: Hoare, C.; Hoare, C. A.; Hoare, C. A. R.; Hoare, C. A. R. Tony; Hoare, Tony External Links: MGP · Wikidata · dblp · GND Awards: Turing Award (1980) Documents Indexed: 125 Publications since 1935, including 10 Books Biographic References: 4 Publications all top 5 Co-Authors 57 single-authored 18 He, Jifeng 8 Möller, Bernhard 8 Struth, Georg 5 van Staden, Stephan 4 O’Hearn, Peter W. 4 Roscoe, Andrew William 4 Sanders, Jeff W. 4 Wehrman, Ian 2 Broy, Manfred 2 Butler, Michael J. 2 Clint, Maurice 2 de Roever, Willem-Paul 2 Ferreira, Carla 2 Francez, Nissim 2 Hayes, Ian J. 2 Morgan, C. Carroll 2 Olderog, Ernst-Rüdiger 2 Sorensen, I. H. 2 Spivey, J. Michael 2 Sufrin, B. A. 2 Wirth, Niklaus 2 Woodcock, James C. P. 2 Zhou, Chaochen 2 Zhu, Huibiao 1 Allison, Donald C. S. 1 Ashcroft, Edward A. 1 Bicarregui, Juan C. 1 Bjørner, Dines 1 Brookes, Stephen D. 1 Bruni, Roberto 1 Dahl, Ole-Johan 1 Dijkstra, Edsger Wybe 1 Foley, Michael H. 1 Fournet, Cédric 1 Grünbauer, Johannes 1 Hehner, Eric C. R. 1 Hepple, Les 1 Hussain, Akbar 1 Johnston, H. C. 1 Johnston, Ron 1 Jones, Cliff B. 1 Jones, Kelvyn 1 Kaubisch, W. H. 1 Kaublisch, W. H. 1 Kennaway, J. R. 1 Langmaack, Hans 1 Lauer, Peter Ernst 1 Lehmann, Daniel J. 1 Macnaghten, A. M. 1 Martin, Cheryl E. 1 McKeag, R. M. 1 Melgratti, Hernán 1 Montanari, Ugo G. 1 Müller, Martin Eric 1 Perrott, Ronald H. 1 Petersen, Rasmus Lerchedahl 1 Plummer, Paul J. 1 Rajamani, Sriram K. 1 Ravn, Anders P. 1 Rehof, Jakob 1 Sampaio, Augusto C. A. 1 Shankar, Natarajan 1 Shepherdson, John C. 1 Sneeringer, W. J. 1 Steinbrüggen, Ralf 1 Villard, Jules 1 von Karger, Burghard 1 Welsh, Jim all top 5 Serials 8 Information Processing Letters 8 Communications of the ACM 7 Acta Informatica 7 The Computer Journal. Section A / Section B 4 Theoretical Computer Science 2 Journal of the Association for Computing Machinery 2 Software. Practice & Experience 2 Annales Societatis Mathematicae Polonae. Series IV 2 Formal Aspects of Computing 1 Computer Languages 1 Information Sciences 1 International Journal of Computer & Information Sciences 1 Journal of Computer and System Sciences 1 Philosophical Transactions of the Royal Society of London. Ser. A 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 Computing Surveys 1 Distributed Computing 1 Formal Methods in System Design 1 Open Economies Review 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 111 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 96 Publications have been cited 2,926 times in 2,121 Documents Cited by ▼ Year ▼ Communicating sequential processes. Zbl 0637.68007Hoare, C. A. R. 689 1985 An axiomatic basis for computer programming. Zbl 0179.23105Hoare, C. A. R. 471 1969 Communicating sequential processes. Zbl 0383.68028Hoare, C. A. R. 300 1978 A theory of communicating sequential processes. Zbl 0628.68025Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W. 222 1984 A calculus of durations. Zbl 0743.68097Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P. 103 1991 Proof of correctness of data representations. Zbl 0244.68009Hoare, C. A. R. 101 1972 Quicksort. Zbl 0108.13601Hoare, C. A. R. 88 1962 Unifying theories for logic programming. Zbl 1005.68036Hoare, C. A. R.; He, Jifeng 72 2001 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 59 1972 Laws of programming. Zbl 0629.68006Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 56 1987 Specification-oriented semantics for communicating processes. Zbl 0569.68019Olderog, E.-R.; Hoare, Tony 56 1986 Monitors: An operating system structuring concept. Zbl 0308.68029Hoare, C. A. R. 52 1974 Procedures and parameters: An axiomatic approach. Zbl 0221.68020Hoare, C. A. R. 41 1971 An axiomatic definition of the programming language Pascal. Zbl 0261.68040Hoare, C. A. R.; Wirth, N. 33 1974 Communicating sequential processes. Repr. Zbl 0841.68042Hoare, C. A. R. 31 1995 Concurrent Kleene algebra and its foundations. Zbl 1278.68176Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 26 2011 Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P. 25 1979 Prespecification in data refinement. Zbl 0624.68027Hoare, C. A. R.; He, Jifeng; Sanders, J. W. 23 1987 Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006Hoare, C. A. R.; Lauer, P. E. 23 1974 The weakest prespecification. Zbl 0622.68025Hoare, C. A. R.; He, Jifeng 22 1987 Data refinement refined. Résumé. Zbl 0587.68018He, J.; Hoare, C. A. R.; Sanders, J. W. 22 1986 Some properties of predicate transformers. Zbl 0379.68016Hoare, C. A. R. 20 1978 Proof of a program: FIND. Zbl 0217.53701Hoare, C. A. R. 19 1971 A contribution to the development of ALGOL. Zbl 0143.18603Wirth, N.; Hoare, C. A. R. 19 1966 The verifying compiler: A grand challenge for computing research. Zbl 1032.68868Hoare, Tony 18 2003 Program proving: KJumps and functions. Zbl 0229.68003Clint, M.; Hoare, C. A. R. 18 1971 The laws of Occam programming. Zbl 0719.68039Roscoe, A. W.; Hoare, C. A. R. 17 1988 The weakest prespecification. I. Zbl 0603.68009Hoare, C. A. R.; He, Jifeng 16 1986 A calculus of total correctness for communicating processes. Zbl 0485.68025Hoare, C. A. R. 16 1981 Concurrent Kleene algebra. Zbl 1254.68172Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 14 2009 A trace semantics for long-running transactions. Zbl 1081.68644Butler, Michael; Hoare, Tony; Ferreira, Carla 11 2005 Normal form approach to compiler design. Zbl 0790.68023Hoare, C. A. R.; He, Jifeng; Sampaio, A. 11 1993 The weakest prespecification, part II. Zbl 0627.68011Hoare, C. A. R.; He, Jifeng 11 1986 Stuck-free conformance. Zbl 1103.68612Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob 10 2004 Recursive data structures. Zbl 0301.68037Hoare, C. A. R. 10 1975 Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005Hoare, C. A. R. 10 1972 On locality and the exchange law for concurrent processes. Zbl 1343.68170Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg 9 2011 Graphical models of separation logic. Zbl 1200.68153Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W. 8 2009 Foundations of concurrent Kleene algebra. Zbl 1267.68154Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 7 2009 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 Sequential calculus. Zbl 0875.68202von Karger, Burghard; Hoare, C. A. R. 7 1995 Specification-oriented semantics for communicating processes. Zbl 0578.68009Olderog, E.-R.; Hoare, C. A. R. 7 1983 Parallel programming: An axiomatic approach. Zbl 0362.68045Hoare, C. A. R. 7 1975 A note on the for statement. Zbl 0246.68003Hoare, C. A. R. 7 1972 Proof of a recursive program: Quicksort. Zbl 0231.68011Foley, M.; Hoare, C. A. R. 7 1971 A trace model for pointers and objects. Zbl 0954.68045Hoare, C. A. R.; He, Jifeng 6 1999 Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008He, Jifeng; Hoare, C. A. R. 6 1987 Programs are predicates. Zbl 0864.68009Hoare, C. A. R. 5 1992 Developments in concurrent Kleene algebra. Zbl 1344.68148Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter 4 2014 In praise of algebra. Zbl 1259.68030Hoare, Tony; van Staden, Stephan 4 2012 The laws of programming unify process calculi. Zbl 1358.68064Hoare, Tony; van Staden, Stephan 4 2012 Separation logic semantics for communicating processes. Zbl 1286.68352Hoare, Tony; O’Hearn, Peter 4 2008 A hard act to follow. Zbl 0951.01025Hoare, C. A. R. 4 2000 Pre-adjunctions in order enriched categories. Zbl 0755.18003Martin, C. E.; Hoare, C. A. R.; He, Jifeng 4 1991 A couple of novelties in the propositional calculus. Zbl 0563.03004Hoare, C. A. R. 4 1985 A more complete model of communicating processes. Zbl 0513.68020Hehner, E. C. R.; Hoare, C. A. R. 4 1983 Record handling. Zbl 0274.68010Hoare, C. A. R. 4 1968 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 3 2016 Unifying theories for parallel programming. Zbl 0996.68754Hoare, Tony; He, Jifeng 3 1997 From algebra to operational semantics. Zbl 0795.68124He, Jifeng; Hoare, C. A. R. 3 1993 Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003Hoare, C. A. R. (ed.); Shepherdson, J. C. (ed.) 3 1985 The mathematics of programming. Zbl 0585.68010Hoare, C. A. R. 3 1985 Notes on communicating sequential systems. Zbl 0566.68020Hoare, C. A. R. 3 1985 Towards a theory of parallel programming. Zbl 0395.68009Hoare, C. A. 3 1978 Parallel programming: An axiomatic approach. Zbl 0347.68011Hoare, C. A. R. 3 1976 Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011Ashcroft, E. A.; Clint, M.; Hoare, C. A. R. 3 1976 Report on the Elliott ALGOL translator. Zbl 0100.13201Hoare, C. A. R. 3 1962 Exploring an interface model for CKA. Zbl 1432.68314Möller, Bernhard; Hoare, Tony 2 2015 Algebra unifies operational calculi. Zbl 1452.68056van Staden, Stephan; Hoare, Tony 2 2013 Unifying semantics for concurrent programming. Zbl 1264.68042Hoare, Tony 2 2013 The verified software repository: a step towards the verifying compiler. Zbl 1103.68452Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P. 2 2006 Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110Hoare, C. A. R. 2 1999 Fixed points of increasing functions. Zbl 0695.06003Hoare, C. A. R. 2 1990 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Programs are predicates. Zbl 0558.68004Hoare, C. A. R. 2 1984 A theory of nondeterminism. Zbl 0444.68027Kennaway, J. R.; Hoare, C. A. R. 2 1980 Proof of correctness of data representations. Zbl 0395.68019Hoare, C. A. R. 2 1978 An axiomatic definition of the programming language PASCAL. Zbl 0285.68009Hoare, C. A. R. 2 1974 A structured paging system. Zbl 0262.68009Hoare, C. A. R. 2 1973 Incomputability. Zbl 0265.68028Hoare, C. A. R.; Allison, D. C. S. 2 1972 Generic models of the laws of programming. Zbl 1390.68182Hoare, Tony 1 2013 Verification of fine-grain concurrent programs. Zbl 1279.68261Hoare, Tony 1 2008 The verifying compiler, a grand challenge for computing research. Zbl 1111.68395Hoare, C. A. R. 1 2005 Linking theories in probabilistic programming. Zbl 0943.68033He, Jifeng; Hoare, C. A. R. 1 1999 Unified theories of programming. Zbl 0884.68011Hoare, C. A. R. 1 1997 A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084Hoare, C. A. R. 1 1991 VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006Bjørner, Dines (ed.); Hoare, C. A. R. (ed.); Langmaack, Hans (ed.) 1 1990 Essays in computing science. Zbl 0656.68007Hoare, C. A. R.; Jones, C. B. (ed.) 1 1989 Discrete event simulation based on communicating sequential processes. Zbl 0508.68009Kaublisch, W. H.; Hoare, C. A. R. 1 1982 Monitors: An operating system structuring concept. Zbl 0395.68027Hoare, C. A. R. 1 1978 An axiomatic basis for computer programming. Zbl 0395.68012Hoare, C. A. R. 1 1978 Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P. 1 1978 Ambiguities and insecurities in Pascal. Zbl 0366.68010Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R. 1 1977 Quasiparallel programming. Zbl 0332.68010Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R. 1 1976 Matrix reduction - an efficient method. Zbl 0297.68031Johnston, H. C.; Hoare, C. A. R. 1 1975 The Elliott ALGOL programming system. Zbl 0123.12802Hoare, C. A. R. 1 1964 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 3 2016 Exploring an interface model for CKA. Zbl 1432.68314Möller, Bernhard; Hoare, Tony 2 2015 Developments in concurrent Kleene algebra. Zbl 1344.68148Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter 4 2014 Algebra unifies operational calculi. Zbl 1452.68056van Staden, Stephan; Hoare, Tony 2 2013 Unifying semantics for concurrent programming. Zbl 1264.68042Hoare, Tony 2 2013 Generic models of the laws of programming. Zbl 1390.68182Hoare, Tony 1 2013 In praise of algebra. Zbl 1259.68030Hoare, Tony; van Staden, Stephan 4 2012 The laws of programming unify process calculi. Zbl 1358.68064Hoare, Tony; van Staden, Stephan 4 2012 Concurrent Kleene algebra and its foundations. Zbl 1278.68176Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 26 2011 On locality and the exchange law for concurrent processes. Zbl 1343.68170Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg 9 2011 Concurrent Kleene algebra. Zbl 1254.68172Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 14 2009 Graphical models of separation logic. Zbl 1200.68153Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W. 8 2009 Foundations of concurrent Kleene algebra. Zbl 1267.68154Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 7 2009 Separation logic semantics for communicating processes. Zbl 1286.68352Hoare, Tony; O’Hearn, Peter 4 2008 Verification of fine-grain concurrent programs. Zbl 1279.68261Hoare, Tony 1 2008 The verified software repository: a step towards the verifying compiler. Zbl 1103.68452Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P. 2 2006 A trace semantics for long-running transactions. Zbl 1081.68644Butler, Michael; Hoare, Tony; Ferreira, Carla 11 2005 Comparing two approaches to compensable flow composition. Zbl 1134.68316Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo 7 2005 The verifying compiler, a grand challenge for computing research. Zbl 1111.68395Hoare, C. A. R. 1 2005 Stuck-free conformance. Zbl 1103.68612Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob 10 2004 The verifying compiler: A grand challenge for computing research. Zbl 1032.68868Hoare, Tony 18 2003 Unifying theories for logic programming. Zbl 1005.68036Hoare, C. A. R.; He, Jifeng 72 2001 A hard act to follow. Zbl 0951.01025Hoare, C. A. R. 4 2000 A trace model for pointers and objects. Zbl 0954.68045Hoare, C. A. R.; He, Jifeng 6 1999 Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110Hoare, C. A. R. 2 1999 Linking theories in probabilistic programming. Zbl 0943.68033He, Jifeng; Hoare, C. A. R. 1 1999 Unifying theories for parallel programming. Zbl 0996.68754Hoare, Tony; He, Jifeng 3 1997 Unified theories of programming. Zbl 0884.68011Hoare, C. A. R. 1 1997 Communicating sequential processes. Repr. Zbl 0841.68042Hoare, C. A. R. 31 1995 Sequential calculus. Zbl 0875.68202von Karger, Burghard; Hoare, C. A. R. 7 1995 Normal form approach to compiler design. Zbl 0790.68023Hoare, C. A. R.; He, Jifeng; Sampaio, A. 11 1993 From algebra to operational semantics. Zbl 0795.68124He, Jifeng; Hoare, C. A. R. 3 1993 Programs are predicates. Zbl 0864.68009Hoare, C. A. R. 5 1992 A calculus of durations. Zbl 0743.68097Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P. 103 1991 Pre-adjunctions in order enriched categories. Zbl 0755.18003Martin, C. E.; Hoare, C. A. R.; He, Jifeng 4 1991 A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084Hoare, C. A. R. 1 1991 Fixed points of increasing functions. Zbl 0695.06003Hoare, C. A. R. 2 1990 VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006Bjørner, Dines (ed.); Hoare, C. A. R. (ed.); Langmaack, Hans (ed.) 1 1990 Essays in computing science. Zbl 0656.68007Hoare, C. A. R.; Jones, C. B. (ed.) 1 1989 The laws of Occam programming. Zbl 0719.68039Roscoe, A. W.; Hoare, C. A. R. 17 1988 Laws of programming. Zbl 0629.68006Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 56 1987 Prespecification in data refinement. Zbl 0624.68027Hoare, C. A. R.; He, Jifeng; Sanders, J. W. 23 1987 The weakest prespecification. Zbl 0622.68025Hoare, C. A. R.; He, Jifeng 22 1987 Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008He, Jifeng; Hoare, C. A. R. 6 1987 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A. 2 1987 Specification-oriented semantics for communicating processes. Zbl 0569.68019Olderog, E.-R.; Hoare, Tony 56 1986 Data refinement refined. Résumé. Zbl 0587.68018He, J.; Hoare, C. A. R.; Sanders, J. W. 22 1986 The weakest prespecification. I. Zbl 0603.68009Hoare, C. A. R.; He, Jifeng 16 1986 The weakest prespecification, part II. Zbl 0627.68011Hoare, C. A. R.; He, Jifeng 11 1986 Communicating sequential processes. Zbl 0637.68007Hoare, C. A. R. 689 1985 A couple of novelties in the propositional calculus. Zbl 0563.03004Hoare, C. A. R. 4 1985 Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003Hoare, C. A. R. (ed.); Shepherdson, J. C. (ed.) 3 1985 The mathematics of programming. Zbl 0585.68010Hoare, C. A. R. 3 1985 Notes on communicating sequential systems. Zbl 0566.68020Hoare, C. A. R. 3 1985 A theory of communicating sequential processes. Zbl 0628.68025Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W. 222 1984 Programs are predicates. Zbl 0558.68004Hoare, C. A. R. 2 1984 Specification-oriented semantics for communicating processes. Zbl 0578.68009Olderog, E.-R.; Hoare, C. A. R. 7 1983 A more complete model of communicating processes. Zbl 0513.68020Hehner, E. C. R.; Hoare, C. A. R. 4 1983 Discrete event simulation based on communicating sequential processes. Zbl 0508.68009Kaublisch, W. H.; Hoare, C. A. R. 1 1982 A calculus of total correctness for communicating processes. Zbl 0485.68025Hoare, C. A. R. 16 1981 A theory of nondeterminism. Zbl 0444.68027Kennaway, J. R.; Hoare, C. A. R. 2 1980 Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P. 25 1979 Communicating sequential processes. Zbl 0383.68028Hoare, C. A. R. 300 1978 Some properties of predicate transformers. Zbl 0379.68016Hoare, C. A. R. 20 1978 Towards a theory of parallel programming. Zbl 0395.68009Hoare, C. A. 3 1978 Proof of correctness of data representations. Zbl 0395.68019Hoare, C. A. R. 2 1978 Monitors: An operating system structuring concept. Zbl 0395.68027Hoare, C. A. R. 1 1978 An axiomatic basis for computer programming. Zbl 0395.68012Hoare, C. A. R. 1 1978 Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P. 1 1978 Ambiguities and insecurities in Pascal. Zbl 0366.68010Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R. 1 1977 Parallel programming: An axiomatic approach. Zbl 0347.68011Hoare, C. A. R. 3 1976 Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011Ashcroft, E. A.; Clint, M.; Hoare, C. A. R. 3 1976 Quasiparallel programming. Zbl 0332.68010Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R. 1 1976 Recursive data structures. Zbl 0301.68037Hoare, C. A. R. 10 1975 Parallel programming: An axiomatic approach. Zbl 0362.68045Hoare, C. A. R. 7 1975 Matrix reduction - an efficient method. Zbl 0297.68031Johnston, H. C.; Hoare, C. A. R. 1 1975 Monitors: An operating system structuring concept. Zbl 0308.68029Hoare, C. A. R. 52 1974 An axiomatic definition of the programming language Pascal. Zbl 0261.68040Hoare, C. A. R.; Wirth, N. 33 1974 Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006Hoare, C. A. R.; Lauer, P. E. 23 1974 An axiomatic definition of the programming language PASCAL. Zbl 0285.68009Hoare, C. A. R. 2 1974 A structured paging system. Zbl 0262.68009Hoare, C. A. R. 2 1973 Proof of correctness of data representations. Zbl 0244.68009Hoare, C. A. R. 101 1972 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 59 1972 Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005Hoare, C. A. R. 10 1972 A note on the for statement. Zbl 0246.68003Hoare, C. A. R. 7 1972 Incomputability. Zbl 0265.68028Hoare, C. A. R.; Allison, D. C. S. 2 1972 Procedures and parameters: An axiomatic approach. Zbl 0221.68020Hoare, C. A. R. 41 1971 Proof of a program: FIND. Zbl 0217.53701Hoare, C. A. R. 19 1971 Program proving: KJumps and functions. Zbl 0229.68003Clint, M.; Hoare, C. A. R. 18 1971 Proof of a recursive program: Quicksort. Zbl 0231.68011Foley, M.; Hoare, C. A. R. 7 1971 An axiomatic basis for computer programming. Zbl 0179.23105Hoare, C. A. R. 471 1969 Record handling. Zbl 0274.68010Hoare, C. A. R. 4 1968 A contribution to the development of ALGOL. Zbl 0143.18603Wirth, N.; Hoare, C. A. R. 19 1966 The Elliott ALGOL programming system. Zbl 0123.12802Hoare, C. A. R. 1 1964 Quicksort. Zbl 0108.13601Hoare, C. A. R. 88 1962 Report on the Elliott ALGOL translator. Zbl 0100.13201Hoare, C. A. R. 3 1962 all cited Publications top 5 cited Publications all top 5 Cited by 2,729 Authors 35 Bergstra, Jan A. 30 Hoare, C. A. R. Tony 23 Aceto, Luca 20 Ingólfsdóttir, Anna 20 Woodcock, James C. P. 19 Hesselink, Wim H. 19 Roscoe, Andrew William 18 van Glabbeek, Robert Jan 17 Baeten, Jos C. M. 17 Cavalcanti, Ana 17 Vogler, Walter 15 Möller, Bernhard 15 Olderog, Ernst-Rüdiger 14 He, Jifeng 13 Middelburg, Cornelis A. 12 Broy, Manfred 12 de Boer, Frank S. 12 De Nicola, Rocco 12 Duan, Zhenhua 12 Liu, Zhiming 12 Majster-Cederbaum, Mila E. 12 Mili, Ali 12 Owe, Olaf 12 Ponse, Alban 11 Francez, Nissim 11 Hayes, Ian J. 11 Hennessy, Matthew C. B. 11 Larsen, Kim Guldstrand 11 Lüttgen, Gerald 11 Meyer, John-Jules Charles 11 Sampaio, Augusto C. A. 11 Struth, Georg 10 Bernardo, Marco 10 Derrick, John 10 Fokkink, Willem Jan 10 Milner, Robin 10 Naumann, David A. 9 Bravetti, Mario 9 Gregorio-Rodríguez, Carlos 9 O’Hearn, Peter W. 9 Sanders, Jeff W. 9 Wehrheim, Heike 9 Zhan, Naijun 9 Zhu, Huibiao 8 Cleaveland, Rance 8 Colvin, Robert J. 8 de Frutos-Escrig, David 8 Gorrieri, Roberto 8 Guttmann, Walter 8 Janicki, Ryszard 8 Johnsen, Einar Broch 8 Lowe, Gavin 8 Luttik, Bas 8 Malik, Robi 8 Peled, Doron A. 8 Tian, Cong 7 Abramsky, Samson 7 Apt, Krzysztof Rafal 7 Back, Ralph-Johan 7 Boiten, Eerke A. 7 Corradini, Flavio 7 Deng, Yuxin 7 Desharnais, Jules 7 Dovland, Johan 7 Hansen, Michael Reichhardt 7 Hennicker, Rolf 7 Höfner, Peter 7 Koutny, Maciej 7 Montanari, Ugo G. 7 Pnueli, Amir 7 Pugliese, Rosario 7 Reniers, Michel Adriaan 7 Schneider, Steve A. 7 Sifakis, Joseph 7 Steffen, Martin 7 Tennent, Robert D. 7 Vaandrager, Frits W. 6 de Bakker, Jacobus W. 6 Degano, Pierpaolo 6 Dong, JinSong 6 Goranko, Valentin F. 6 Guelev, Dimitar P. 6 Hooman, Jozef Johannes Maria 6 Katz, Shmuel 6 Morgan, Carroll 6 Morgan, Carroll C. 6 Priami, Corrado 6 Qin, Shengchao 6 Rabinovich, Alexander 6 Roggenbach, Markus 6 Sun, Jun 6 Ulidowski, Irek 6 Valmari, Antti 6 Wang, Shuling 6 Winskel, Glynn 6 Zhang, Nan 5 America, Pierre 5 Bjørner, Dines 5 Boreale, Michele 5 Brookes, Stephen D. ...and 2,629 more Authors all top 5 Cited in 182 Serials 397 Theoretical Computer Science 190 Formal Aspects of Computing 108 Acta Informatica 108 Information Processing Letters 102 Information and Computation 68 The Journal of Logic and Algebraic Programming 50 Journal of Logical and Algebraic Methods in Programming 37 Science of Computer Programming 35 Distributed Computing 33 MSCS. Mathematical Structures in Computer Science 29 Formal Methods in System Design 28 Journal of Computer and System Sciences 25 Software. Practice & Experience 23 BIT. Nordisk Tidskrift for Informationsbehandling 21 Journal of Computer Science and Technology 18 Information Sciences 18 Journal of Automated Reasoning 18 Cybernetics and Systems Analysis 16 International Journal of Parallel Programming 15 BIT 14 Artificial Intelligence 14 Discrete Event Dynamic Systems 14 Journal of Applied Non-Classical Logics 12 Computing 11 Annals of Pure and Applied Logic 11 Journal of Symbolic Computation 10 Cybernetics 10 International Journal of Computer Mathematics 10 Journal of Functional Programming 9 Programming and Computer Software 9 Annals of Mathematics and Artificial Intelligence 9 Logical Methods in Computer Science 8 Studia Logica 8 International Journal of Foundations of Computer Science 8 Computer Science Review 7 International Journal of Theoretical Physics 7 International Journal of Computer & Information Sciences 7 RAIRO. Informatique Théorique et Applications 7 Journal of Applied Logic 6 Computers & Mathematics with Applications 6 Automatica 6 Mathematical Systems Theory 6 RAIRO, Informatique Théorique 6 Sādhanā 6 ACM Transactions on Computational Logic 6 Frontiers of Computer Science 5 Journal of Pure and Applied Algebra 5 Algorithmica 5 Real-Time Systems 5 European Journal of Operational Research 5 Concurrency and Computation: Practice & Experience 5 Science China. Information Sciences 4 International Journal of Control 4 Applied Mathematics and Computation 4 Parallel Algorithms and Applications 4 Theory of Computing Systems 4 RAIRO. Theoretical Informatics and Applications 4 Computer Languages, Systems & Structures 4 Formalized Mathematics 3 Discrete Applied Mathematics 3 International Journal of General Systems 3 International Journal of Systems Science 3 Algebra Universalis 3 Fuzzy Sets and Systems 3 Journal of Philosophical Logic 3 Journal of Soviet Mathematics 3 Synthese 3 Topology and its Applications 3 New Generation Computing 3 Computers & Operations Research 3 Journal of Cryptology 3 The Annals of Applied Probability 3 Journal of Computer and Systems Sciences International 3 European Journal of Control 3 Theory and Practice of Logic Programming 3 Journal of Discrete Algorithms 3 Frontiers of Computer Science in China 2 Computer Physics Communications 2 Journal of Computational and Applied Mathematics 2 Kybernetes 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Systems & Control Letters 2 Statistics & Probability Letters 2 History and Philosophy of Logic 2 Discrete & Computational Geometry 2 International Journal of Intelligent Systems 2 International Journal of Approximate Reasoning 2 Mathematical and Computer Modelling 2 Machine Learning 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Journal of Global Optimization 2 Stochastic Processes and their Applications 2 Advances in Engineering Software 2 Journal of the Egyptian Mathematical Society 2 Computer Science Journal of Moldova 2 Mathematical Problems in Engineering 2 Journal of Combinatorial Optimization 2 Wuhan University Journal of Natural Sciences (WUJNS) 2 Data Mining and Knowledge Discovery 2 Higher-Order and Symbolic Computation ...and 82 more Serials all top 5 Cited in 38 Fields 1,972 Computer science (68-XX) 334 Mathematical logic and foundations (03-XX) 55 Systems theory; control (93-XX) 44 Operations research, mathematical programming (90-XX) 39 Category theory; homological algebra (18-XX) 38 Order, lattices, ordered algebraic structures (06-XX) 34 Information and communication theory, circuits (94-XX) 27 Probability theory and stochastic processes (60-XX) 25 Numerical analysis (65-XX) 16 Combinatorics (05-XX) 15 Biology and other natural sciences (92-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 General algebraic systems (08-XX) 13 General topology (54-XX) 10 Quantum theory (81-XX) 8 History and biography (01-XX) 8 Statistics (62-XX) 5 General and overarching topics; collections (00-XX) 5 Number theory (11-XX) 3 Mathematics education (97-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Group theory and generalizations (20-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 2 Algebraic topology (55-XX) 2 Fluid mechanics (76-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.