Tony Hoare

Tony Hoare's AcademicInfluence.com Rankings

Tony Hoare

Computer Science

#10778

World Rank

#11348

Historical Rank

Database

#7759

World Rank

#8066

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Tony Hoare's Degrees

Bachelors Classics University of Oxford

Why Is Tony Hoare Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Tony Hoare's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Notes on Data Structuring (1972) (266)
Playing by the rules: rewriting as a practical optimisation technique in GHC (2001) (231)
Hierarchical Program Structures (1972) (201)
Higher education, social class and social mobility: The degree generation (2016) (103)
The Weakest Prespecification II (1986) (64)
Cooperation in Education (1975) (62)
Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find (1961) (61)
Data Refinement in a Categorical Setting (1987) (38)
A Tree Semantics of an Orchestration Language (2005) (37)
Programming is an Engineering Profession (1983) (35)
A Theory of Asynchronous Processes (1989) (33)
Contemporary fiddling in human geography while Rome burns: has quantitative analysis been largely abandoned - and should it be? (2003) (33)
Engineering Theories of Software Construction (2001) (28)
Remarks on “Program Proving: Jumps and Functions” (1976) (25)
University competition, student migration and regional economic differentials in the United Kingdom (1991) (21)
Operating System Techniques (1972) (16)
Specifications‚ Programs and Implementations (1982) (16)
Maths Adds Safety to Computer Programs (1986) (12)
The Dawn of Software Engineering: From Turing to Dijkstra (2012) (12)
Stuck-Free Conformance Theory for CCS (2004) (12)
The Cold War and geography's quantitative revolution: Some messy reflections on Barnes' geographical underworld (2008) (12)
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security (2009) (10)
Partial Correctness of Communicating Processes and Protocols (1981) (7)
Is There a Mathematical Basis for Computer Programming (1981) (6)
Software and Systems Safety - Specification and Verification (2011) (6)
LABOUR ADJUSTMENT IN METROPOLITAN REGIONS (1991) (6)
The Mistreated Model: Some Technical Comments on Porojan's Paper on 'Trade Flows and Spatial Effects' (2003) (6)
Extending the Horizons of DSE (2004) (6)
A Survey of Store Management Techniques: Part 1 (1972) (6)
Software Design: A Parable (1974) (5)
A. M. Turing Award Lecture (1980) (5)
The Consistency of the Calculus of Total Correctness for Communicating Processes (1982) (5)
High Level Programming Languages‚ the Way Behind (1973) (5)
Critique of ALGOL 68 (1968) (5)
Hints on the Design of a Programming Language for Real−time Command and Control (1976) (5)
A safety proof of a lazy concurrent list-based set implementation (2006) (5)
A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics (1993) (4)
Regional Isolation, Railways and Politics: Nelson, New Zealand (1989) (4)
Software system reliability and security (2007) (4)
British educational trajectories from school to university: evaluating quantitative evidence in policy formulation and justification (2017) (4)
Operating Systems: their purpose‚ objectives‚ functions and scope (1972) (4)
Student funding, student retention and student experiences: perspectives from Bristol (2015) (4)
A Calculus for the Derivation of C−MOS Switching Circuits (1988) (3)
The Elliott ALGOL Programming System (1964) (3)
Phosphorus acid - can we have it back please? (2011) (3)
A Theory of Non−determinism (1980) (3)
Extending the Horizons of DSE (GC6) (2004) (3)
Les Hepple: An Appreciation (2007) (3)
Theory of Mathematical Machines (1965) (3)
Cooperating Sequential Processes (1976) (3)
Prospects for a Better Programming Language (1972) (3)
Structured Programming in Introductory Programming Courses (1976) (3)
Tracelets and Specifications (2017) (2)
Synchronisation of Parallel Processes (1980) (2)
A Programming Language for Processor Construction (1965) (2)
Towards a Theory of Communicating Sequential Processes (1979) (2)
Natural Transformations and Data Refinement (1988) (2)
Future developments in the CAD environment (1985) (1)
Implementation Languages for Real−Time Systems — III. Command and Control Languages — Specific Comments (1975) (1)
Hoare on Programming (1980) (1)
Chapter 8.4 Widening Participation Bristol-Fashion: Embedding Policy and Practice at the Universities of Bristol and the West of England (2011) (1)
Software: Barrier or Frontier? (1993) (1)
Single Pass Compilation. PL/I (1966) (1)
Introduction to Domain Theory (1987) (1)
Matrix Reduction—an Efficient Method (School Timetables) (1975) (1)
Limitations on Languages (1968) (1)
Parallel Processing: Theoretical Foundations (1993) (1)
Caring for veterans. (2007) (1)
A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694 (1996) (1)
Replication of government research uncovers shaky evidence on relationship between school and degree performance. (2014) (1)
Tomorrow's Men: The Role of the University (1973) (1)
Roger Michael Needham CBE FREng. 9 February 1935 – 1 March 2003 (2004) (1)
Assert Early‚ Assert Often (2002) (1)
Implementation Languages for Real−Time Systems — I. Standardisation — its Implementation and Acceptance (1975) (1)
Pruning-cutting the cost without compromising the vineyard (2009) (1)
The High Cost of Programming Languages (1976) (1)
Implementation Languages for Real−Time Systems — II. Language Design — General Comments (1975) (1)
The university's widening participation research cluster: whatever is it up to now? (2010) (0)
Management of vines port-grafting: maximizing the strike rate (2010) (0)
EWD821: From Predicate Transformers to Predicates (1982) (0)
Grapevine scale - sucking the profits from vineyards (2016) (0)
Reviews of contributions to ‘A Classical Mind' (1994) (0)
Data Reliability: A Tutorial Paper (1974) (0)
Thank−you letter to CARH for after−dinner speech at his retirement dinner at Merton (1996) (0)
Collaboration between IBM‚ Hursley and PRG‚ Oxford (1992) (0)
Queen's Award Presentation (1990) (0)
Quality management. BS5750. (1991) (0)
A Proposed Protection Scheme (1988) (0)
Referee’s report (2021) (0)
Whose knowledge? Using participatory action research in land use planning: the Mowachaht case study (1993) (0)
Shift‐Share Analysis: A Useful Technique for Regional Economic Analysis (2008) (0)
The Axiomatic Method (1968) (0)
Tools and Technology for Trusted Code (2002) (0)
Dijktra's Shortest Path Algorithm (2008) (0)
Normal Forms for Synchronous and Asynchronous Process Calculi (2000) (0)
Ethical and free trade branding for wine: harvesting the benefits (2012) (0)
Notes on the Standardisation of Programming Languages (1975) (0)
Vineyard apps - Don't leave home without them (2016) (0)
The art of grafting grapevines: What to do and how to do it (2014) (0)
The bnefits and risks of shoot-thinning (2009) (0)
Soil surveys for new vineyards - maximising uniformity (2008) (0)
Hangtime - optimising harvest timing: Part 2 (2013) (0)
Practical Viticulture: The Common Language Project (2006) (0)
Research Proposal 1976–7 (1976) (0)
Report of a Software Failure (1965) (0)
The art of grafting grapevines (2014) (0)
Making every drop count – advancements in water budgeting tools (2013) (0)
The hangover - the effect of last season on this season (2011) (0)
Carbon neutral viticulture - the inconvenient truth (2008) (0)
1983 Technology Forecast (1983) (0)
Speech of Acceptance‚ Fellowship of the Computer History Museum (2007) (0)
Reworking vineyards – why, when and how? Part 2 (2017) (0)
Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits (1987) (0)
IN NATIVE COMMUNITIES : CULTURAL OPPORTUNITIES AND LEGAL IMPLICATIONS (1998) (0)
Current trends and future predictions for Australian viticulture Part 1: The Shiraz Era (2015) (0)
Review of ‘Conversations with a Mathematician' (2002) (0)
What next for Australia's grapegrowers? (2010) (0)
Benefits and pitfalls of field grafting winegrapes – Part 1 (2014) (0)
Seasonal yield adjustment – optimising timing and results (2014) (0)
A Fragment of Graph Theory (1994) (0)
Right variety- right palce- right time! (2012) (0)
Kyoto Prize acceptance speech and biographical notes (2000) (0)
Vine age versus vine balance – which is more important? (2014) (0)
Letter about proof format (1987) (0)
Busy Time and Idle Time (1992) (0)
Notes on Communicating Systems (1985) (0)
Problem weeds in Australian vineyards (2009) (0)
Programming Languages: Predictions and Prospects (1968) (0)
All in the Mind—but Not in the Software (2004) (0)
A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs (1978) (0)
Bundle of materials about UKCRC Grand Challenges (2002) (0)
Craftsmen and Engineers (1980) (0)
Mid-row crop management options to improve vineyard performance and profitability. (2011) (0)
Additional Recommendations to Alvey Directorate (1985) (0)
A new column written by practicing viticulturists for practicing viticulturists (2005) (0)
Preface to Unity book by Misra and Chandy (1987) (0)
Why Don't Best Practices Get Adopted? (2002) (0)
McLaren Vale embraces environmental stewardship for a better future (2010) (0)
Two−Categorical Models of Parallelism (1995) (0)
Controlling vineyards weeds (2019) (0)
Review of ‘Communicating sequential processes' (1985) (0)
Comments on ‘An Algebra for Games of Chance' (1996) (0)
An Algebra For Games of Chance (1996) (0)
Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask (1978) (0)
How to survive rising power costs in the vineyard (2017) (0)
Maximise your yields while surviving the drought (2008) (0)
Recycling CCA posts - a reality at last? (2011) (0)
The geography of (manufacturing) wages in New Zealand (1986) (0)
Review of ‘A Shortcut through Time' (2003) (0)
Tamburlaine – a pioneer and still leading the way in sustainable viticulture (2014) (0)
Sanctions against South Africa: some regional and local dimensions of the (2016) (0)
Water – can you afford it? (2014) (0)
Linking Theories in Computing Science (1997) (0)
Phylloxera prevention in Australia - current trends, observations and options (2018) (0)
Peter Belej - an A-grade grower, an A-grade bloke (2015) (0)
Weed control options-grower feedback (2009) (0)
RUSSIAN TITLE : A method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis (1961) (0)
Some Properties of the Relative Converse (1995) (0)
Reducing chemical inputs and costs of pest and disease control using IPM (2009) (0)
A Model Paging System (1972) (0)
Purely Functional Non−determinism (2000) (0)
Fractional Shifts Produce Sweet Sound of Spheres (2004) (0)
Losing our land. Can we stop the threats to our viticultural future (2010) (0)
A Model for Programming Language Semantics (1975) (0)
: Everything that`s old is new again - reworking in Australian vineyards (2015) (0)
Discussion of Research Policy (1993) (0)
Equating Simulation with Refinement (2003) (0)
Fingerprinting soil using mineralogy (2007) (0)
Program Correctness Proofs (1975) (0)
A Notation for the Specification of Computer Programs (1976) (0)
Basic Theorems about Predicate Transformers (1977) (0)
SA grapegrower levies: how much do we pay and whera does it go? (2010) (0)
The evolution of winegrapes - epigenetics, the new frontier (2015) (0)
Prefaces to four papers (1994) (0)
The evolution of winegrapes - Part 2: Protecting the past to benefit the future (2016) (0)
ASVO seminar explores intelligent systems for profitable winegrowing (2017) (0)
Mulching under vine - options and their benefits (2015) (0)
Angus Osborn Robson (2017) (0)
The Logic of Procedural Readings (1999) (0)
An Education for the Software Engineer (1982) (0)
Letter about ‘A More Complete Model of Communicating Processes' (1983) (0)
Linking Z and CSP (1999) (0)
Degree−day Speech at Hatfield Polytechnic (1985) (0)
Session details: Keynote address (2014) (0)
Lore: Capturing Traditional Environmental Knowledge, edited by Martha Johnson (1993) (0)
Hoare's Formulation of Jones' Calculus for Programming (1982) (0)
In praise of algebra (2012) (0)
The Good, the Bad and the Ugly (2002) (0)
RUSSIAN TITLE : Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems (1987) (0)
Current trends and future predictions for Australian viticulture Part 2: The Golden Era - Potential opportunities and barriers to future success for Australian viticulture (2015) (0)
After−dinner speech at Austin Year of Programming (1987) (0)
Confusion in the lab (1988) (0)
Soil compaction - why worry? (2016) (0)
Session details: Keynote address (2014) (0)
Vineyard assessment: getting the best from your vineyard (2006) (0)
Software Systems Reliability and Security: Nato Security Through ... D Information and Communication Security (2007) (0)
Machine harvesting or hand picking winegrapes (2011) (0)
Programming Language Design: Principles and Practices (1967) (0)
An Ideal of Software Engineering (1995) (0)
A Semantics of Compensations for Long−Running Transactions (2003) (0)
Review of ‘Behind Deep Blue' (2003) (0)
Sulfur: how to get the best powdery mildew defence (2008) (0)
Bird control – damned if you do, damned if you don’t (2013) (0)
Soilhealth and nutrition: A letter from your vineyard soil (2019) (0)
Benefits and pitfalls of field grafting winegrapes – Part 2 (2014) (0)
File Backup Server (1981) (0)
Formal Methods in Software Engineering (1986) (0)
Models and Algebra (1993) (0)
The clone - where does your loyalty lie? (2011) (0)
Application−Oriented Languages: Project Summary (1977) (0)
The latest innovations from SIMEI (2012) (0)
To graft or not to graft (2007) (0)
Early material on MSc in Computation (1982) (0)
Responses to Turing Lecture‚ and CARH's replies (1981) (0)
Increasing irrigation efficiency - technology to save water without risking yield or quality (2016) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Tony Hoare?

Tony Hoare is affiliated with the following schools:

University of Bristol