Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(138)
Jifeng He (何积丰)
28
Ernst-Rudiger Olderog (Ernst-Rüdiger Olderog)
6
Andrew William Roscoe
6
Jeff W. Sanders
6
Anders P. Ravn
6
Conferences
(47)
Birthday ...
5
ICSE
3
CONCUR
3
FM
3
The Analysis of Concurrent Systems
3
Journals
(43)
CACM
24
Nature
14
Algol Bulletin
13
IPL
12
ACTA
12
Keywords
(254)
Embed
Subscribe
Academic
Authors
Charles Antony Richard Hoare
Charles Antony Richard Hoare (C.A.R. Hoare),Microsoft,Algorithms & Theory,Software Engineering,Programming Languages
Edit
Charles Antony Richard Hoare (C.A.R. Hoare)
Microsoft
Publications:
304
|
Citations:
20551
Fields:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
138 co-authors
from 1926 to 2011
|
Cited by
13364 authors
Cumulative
Annual
Sort by:
Publications
(304)
BibTeX
|
RIS
|
RefWorks
Download
Concurrent Kleene Algebra and its Foundations
(
Citations: 2
)
Tony Hoare
,
Bernhard Möller
,
Georg Struth
,
Ian Wehrman
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 6, pp. 266-296, 2011
Unraveling a Card Trick
Tony Hoare
,
Natarajan Shankar
Conference:
Birthday ...
, pp. 195-201, 2010
CSP is a retract of CCS
Jifeng He
,
Tony Hoare
Journal:
Theoretical Computer Science - TCS
, vol. 411, no. 11, pp. 1311-1337, 2010
Differential static analysis: opportunities, applications, and challenges
Shuvendu K. Lahiri
,
Kapil Vaswani
,
C. A. R. Hoare
Published in 2010.
Testing and Proving, Hand-in-Hand
Tony Hoare
Conference:
Testing: Academic & Industrial Conference - Practice And Research Techniques - TAICPART
, pp. 5-6, 2010
Sort by:
Citations
(20551 times by 14492 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
Enabling intelligent unmanned vehicles through XMOS Technology
Goncalo Martins
,
Allistair Moses
,
Matthew J Rutherford
,
Kimon P Valavanis
Journal:
The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology
, vol. 9, no. 1, pp. 71-82, 2012
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language
Huibiao Zhu
,
Fan Yang
,
Jifeng He
,
Jonathan P. Bowen
,
Jeff W. Sanders
,
Shengchao Qin
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 81, no. 1, 2012
Improving the scalability of parallel N-body applications with an event-driven constraint-based execution model
Chirag Dekate
,
Matthew Anderson
,
Maciej Brodowicz
,
Hartmut Kaiser
,
Bryce Adelstein-Lelbach
,
Thomas Sterling
Journal:
International Journal of High Performance Computing Applications - IJHPCA
, vol. 26, no. 3, pp. 319-332, 2012
On Smoothed Analysis of Quicksort and Hoare’s Find
Mahmoud Fouz
,
Manfred Kufleitner
,
Bodo Manthey
Journal:
Algorithmica
, pp. 1-27, 2012
Comments