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: 124 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 7 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 Clint, Maurice 2 de Roever, Willem-Paul 2 Ferreira, Carla 2 Francez, Nissim 2 Hayes, Ian J. 2 Olderog, Ernst-Rüdiger 2 Sørensen, Ib Holm 2 Spivey, J. Michael 2 Sufrin, B. A. 2 Wirth, Niklaus 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 Butler, Michael C. R. 1 Butler, Michael J. 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 Morgan, C. Carroll 1 Morgan, Carroll C. 1 Müller, Martin Eric 1 Perrott, Ronald H. 1 Petersen, Rasmus Lerchedahl 1 Plummer, Paul 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 1 Woodcock, James C. P. 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 110 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 5 General mathematics (00-XX) 3 Information and communication, 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, social and behavioral sciences (91-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline