C. A. R. Hoare

发表

C. A. R. Hoare, 1961, CACM.
C. A. R. Hoare, Stephan van Staden, 2012, MPC.
C. A. R. Hoare, C. Hoare, C. A. R. Hoare, 1975, Comput. Lang..
C. A. R. Hoare, 2002, Software Pioneers.
C. A. R. Hoare, C. Hoare, 1978, ICSE '78.
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2009, RelMiCS.
C. A. R. Hoare, Chaochen Zhou, 1992, Formal Methods Syst. Des..
C. A. R. Hoare, C. Hoare, 1993, SIGSOFT '93.
C. A. R. Hoare, Stephan van Staden, 2012, UTP.
C. A. R. Hoare, Maurice Clint, C. Hoare, 1972, Acta Informatica.
C. A. R. Hoare, C. Hoare, 2001, International Conference on Software Technology: Methods and Tools.
C. A. R. Hoare, C. Hoare, 1975, International Journal of Computer & Information Sciences.
C. A. R. Hoare, C. Hoare, 2013, Computation, Logic, Games, and Quantum Foundations.
C. A. R. Hoare, Z. C. Chen, C. Hoare, 1981, ICDCS.
C. A. R. Hoare, C. Hoare, 1963, Comput. J..
C. A. R. Hoare, Jifeng He, Jeff W. Sanders, 1987, Inf. Process. Lett..
C. A. R. Hoare, Niklaus Wirth, C. Hoare, 1972, Acta Informatica.
Augusto Sampaio, C. A. R. Hoare, Jifeng He, 2000, Proof, Language, and Interaction.
C. A. R. Hoare, C. Hoare, 1996, CSUR.
C. A. R. Hoare, C. Hoare, T. Hoare, 1974, CACM.
C. A. R. Hoare, C. Hoare, 1991 .
C. A. R. Hoare, G. Berry, W. A. Hunt, 1992 .
C. A. R. Hoare, C. Hoare, 1963, Comput. J..
C. A. R. Hoare, C. Hoare, 2007, Comput. J..
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2009, CONCUR.
C. A. R. Hoare, Willem P. de Roever, Nissim Francez, 1979, J. Comput. Syst. Sci..
C. A. R. Hoare, 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
C. A. R. Hoare, C. Hoare, 1984, IEEE Software.
C. A. R. Hoare, 2008, LASER Summer School.
C. A. R. Hoare, Jifeng He, C. Hoare, 1999, ECOOP.
C. A. R. Hoare, C. Hoare, 2010, Concurr. Comput. Pract. Exp..
Augusto Sampaio, C. A. R. Hoare, Jifeng He, 1993, Acta Informatica.
C. A. R. Hoare, Willem P. de Roever, Nissim Francez, 1978, International Symposium on Mathematical Foundations of Computer Science.
C. A. R. Hoare, J. Michael Spivey, Silvija Seres, 1999, ICLP.
C. A. R. Hoare, 2010, TAIC PART.
C. A. R. Hoare, C. Hoare, 1990, CONCUR.
C. A. R. Hoare, Jifeng He, C. Hoare, 1993, Inf. Process. Lett..
C. A. R. Hoare, Natarajan Shankar, Jayadev Misra, 2009, CSUR.
C. A. R. Hoare, C. Hoare, 1993, SIGSOFT '93.
C. A. R. Hoare, C. Hoare, 1973, Inf. Process. Lett..
C. A. R. Hoare, Niklaus Wirth, C. Hoare, 1966, CACM.
C. A. R. Hoare, Peter E. Lauer, C. Hoare, 1974, Acta Informatica.
C. A. R. Hoare, C. Hoare, 1964 .
C. A. R. Hoare, C. Hoare, 1981, CACM.
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2005, J. Log. Algebraic Methods Program..
C. A. R. Hoare, 2000, ICFEM.
Georg Struth, Peter W. O'Hearn, C. A. R. Hoare, 2011, CONCUR.
C. A. R. Hoare, C. Hoare, Tony Hoare, 1985, Mathematical Logic Quarterly.
C. A. R. Hoare, John Wickerson, 2011, Software and Systems Safety - Specification and Verification.
C. A. R. Hoare, William A. Wulf, Laszlo A. Belady, 1978, ICSE '78.
Simon L. Peyton Jones, C. A. R. Hoare, Simon Marlow, 1999, PLDI '99.
C. A. R. Hoare, C. Hoare, 1987, Computer.
C. A. R. Hoare, C. Hoare, 1968 .
C. A. R. Hoare, Jakob Rehof, Cédric Fournet, 2004, CAV.
C. A. R. Hoare, C. Hoare, 2004, 25 Years Communicating Sequential Processes.
C. A. R. Hoare, C. Hoare, 1996, Microprocessing and Microprogramming.
C. A. R. Hoare, E. A. Ashcroft, M. Clint, 1976, Acta Informatica.
C. A. R. Hoare, Jifeng He, C. Hoare, 1999, Inf. Sci..
C. A. R. Hoare, 1990, Inf. Process. Lett..
C. A. R. Hoare, Jifeng He, C. Hoare, 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
C. A. R. Hoare, Jifeng He, C. Hoare, 1987, Distributed Computing.
C. A. R. Hoare, C. Hoare, 1971, Symposium on Semantics of Algorithmic Languages.
C. A. R. Hoare, Jifeng He, C. Hoare, 2006, Theor. Comput. Sci..
C. A. R. Hoare, 1975, Language Hierarchies and Interfaces.
C. A. R. Hoare, C. Hoare, 1972, Comput. J..
C. A. R. Hoare, Ronald H. Perrott, W. H. Kaubisch, 1976, Softw. Pract. Exp..
C. A. R. Hoare, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
C. A. R. Hoare, João Fernando Ferreira, Alexandra Mendes, 2019, FMTea.
C. A. R. Hoare, C. Hoare, 1996, FME.
C. A. R. Hoare, C. Hoare, 1989, TAPSOFT, Vol.1.
C. A. R. Hoare, Jifeng He, Jifeng He, 2005, 25 Years Communicating Sequential Processes.
C. A. R. Hoare, 1996, NATO ASI DPD.
C. A. R. Hoare, Jayadev Misra, David Gries, 2002, CACM.
C. A. R. Hoare, 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
C. A. R. Hoare, 2004, Essays in Memory of Ole-Johan Dahl.
C. A. R. Hoare, M. Foley, C. Hoare, 1971, Comput. J..
Peter W. O'Hearn, C. A. R. Hoare, P. O'Hearn, 2008, FICS.
C. A. R. Hoare, Jifeng He, Jeff W. Sanders, 1986, ESOP.
C. A. R. Hoare, Jifeng He, C. Hoare, 1998, RelMiCS.
C. A. R. Hoare, Bernhard Möller, 2015, MPC.
C. A. R. Hoare, Niklaus Wirth, 1973, Acta Informatica.
C. A. R. Hoare, Anders P. Ravn, Chaochen Zhou, 1991, Inf. Process. Lett..
C. A. R. Hoare, C. Hoare, 1973, Comput. J..
C. A. R. Hoare, C. Hoare, 1995, COMPASS/ADT.
C. A. R. Hoare, T. Hoare, 2013, Theories of Programming and Formal Methods.
C. A. R. Hoare, Michael J. Butler, Carla Ferreira, 2004, 25 Years Communicating Sequential Processes.
C. A. R. Hoare, Stephan van Staden, C. Hoare, 2012, Sci. Comput. Program..
C. A. R. Hoare, 1975, Language Hierarchies and Interfaces.
C. A. R. Hoare, C. Hoare, 2002, Software Pioneers.
C. A. R. Hoare, Ernst-Rüdiger Olderog, 1983, ICALP.
C. A. R. Hoare, 2007, LASER Summer School.
C. A. R. Hoare, Burghard von Karger, 1995, Inf. Process. Lett..
C. A. R. Hoare, C. Hoare, 1987 .
C. A. R. Hoare, C. Hoare, C. A. R. Hoare, 1983, Commun. ACM.
C. A. R. Hoare, Michael J. C. Gordon, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
C. A. R. Hoare, 2006, ACL2 '06.
C. A. R. Hoare, C. Hoare, 1964, Computer/law journal.
C. A. R. Hoare, 1990, Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications.
C. A. R. Hoare, A. W. Roscoe, C. Hoare, 1984, FGCS.
C. A. R. Hoare, 1991, Concurr. Pract. Exp..
C. A. R. Hoare, C. Hoare, 1986 .
C. A. R. Hoare, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
C. A. R. Hoare, C. Hoare, Prof. C. A. R. Hoare, 1972, Acta Informatica.
C. A. R. Hoare, Cesare Tinelli, Bernhard Beckert, 2006, IEEE Intelligent Systems.
C. A. R. Hoare, Jayadev Misra, 2009, CSUR.
C. A. R. Hoare, H. C. Johnston, 1975, CACM.
Georg Struth, C. A. R. Hoare, Bernhard Möller, 2016, UTP.
C. A. R. Hoare, C. Hoare, 1983, The Analysis of Concurrent Systems.
C. A. R. Hoare, K. T. Sridhar, C. Hoare, 1985, Data Types and Persistence , Informal Proceedings.
C. A. R. Hoare, C. Hoare, 1975, Language Hierarchies and Interfaces.
C. A. R. Hoare, Jifeng He, C. Hoare, 1989, Mathematical Foundations of Programming Semantics.
C. A. R. Hoare, 2014, PLDI.
C. A. R. Hoare, Jifeng He, 2010, Theor. Comput. Sci..
Peter W. O'Hearn, C. A. R. Hoare, Ian Wehrman, 2009, Inf. Process. Lett..
C. A. R. Hoare, 1983, The Analysis of Concurrent Systems.
C. A. R. Hoare, Anders P. Ravn, Hans Rischel, 1994, FTRTFT.
C. A. R. Hoare, 2006, Electron. Notes Theor. Comput. Sci..
Georg Struth, C. A. R. Hoare, Stephan van Staden, 2014, J. Log. Algebraic Methods Program..
C. A. R. Hoare, C. Hoare, 1980, On the Construction of Programs.
C. A. R. Hoare, A. M. Macnaghten, C. Hoare, 1977, Comput. J..
C. A. R. Hoare, 2011, Dependable and Historic Computing.
C. A. R. Hoare, C. Hoare, T. Hoare, 2003, JACM.
C. A. R. Hoare, C. Hoare, T. Hoare, 1969, CACM.
C. A. R. Hoare, Natarajan Shankar, N. Shankar, 2010, Essays in Memory of Amir Pnueli.
C. A. R. Hoare, Shuvendu K. Lahiri, Kapil Vaswani, 2010, FoSER '10.
Robin Milner, C. A. R. Hoare, R. Milner, 2005, Comput. J..
C. A. R. Hoare, Ian Page, 1994, Programming Languages and System Architectures.
C. A. R. Hoare, C. Hoare, 2008, BCS Int. Acad. Conf..
Maurice Herlihy, C. A. R. Hoare, Viktor Vafeiadis, 2006, PPoPP '06.
C. A. R. Hoare, 2008, Electron. Notes Theor. Comput. Sci..
C. A. R. Hoare, C. Hoare, 1974, Inf. Process. Lett..
C. A. R. Hoare, 1999, World Congress on Formal Methods.
C. A. R. Hoare, M. J. C. Gordon, 1992 .
C. A. R. Hoare, C. Hoare, 2002, Essays in Memory of Ole-Johan Dahl.
C. A. R. Hoare, A. W. Roscoe, C. Hoare, 1988, Theor. Comput. Sci..
C. A. R. Hoare, C. Hoare, 1968, IFIP Congress.
C. A. R. Hoare, Jim Welsh, W. J. Sneeringer, 1977, Softw. Pract. Exp..
C. A. R. Hoare, Jifeng He, C. Hoare, 1987, Information Processing Letters.
C. A. R. Hoare, 1981, Sci. Comput. Program..
C. A. R. Hoare, A. W. Roscoe, Stephen D. Brookes, 1984, JACM.
C. A. R. Hoare, 2002, Proceedings 26th Annual International Computer Software and Applications.
C. A. R. Hoare, C. Hoare, 2002, Software Pioneers.
C. A. R. Hoare, Jifeng He, C. E. Martin, 1991, Mathematical Structures in Computer Science.
C. A. R. Hoare, Stephan van Staden, 2012, Formal Aspects of Computing.
C. A. R. Hoare, Carroll Morgan, 1983, The Analysis of Concurrent Systems.
C. A. R. Hoare, C. Hoare, 2003, IEEE Ann. Hist. Comput..
C. A. R. Hoare, Richard Kennaway, 1980, ICALP.
Jim Woodcock, C. A. R. Hoare, Juan Bicarregui, 2006, Formal Aspects of Computing.
C. A. R. Hoare, 2012, Petri Nets.
C. A. R. Hoare, C. Hoare, 1978, JACM.
C. A. R. Hoare, C. Hoare, C. A. R. Hoare, 1983, CACM.
C. A. R. Hoare, Ernst-Rüdiger Olderog, C. Hoare, 1983, Acta Informatica.
C. A. R. Hoare, C. Hoare, 1962, Comput. J..
C. A. R. Hoare, C. Hoare, 1961, Commun. ACM.
C. A. R. Hoare, Carroll Morgan, A. W. Roscoe, 1987, CACM.
C. A. R. Hoare, 2003, Ershov Memorial Conference.
C. A. R. Hoare, 2006, CAV.
C. A. R. Hoare, Jifeng He, C. Hoare, 1997, Euro-Par.
C. A. R. Hoare, 1975 .
Georg Struth, C. A. R. Hoare, Jim Woodcock, 2019, UTP.
C. A. R. Hoare, C. Hoare, 1968 .
Roberto Bruni, C. A. R. Hoare, Ugo Montanari, 2005, CONCUR.
Peter W. O'Hearn, C. A. R. Hoare, Bernhard Möller, 2021, RAMiCS.
C. A. R. Hoare, Krzysztof R. Apt, 2021, ArXiv.
C. A. R. Hoare, Jayadev Misra, 2021, Theories of Programming.
C. A. R. Hoare, C. Hoare, 2001 .
C. A. R. Hoare, C. Hoare, 2021, Ideas That Created the Future.
C. A. R. Hoare, C. Hoare, 1965 .