×

Hoare, C. A. R. Tony

Author ID: hoare.c-a-r-tony Recent zbMATH articles by "Hoare, C. A. R. Tony"
Published as: Hoare, C. A. R.; Hoare, Tony; Hoare, C. A. R. Tony; Hoare, C. A.; Hoare, C.
Further Spellings: Hoare, Charles Antony Richard
External Links: MGP · Wikidata · dblp · GND · IdRef
Awards: Turing Award (1980)

Publications by Year

Citations contained in zbMATH Open

122 Publications have been cited 3,769 times in 2,625 Documents Cited by Year
Communicating sequential processes. Zbl 0637.68007
Hoare, C. A. R.
844
1985
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
623
1969
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
350
1978
A theory of communicating sequential processes. Zbl 0628.68025
Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.
261
1984
A calculus of durations. Zbl 0743.68097
Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P.
122
1991
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R.
122
1972
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
117
1962
Laws of programming. Zbl 0629.68006
Hoare, 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.
75
1987
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
72
1972
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
69
1986
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
65
1974
Unifying theories for logic programming. Zbl 1005.68036
Hoare, C. A. R.; He, Jifeng
61
2001
Procedures and parameters: An axiomatic approach. Zbl 0221.68020
Hoare, C. A. R.
52
1971
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
52
2011
Data refinement refined. Résumé. Zbl 0587.68018
He, J.; Hoare, C. A. R.; Sanders, J. W.
41
1986
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N.
40
1974
Communicating sequential processes. Repr. Zbl 0841.68042
Hoare, C. A. R.
35
1995
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
32
2009
The weakest prespecification. Zbl 0622.68025
Hoare, C. A. R.; He, Jifeng
29
1987
Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P.
28
1979
The verifying compiler: A grand challenge for computing research. Zbl 1032.68868
Hoare, Tony
28
2003
Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006
Hoare, C. A. R.; Lauer, P. E.
27
1974
Prespecification in data refinement. Zbl 0624.68027
Hoare, C. A. R.; He, Jifeng; Sanders, J. W.
25
1987
Proof of a program: FIND. Zbl 0217.53701
Hoare, C. A. R.
25
1971
Program proving: KJumps and functions. Zbl 0229.68003
Clint, M.; Hoare, C. A. R.
23
1971
Some properties of predicate transformers. Zbl 0379.68016
Hoare, C. A. R.
22
1978
A contribution to the development of ALGOL. Zbl 0143.18603
Wirth, N.; Hoare, C. A. R.
22
1966
The laws of Occam programming. Zbl 0719.68039
Roscoe, A. W.; Hoare, C. A. R.
21
1988
The weakest prespecification. I. Zbl 0603.68009
Hoare, C. A. R.; He, Jifeng
20
1986
Unifying theories for parallel programming. Zbl 0996.68754
Hoare, Tony; He, Jifeng
18
1997
A trace semantics for long-running transactions. Zbl 1081.68644
Butler, Michael; Hoare, Tony; Ferreira, Carla
16
2005
Recursive data structures. Zbl 0301.68037
Hoare, C. A. R.
16
1975
Normal form approach to compiler design. Zbl 0790.68023
Hoare, C. A. R.; He, Jifeng; Sampaio, A.
15
1993
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
15
2004
A calculus of total correctness for communicating processes. Zbl 0485.68025
Hoare, C. A. R.
15
1981
Proof of a recursive program: Quicksort. Zbl 0231.68011
Foley, M.; Hoare, C. A. R.
15
1971
The weakest prespecification, part II. Zbl 0627.68011
Hoare, C. A. R.; He, Jifeng
14
1986
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
14
2011
Graphical models of separation logic. Zbl 1200.68153
Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W.
14
2009
Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005
Hoare, C. A. R.
11
1972
Parallel programming: An axiomatic approach. Zbl 0362.68045
Hoare, C. A. R.
11
1975
Separation logic semantics for communicating processes. Zbl 1286.68352
Hoare, Tony; O’Hearn, Peter
11
2008
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
10
2009
In praise of algebra. Zbl 1259.68030
Hoare, Tony; van Staden, Stephan
10
2012
Sequential calculus. Zbl 0875.68202
von Karger, Burghard; Hoare, C. A. R.
9
1995
A note on the for statement. Zbl 0246.68003
Hoare, C. A. R.
9
1972
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter
9
2014
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
9
2005
Specification-oriented semantics for communicating processes. Zbl 0578.68009
Olderog, E.-R.; Hoare, C. A. R.
9
1983
From algebra to operational semantics. Zbl 0795.68124
He, Jifeng; Hoare, C. A. R.
8
1993
A couple of novelties in the propositional calculus. Zbl 0563.03004
Hoare, C. A. R.
8
1985
The laws of programming unify process calculi. Zbl 1358.68064
Hoare, Tony; van Staden, Stephan
7
2012
Essays in computing science. Zbl 0656.68007
Hoare, C. A. R.
6
1989
The verified software initiative: a manifesto. Zbl 1507.68089
Hoare, C. A. R.; Misra, Jayadev; Leavens, Gary T.; Shankar, Natarajan
6
2009
Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008
He, Jifeng; Hoare, C. A. R.
6
1987
A trace model for pointers and objects. Zbl 0954.68045
Hoare, C. A. R.; He, Jifeng
6
1999
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
6
2016
Pre-adjunctions in order enriched categories. Zbl 0755.18003
Martin, C. E.; Hoare, C. A. R.; He, Jifeng
5
1991
Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011
Ashcroft, E. A.; Clint, M.; Hoare, C. A. R.
5
1976
Parallel programming: An axiomatic approach. Zbl 0347.68011
Hoare, C. A. R.
5
1976
Programs are predicates. Zbl 0864.68009
Hoare, C. A. R.
5
1992
Logic of programming and calculi of discrete design. (Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986). International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare. Zbl 0619.00021
5
1987
The mathematics of programming. Zbl 0585.68010
Hoare, C. A. R.
5
1985
A more complete model of communicating processes. Zbl 0513.68020
Hehner, E. C. R.; Hoare, C. A. R.
5
1983
A hard act to follow. Zbl 0951.01025
Hoare, C. A. R.
5
2000
Report on the Elliott ALGOL translator. Zbl 0100.13201
Hoare, C. A. R.
5
1962
Unifying semantics for concurrent programming. Zbl 1264.68042
Hoare, Tony
5
2013
Algebra unifies operational calculi. Zbl 1452.68056
van Staden, Stephan; Hoare, Tony
5
2013
Developments in concurrency and communication. Zbl 0734.68035
4
1990
Record handling. Zbl 0274.68010
Hoare, C. A. R.
4
1968
Unified theories of programming. Zbl 0884.68011
Hoare, C. A. R.
4
1997
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony
4
2015
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg
4
2017
Notes on communicating sequential systems. Zbl 0566.68020
Hoare, C. A. R.
4
1985
Process algebra: A unifying approach. Zbl 1081.68060
Hoare, Tony
3
2005
An axiomatic definition of the programming language PASCAL. Zbl 0285.68009
Hoare, C. A. R.
3
1974
Ambiguities and insecurities in Pascal. Zbl 0366.68010
Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R.
3
1977
A structured paging system. Zbl 0262.68009
Hoare, C. A. R.
3
1973
Incomputability. Zbl 0265.68028
Hoare, C. A. R.; Allison, D. C. S.
3
1972
Fixed points of increasing functions. Zbl 0695.06003
Hoare, C. A. R.
3
1990
Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003
3
1985
On the construction of programs. Zbl 0473.68006
3
1980
Why ever CSP? Zbl 1315.68193
Hoare, Tony
3
2006
Proof of correctness of data representations. Zbl 0395.68019
Hoare, C. A. R.
3
1978
CSP is a retract of CCS. Zbl 1191.68439
He, Jifeng; Hoare, Tony
3
2010
Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110
Hoare, C. A. R.
3
1999
Programs are predicates. Zbl 0558.68004
Hoare, C. A. R.
3
1984
On algebra of program correctness and incorrectness. Zbl 07670527
Möller, Bernhard; O’Hearn, Peter; Hoare, Tony
3
2021
Towards a theory of parallel programming. Zbl 0395.68009
Hoare, C. A.
3
1978
The verified software repository: a step towards the verifying compiler. Zbl 1103.68452
Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P.
3
2006
A theory of nondeterminism. Zbl 0444.68027
Kennaway, J. R.; Hoare, C. A. R.
3
1980
The verifying compiler, a grand challenge for computing research. Zbl 1111.68395
Hoare, C. A. R.
2
2005
Matrix reduction - an efficient method. Zbl 0297.68031
Johnston, H. C.; Hoare, C. A. R.
2
1975
Quasiparallel programming. Zbl 0332.68010
Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R.
2
1976
Preface to special issue on software verification. Zbl 1507.68035
2
2009
A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084
Hoare, C. A. R.
2
1991
Linking theories in probabilistic programming. Zbl 0943.68033
He, Jifeng; Hoare, C. A. R.
2
1999
Discrete event simulation based on communicating sequential processes. Zbl 0508.68009
Kaublisch, W. H.; Hoare, C. A. R.
2
1982
The Elliott ALGOL programming system. Zbl 0123.12802
Hoare, C. A. R.
2
1964
The Elliott ALGOL input/output system. Zbl 0107.12003
Hoare, C. A. R.
2
1963
On algebra of program correctness and incorrectness. Zbl 07670527
Möller, Bernhard; O’Hearn, Peter; Hoare, Tony
3
2021
A calculus of space, time, and causality: its algebra, geometry, logic. Zbl 07168631
Hoare, Tony; Struth, Georg; Woodcock, Jim
1
2019
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg
4
2017
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
6
2016
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony
4
2015
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter
9
2014
Unifying semantics for concurrent programming. Zbl 1264.68042
Hoare, Tony
5
2013
Algebra unifies operational calculi. Zbl 1452.68056
van Staden, Stephan; Hoare, Tony
5
2013
Generic models of the laws of programming. Zbl 1390.68182
Hoare, Tony
1
2013
In praise of algebra. Zbl 1259.68030
Hoare, Tony; van Staden, Stephan
10
2012
The laws of programming unify process calculi. Zbl 1358.68064
Hoare, Tony; van Staden, Stephan
7
2012
Net models for concurrent object behaviour. Zbl 1357.68137
Hoare, Tony
1
2012
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
52
2011
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
14
2011
CSP is a retract of CCS. Zbl 1191.68439
He, Jifeng; Hoare, Tony
3
2010
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
32
2009
Graphical models of separation logic. Zbl 1200.68153
Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W.
14
2009
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
10
2009
The verified software initiative: a manifesto. Zbl 1507.68089
Hoare, C. A. R.; Misra, Jayadev; Leavens, Gary T.; Shankar, Natarajan
6
2009
Preface to special issue on software verification. Zbl 1507.68035
2
2009
Separation logic semantics for communicating processes. Zbl 1286.68352
Hoare, Tony; O’Hearn, Peter
11
2008
Verification of fine-grain concurrent programs. Zbl 1279.68261
Hoare, Tony
2
2008
Compensable transactions. Zbl 1137.68449
Hoare, Tony
1
2007
Why ever CSP? Zbl 1315.68193
Hoare, Tony
3
2006
The verified software repository: a step towards the verifying compiler. Zbl 1103.68452
Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P.
3
2006
CSP is a retract of CCS. Zbl 1186.68320
He, Jifeng; Hoare, Tony
1
2006
A trace semantics for long-running transactions. Zbl 1081.68644
Butler, Michael; Hoare, Tony; Ferreira, Carla
16
2005
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
9
2005
Process algebra: A unifying approach. Zbl 1081.68060
Hoare, Tony
3
2005
The verifying compiler, a grand challenge for computing research. Zbl 1111.68395
Hoare, C. A. R.
2
2005
Linking theories of concurrency. Zbl 1169.68543
He, Jifeng; Hoare, C. A. R.
1
2005
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
15
2004
The verifying compiler: A grand challenge for computing research. Zbl 1032.68868
Hoare, Tony
28
2003
Assertions in programming: From scientific theory to engineering practice. Zbl 1054.68539
Hoare, Tony
1
2002
Unifying theories for logic programming. Zbl 1005.68036
Hoare, C. A. R.; He, Jifeng
61
2001
A hard act to follow. Zbl 0951.01025
Hoare, C. A. R.
5
2000
A trace model for pointers and objects. Zbl 0954.68045
Hoare, C. A. R.; He, Jifeng
6
1999
Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110
Hoare, C. A. R.
3
1999
Linking theories in probabilistic programming. Zbl 0943.68033
He, Jifeng; Hoare, C. A. R.
2
1999
Unifying theories for parallel programming. Zbl 0996.68754
Hoare, Tony; He, Jifeng
18
1997
Unified theories of programming. Zbl 0884.68011
Hoare, C. A. R.
4
1997
Mathematical models for computing science. Zbl 0873.68056
Hoare, C. A. R.
1
1996
Communicating sequential processes. Repr. Zbl 0841.68042
Hoare, C. A. R.
35
1995
Sequential calculus. Zbl 0875.68202
von Karger, Burghard; Hoare, C. A. R.
9
1995
Normal form approach to compiler design. Zbl 0790.68023
Hoare, C. A. R.; He, Jifeng; Sampaio, A.
15
1993
From algebra to operational semantics. Zbl 0795.68124
He, Jifeng; Hoare, C. A. R.
8
1993
Programs are predicates. Zbl 0864.68009
Hoare, C. A. R.
5
1992
A model for synchronous switching circuits and its theory of correctness. Zbl 0777.94026
Zhou, Chaochen; Hoare, C. A. R.
1
1992
A calculus of durations. Zbl 0743.68097
Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P.
122
1991
Pre-adjunctions in order enriched categories. Zbl 0755.18003
Martin, C. E.; Hoare, C. A. R.; He, Jifeng
5
1991
A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084
Hoare, C. A. R.
2
1991
Developments in concurrency and communication. Zbl 0734.68035
4
1990
Fixed points of increasing functions. Zbl 0695.06003
Hoare, C. A. R.
3
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.68006
1
1990
Categorical semantics for programming languages. Zbl 1509.68035
Jifeng, He; Hoare, C. A. R.
1
1990
Essays in computing science. Zbl 0656.68007
Hoare, C. A. R.
6
1989
The laws of Occam programming. Zbl 0719.68039
Roscoe, A. W.; Hoare, C. A. R.
21
1988
Laws of programming. Zbl 0629.68006
Hoare, 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.
75
1987
The weakest prespecification. Zbl 0622.68025
Hoare, C. A. R.; He, Jifeng
29
1987
Prespecification in data refinement. Zbl 0624.68027
Hoare, C. A. R.; He, Jifeng; Sanders, J. W.
25
1987
Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008
He, Jifeng; Hoare, C. A. R.
6
1987
Logic of programming and calculi of discrete design. (Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986). International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare. Zbl 0619.00021
5
1987
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, 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.68019
Olderog, E.-R.; Hoare, Tony
69
1986
Data refinement refined. Résumé. Zbl 0587.68018
He, J.; Hoare, C. A. R.; Sanders, J. W.
41
1986
The weakest prespecification. I. Zbl 0603.68009
Hoare, C. A. R.; He, Jifeng
20
1986
The weakest prespecification, part II. Zbl 0627.68011
Hoare, C. A. R.; He, Jifeng
14
1986
Communicating sequential processes. Zbl 0637.68007
Hoare, C. A. R.
844
1985
A couple of novelties in the propositional calculus. Zbl 0563.03004
Hoare, C. A. R.
8
1985
The mathematics of programming. Zbl 0585.68010
Hoare, C. A. R.
5
1985
Notes on communicating sequential systems. Zbl 0566.68020
Hoare, 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.68003
3
1985
A theory of communicating sequential processes. Zbl 0628.68025
Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.
261
1984
Programs are predicates. Zbl 0558.68004
Hoare, C. A. R.
3
1984
Specification-oriented semantics for communicating processes. Zbl 0578.68009
Olderog, E.-R.; Hoare, C. A. R.
9
1983
A more complete model of communicating processes. Zbl 0513.68020
Hehner, E. C. R.; Hoare, C. A. R.
5
1983
Discrete event simulation based on communicating sequential processes. Zbl 0508.68009
Kaublisch, W. H.; Hoare, C. A. R.
2
1982
Structure of an operating system. Zbl 0508.68008
Hoare, C. A. R.; McKeag, R. M.
1
1982
A calculus of total correctness for communicating processes. Zbl 0485.68025
Hoare, C. A. R.
15
1981
On the construction of programs. Zbl 0473.68006
3
1980
A theory of nondeterminism. Zbl 0444.68027
Kennaway, J. R.; Hoare, C. A. R.
3
1980
Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P.
28
1979
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
350
1978
Some properties of predicate transformers. Zbl 0379.68016
Hoare, C. A. R.
22
1978
Proof of correctness of data representations. Zbl 0395.68019
Hoare, C. A. R.
3
1978
Towards a theory of parallel programming. Zbl 0395.68009
Hoare, C. A.
3
1978
Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017
Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P.
1
1978
Monitors: An operating system structuring concept. Zbl 0395.68027
Hoare, C. A. R.
1
1978
An axiomatic basis for computer programming. Zbl 0395.68012
Hoare, C. A. R.
1
1978
Ambiguities and insecurities in Pascal. Zbl 0366.68010
Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R.
3
1977
Fast Fourier transform free from tears. Zbl 0348.65114
Macnaghten, A. M.; Hoare, C. A. R.
1
1977
Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011
Ashcroft, E. A.; Clint, M.; Hoare, C. A. R.
5
1976
Parallel programming: An axiomatic approach. Zbl 0347.68011
Hoare, C. A. R.
5
1976
Quasiparallel programming. Zbl 0332.68010
Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R.
2
1976
Proof of correctness of data representations. Zbl 0348.68018
Hoare, C. A. R.
1
1976
The structure of an operating system. Zbl 0353.68006
Hoare, C. A. R.
1
1976
Recursive data structures. Zbl 0301.68037
Hoare, C. A. R.
16
1975
Parallel programming: An axiomatic approach. Zbl 0362.68045
Hoare, C. A. R.
11
1975
Matrix reduction - an efficient method. Zbl 0297.68031
Johnston, H. C.; Hoare, C. A. R.
2
1975
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
65
1974
...and 22 more Documents
all top 5

