# C. Antony R. Hoare

According to our database

Collaborative distances:

^{1}, C. Antony R. Hoare authored at least 167 papers between 1961 and 2021.Collaborative distances:

## Awards

## Turing Prize recipient

Turing Prize 1980, "For his fundamental contributions to the definition and design of programming languages".

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2019

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2016

J. Log. Algebraic Methods Program., 2016

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

Sci. Comput. Program., 2014

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

Proceedings of the Theories of Programming and Formal Methods, 2013

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Formal Aspects Comput., 2012

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

J. Log. Algebraic Methods Program., 2011

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Proceedings of the Dependable and Historic Computing, 2011

2010

Theor. Comput. Sci., 2010

Concurr. Comput. Pract. Exp., 2010

Proceedings of the Testing, 2010

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Proceedings of the Time for Verification, 2010

2009

Inf. Process. Lett., 2009

ACM Comput. Surv., 2009

ACM Comput. Surv., 2009

Commun. ACM, 2009

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Electron. Notes Theor. Comput. Sci., 2008

Electron. Notes Theor. Comput. Sci., 2008

Proceedings of the Advanced Lectures on Software Engineering, 2008

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Proceedings of the Visions of Computer Science, 2008

2007

Comput. J., 2007

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Formal Aspects Comput., 2006

IEEE Intell. Syst., 2006

Electron. Notes Theor. Comput. Sci., 2006

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Comput. J., 2005

Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.

Proceedings of the Verified Software: Theories, 2005

Proceedings of the Theoretical Aspects of Computing, 2005

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

Proceedings of the From Object-Orientation to Formal Methods, 2004

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

J. ACM, 2003

IEEE Ann. Hist. Comput., 2003

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002

Commun. ACM, 2002

Proceedings of the Soft-Ware 2002: Computing in an Imperfect World, 2002

Assertions in Modern Software Engineering Practice.

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Proceedings of the Software Pioneers., 2002

Proceedings of the Software Pioneers., 2002

Proceedings of the Software Pioneers., 2002

2001

Inf. Process. Lett., 2001

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

2000

High. Order Symb. Comput., 2000

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Algebraic derivation of an operational semantics.

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Inf. Sci., 1999

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Algebra of Logic Programming.

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Proceedings of the FM'99 - Formal Methods, 1999

Proceedings of the ECOOP'99, 1999

1998

Unifying theories of programming.

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Microprocess. Microprogramming, 1996

ACM Comput. Surv., 1996

Mathematical models for computing science.

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract).

Proceedings of the 18th International Conference on Software Engineering, 1996

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Inf. Process. Lett., 1995

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

J. Log. Comput., 1994

Proceedings of the Programming Languages and System Architectures, 1994

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Inf. Process. Lett., 1993

Acta Informatica, 1993

Proceedings of the SIGSOFT '93, 1993

1992

Formal Methods Syst. Des., 1992

Programs are Predicates.

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Theor. Comput. Sci., 1991

Math. Struct. Comput. Sci., 1991

Inf. Process. Lett., 1991

Concurr. Pract. Exp., 1991

1990

Inf. Process. Lett., 1990

Proceedings of the Parallel Architectures (Postconference PARBASE-90)., 1990

A Theory of Synchrony and Asynchrony.

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Proceedings of the CONCUR '90, 1990

1989

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988

Theor. Comput. Sci., 1988

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Inf. Process. Lett., 1987

Inf. Process. Lett., 1987

Distributed Comput., 1987

Computer, 1987

Commun. ACM, 1987

1986

Acta Informatica, 1986

Proceedings of the ESOP 86, 1986

1985

Math. Log. Q., 1985

JSD Expressed in CSP.

Proceedings of the Data Types and Persistence, 1985

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

Communicating Sequential Processes

Prentice-Hall, ISBN: 0-13-153271-5, 1985

1984

IEEE Softw., 1984

J. ACM, 1984

Programs as Executable Predicates.

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Theor. Comput. Sci., 1983

Commun. ACM, 1983

Commun. ACM, 1983

Proceedings of the Analysis of Concurrent Systems, 1983

Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.

Proceedings of the Analysis of Concurrent Systems, 1983

Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad.

Proceedings of the Analysis of Concurrent Systems, 1983

1981

Sci. Comput. Program., 1981

Commun. ACM, 1981

Partial Correctness of Communicating Sequential Processes.

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

Proceedings of the Automata, 1980

A Model for Communicating Sequential Processes.

Proceedings of the On the Construction of Programs, 1980

1979

J. Comput. Syst. Sci., 1979

1978

J. ACM, 1978

Commun. ACM, 1978

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Proceedings of the 3rd International Conference on Software Engineering, 1978

1977

Softw. Pract. Exp., 1977

Comput. J., 1977

1976

Softw. Pract. Exp., 1976

Comput. Lang., 1976

1975

Int. J. Parallel Program., 1975

Commun. ACM, 1975

Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

1974

Inf. Process. Lett., 1974

Commun. ACM, 1974

Consistent and Complementary Formal Theories of the Semantics of Programming Languages.

Acta Informatica, 1974

1973

Inf. Process. Lett., 1973

Comput. J., 1973

An Axiomatic Definition of the Programming Language PASCAL

Acta Informatica, 1973

1972

ACM Comput. Surv., 1972

Comput. J., 1972

Acta Informatica, 1972

Acta Informatica, 1972

Proceedings of the International Sympoisum on Theoretical Programming, 1972

Structured programming.

A.P.I.C. Studies in data processing 8, Academic Press, ISBN: 978-0-12-200550-3, 1972

1971

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Comput. J., 1971

Commun. ACM, 1971

1969

Commun. ACM, 1969

1968

Data structures in two-level store.

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968

1966

Commun. ACM, 1966

1964

Comput. J., 1964

1963

Comput. J., 1963

Comput. J., 1963

1962

Comput. J., 1962

Comput. J., 1962

1961

Commun. ACM, 1961

Commun. ACM, 1961

Commun. ACM, 1961