Cited by 3,199 Authors

38 Bergstra, Jan A.
33 Hoare, C. A. R. Tony
30 van Glabbeek, Robert Jan
29 Aceto, Luca
29 Woodcock, James C. P.
24 Ingólfsdóttir, Anna
21 Roscoe, Andrew William
20 Cavalcanti, Ana
19 Hesselink, Wim H.
19 Struth, Georg
18 Baeten, Jos C. M.
17 Olderog, Ernst-Rüdiger
17 Vogler, Walter
16 He, Jifeng
16 Hennessy, Matthew C. B.
16 Liu, Zhiming
16 Möller, Bernhard
15 Zhu, Huibiao
14 Bernardo, Marco
14 Middelburg, Cornelis A.
14 Mili, Ali
14 O’Hearn, Peter W.
13 De Nicola, Rocco
13 Duan, Zhenhua
13 Foster, Simon
13 Hayes, Ian J.
13 Lüttgen, Gerald
13 Ponse, Alban
13 Wehrheim, Heike
12 Abramsky, Samson
12 de Boer, Frank S.
12 Larsen, Kim Guldstrand
12 Majster-Cederbaum, Mila E.
12 Morgan, Carroll C.
12 Owe, Olaf
12 Sampaio, Augusto C. A.
11 Colvin, Robert J.
11 Derrick, John
11 Francez, Nissim
11 Gorrieri, Roberto
11 Luttik, Bas
11 Meyer, John-Jules Charles
11 Naumann, David A.
11 Zhan, Naijun
10 Apt, Krzysztof Rafal
10 Broy, Manfred
10 Cleaveland, Rance
10 Fokkink, Willem Jan
10 Malik, Robi
10 Milner, Robin
10 Schneider, Steve A.
10 Sifakis, Joseph
9 Bravetti, Mario
9 Dongol, Brijesh
9 Gregorio-Rodríguez, Carlos
9 Guttmann, Walter
9 Johnsen, Einar Broch
9 Koutny, Maciej
9 Lowe, Gavin
9 Tian, Cong
9 Tucker, John V.
9 Zanasi, Fabio
8 Boiten, Eerke A.
8 de Frutos-Escrig, David
8 Deng, Yuxin
8 Hennicker, Rolf
8 Höfner, Peter
8 Janicki, Ryszard
8 Katoen, Joost-Pieter
8 Lang, Frédéric
8 Peled, Doron A.
8 Phillips, Iain W.
8 Rabinovich, Alexander
8 Rot, Jurriaan
8 Shao, Zhong
8 Steffen, Martin
7 Back, Ralph-Johan
7 Barbosa, Luís Soares
7 Bjørner, Dines
7 Castiglioni, Valentina
7 Corradini, Flavio
7 Cousot, Patrick
7 de Bakker, Jacobus W.
7 Degano, Pierpaolo
7 Desharnais, Jules
7 Dong, JinSong
7 Dovland, Johan
7 Guelev, Dimitar P.
7 Hansen, Michael Reichhardt
7 Honda, Kohei
7 Legay, Axel
7 Montanari, Ugo G.
7 Pnueli, Amir
7 Pous, Damien
7 Priami, Corrado
7 Pugliese, Rosario
7 Reddy, Uday S.
7 Reniers, Michel Adriaan
7 Tennent, Robert D.
7 Vaandrager, Frits W.
...and 3,099 more Authors
all top 5

Cited in 203 Serials

409 Theoretical Computer Science
196 Formal Aspects of Computing
111 Acta Informatica
110 Information and Computation
109 Information Processing Letters
68 The Journal of Logic and Algebraic Programming
64 Journal of Logical and Algebraic Methods in Programming
37 Science of Computer Programming
36 Mathematical Structures in Computer Science
36 Distributed Computing
33 Formal Methods in System Design
30 Journal of Computer and System Sciences
25 Software. Practice & Experience
23 Journal of Automated Reasoning
23 BIT. Nordisk Tidskrift for Informationsbehandling
23 Logical Methods in Computer Science
21 Journal of Computer Science and Technology
18 Information Sciences
18 Cybernetics and Systems Analysis
17 Artificial Intelligence
17 Discrete Event Dynamic Systems
16 International Journal of Parallel Programming
16 Journal of Applied Non-Classical Logics
15 BIT
13 Computing
12 Annals of Pure and Applied Logic
12 Journal of Functional Programming
11 Journal of Symbolic Computation
10 Programming and Computer Software
10 Cybernetics
10 International Journal of Computer Mathematics
10 Annals of Mathematics and Artificial Intelligence
9 Computer Science Review
8 International Journal of Theoretical Physics
8 Studia Logica
8 International Journal of Foundations of Computer Science
7 International Journal of Computer & Information Sciences
7 RAIRO. Informatique Théorique et Applications
7 ACM Transactions on Computational Logic
6 Computers & Mathematics with Applications
6 Automatica
6 Mathematical Systems Theory
6 RAIRO, Informatique Théorique
6 Sādhanā
6 Journal of Applied Logic
6 Frontiers of Computer Science
5 Journal of Pure and Applied Algebra
5 Algorithmica
5 Real-Time Systems
5 Random Structures & Algorithms
5 European Journal of Operational Research
5 Concurrency and Computation: Practice & Experience
5 Theory and Practice of Logic Programming
5 Science China. Information Sciences
5 Formalized Mathematics
4 Discrete Applied Mathematics
4 International Journal of Control
4 Algebra Universalis
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
3 International Journal of General Systems
3 International Journal of Systems Science
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 Journal of Cryptology
3 The Annals of Applied Probability
3 Stochastic Processes and their Applications
3 Journal of Computer and Systems Sciences International
3 European Journal of Control
3 International Journal of Applied Mathematics and Computer Science
3 Journal of Discrete Algorithms
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Frontiers of Computer Science in China
2 Computer Physics Communications
2 Journal of the Franklin Institute
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 Computers & Operations Research
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 Advances in Engineering Software
2 Journal of Logic, Language and Information
2 Combinatorics, Probability and Computing
2 Journal of the Egyptian Mathematical Society
...and 103 more Serials
all top 5

Cited in 40 Fields

2,439 Computer science (68-XX)
442 Mathematical logic and foundations (03-XX)
71 Systems theory; control (93-XX)
53 Category theory; homological algebra (18-XX)
48 Operations research, mathematical programming (90-XX)
47 Information and communication theory, circuits (94-XX)
41 Order, lattices, ordered algebraic structures (06-XX)
40 Probability theory and stochastic processes (60-XX)
29 Numerical analysis (65-XX)
23 Combinatorics (05-XX)
20 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
18 Quantum theory (81-XX)
18 Biology and other natural sciences (92-XX)
16 General algebraic systems (08-XX)
14 General topology (54-XX)
13 Statistics (62-XX)
12 History and biography (01-XX)
5 General and overarching topics; collections (00-XX)
5 Number theory (11-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Group theory and generalizations (20-XX)
3 Operator theory (47-XX)
3 Mathematics education (97-XX)
2 Commutative algebra (13-XX)
2 Partial differential equations (35-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Convex and discrete geometry (52-XX)
2 Algebraic topology (55-XX)
2 Manifolds and cell complexes (57-XX)
2 Fluid mechanics (76-XX)
1 Associative rings and algebras (16-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Ordinary differential equations (34-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 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.