Cliff B. Jones Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Methods, Models and Tools for Fault Tolerance Springer 2009
2008
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Ken G. Pierce: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn R. D. Hughes, Cliff B. Jones: Reasoning about programs via operational semantics: requirements for a support system. Autom. Softw. Eng. 15(3-4): 299-312 (2008)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 20(1): 1-3 (2008)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Valediction. Formal Asp. Comput. 20(6): 561 (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn S. Fitzgerald, Cliff B. Jones: The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008)
2007
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Zhiming Liu, Jim Woodcock: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 Springer 2007
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Zhiming Liu, Jim Woodcock: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Springer 2007
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus 2007: 177-235
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Ian J. Hayes, Michael A. Jackson: Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Ken G. Pierce: What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Jim Woodcock: Editorial. Formal Asp. Comput. 19(4): 415-416 (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoey W. Coleman, Cliff B. Jones: A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoey W. Coleman, Cliff B. Jones: Atomicity: A Unifying Concept in Computer Science. J. UCS 13(8): 1042-1043 (2007)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Splitting atoms safely. Theor. Comput. Sci. 375(1-3): 109-119 (2007)
2006
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, David B. Lomet, Alexander Romanovsky, Gerhard Weikum: Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] Springer 2006
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander Romanovsky: 06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander Romanovsky: 06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Reasoning About Partial Functions in the Formal Development of Programs. Electr. Notes Theor. Comput. Sci. 145: 3-25 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: An Approach to Splitting Atoms Safely: Extended Abstract. Electr. Notes Theor. Comput. Sci. 155: 43-60 (2006)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Peter W. O'Hearn, Jim Woodcock: Verified Software: A Grand Challenge. IEEE Computer 39(4): 93-95 (2006)
2005
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli E. Abdallah, Cliff B. Jones, Jeff W. Sanders: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers Springer 2005
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE 2005: 64-69
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB 2005: 1-5
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon Burton, Cliff B. Jones: Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. UCS 11(5): 634-635 (2005)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum: The Atomic Manifesto. J. UCS 11(5): 636-651 (2005)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon Burton, Cliff B. Jones: Investigating Atomicity and Observability. J. UCS 11(5): 661-686 (2005)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. Operating Systems Review 39(2): 41-46 (2005)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. SIGMOD Record 34(1): 63-69 (2005)
2004
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, John Cooke: Editorial. Formal Asp. Comput. 16(1): 1- (2004)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, D. J. Cooke, Christiane Notarmarco: Online First Publication. Formal Asp. Comput. 16(1): 4- (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Michael R. Hansen: Editorial. Formal Asp. Comput. 16(2): 95- (2004)
2003
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan J. Hayes, Michael A. Jackson, Cliff B. Jones: Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: The Early Search for Tractable Ways of Reasoning about Programs. IEEE Annals of the History of Computing 25(2): 26-49 (2003)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Operational semantics: Concepts and their expression. Inf. Process. Lett. 88(1-2): 27-32 (2003)
2002
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Alexander B. Romanovsky, Ian Welch: A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch: Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI 2002: 73-86
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn E. Dobson, Cliff B. Jones, Rob Procter, Mark Rouncefield, Robin Williams: Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems. SAC 2002: 704-705
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Editorial. Formal Asp. Comput. 14(2): 91 (2002)
2001
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Thinking Tools for the Future of Computing Science. Informatics 2001: 112-130
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Lonergan, Cliff B. Jones: An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica 30(2): 287-301 (2001)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: The Transition from VDL to VDM. J. UCS 7(8): 631-640 (2001)
2000
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Reza Sirouspour, Simon P. DiMaio, S. E. Salcudean, Purang Abolmaesumi, Cliff B. Jones: Haptic Interface Control - Design Issues and Experiments with a Planar Device. ICRA 2000: 789-794
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Formal Methods and Dependability. MPC 2000: 140-143
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Collette, Cliff B. Jones: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction 2000: 277-308
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Editorial. Formal Asp. Comput. 12(6): 417 (2000)
1999
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Scientific Decisions which Characterize VDM. World Congress on Formal Methods 1999: 28-47
1998
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Some Mistakes I Have and What I Have Learned from Them. FASE 1998: 7-20
1997
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn S. Fitzgerald, Cliff B. Jones, Peter Lucas: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings Springer 1997
1996
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Some Practical Problems and Their Influence on Semantics. ESOP 1996: 1-17
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Formal Methods Light. ACM Comput. Surv. 28(4es): 121 (1996)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 8(2): 105-122 (1996)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
1995
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve J. Hodges, Cliff B. Jones: Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. Object Orientation with Parallelism and Persistence 1995: 1-22
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Fixing the semantics of some concurrent object-oriented concepts. Electr. Notes Theor. Comput. Sci. 1: (1995)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Granularity and the development of concurrent programs. Electr. Notes Theor. Comput. Sci. 1: (1995)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (1995)
1994
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, C. A. Middelburg: A Typed Logic of Partial Functions Reconstructed Classically. Acta Inf. 31(5): 399-430 (1994)
1993
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: A pi-Calculus Semantics for an Object-Based Design Notation. CONCUR 1993: 158-172
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Reasoning about Interference in an Object-Based Design Method. FME 1993: 1-18
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Constraining Inference in an Object-Based Design Model. TAPSOFT 1993: 136-150
1990
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn S. Fitzgerald, Cliff B. Jones: Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Interference Revisited. Z User Workshop 1990: 58-73
1989
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955
1988
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Peter A. Lindsay: A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, Richard Moore: MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe 1988: 337-375
1987
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings Springer 1987
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286
1986
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Software Development Based on Formal Methods. System Development and Ada 1986: 153-172
1985
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones, T. N. Nipkow, Mario Wolczko: MDB: A Graph-Like Persistent Database. Data Types and Persistence (Appin), Informal Proceedings 1985: 25-34
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: The Role of Proof Obligations in Software Design. TAPSOFT, Vol.2 1985: 27-41
1984
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Programming Languages and Their Definition - Hans Bekic (1936-1982) Springer 1984
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Barringer, J. H. Cheng, Cliff B. Jones: A Logic Covering Undefinedness in Program Proofs. Acta Inf. 21: 251-269 (1984)
1983
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Specification and Design of (Parallel) Programs. IFIP Congress 1983: 321-332
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Tentative Steps Toward a Development Method for Interfering Programs. ACM Trans. Program. Lang. Syst. 5(4): 596-619 (1983)
1981
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Specification as a Design Base (Extended Abstract). ECI 1981: 103-105
1980
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Towards More Formal Specifictations. Software Engineering 1980: 19-45
1979
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Models of Programming Language Concepts. Abstract Software Specifications 1979: 100-143
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Inf. 11: 119-137 (1979)
1978
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Cliff B. Jones: The Vienna Development Method: The Meta-Language Springer 1978
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language 1978: 218-277
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. The Vienna Development Method: The Meta-Language 1978: 278-304
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336
1977
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Program Specifications and Formal Development. International Computing Symposium 1977: 537-553
1974
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: Formal Definition in Program Development. Programming Methodology 1974: 387-443
1971
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCliff B. Jones: A New Approach to the 'Hidden Line' Problem. Comput. J. 14(3): 232-237 (1971)
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971)

Coauthor Index

1Ali E. Abdallah [68]
2Purang Abolmaesumi [46]
3Jean-Raymond Abrial [73]
4Mícheál Mac an Airchinnigh [22]
5Howard Barringer [15]
6Don S. Batory [73]
7Hans Bekic [16]
8Dines Bjørner [8] [16] [22]
9Jonathan P. Bowen [36]
10Jeremy Bryans [72]
11Jon Burton [63] [65]
12Michael Butler [93]
13Michael J. Butler [73] [76]
14Ricky W. Butler [36]
15J. H. Cheng [15]
16Alessandro Coglio [73]
17Joey W. Coleman [79] [80]
18Pierre Collette [44]
19D. J. Cooke [59]
20John Cooke [60]
21Simon P. DiMaio (Simon Peter DiMaio) [46]
22David L. Dill [36]
23John E. Dobson [51]
24Alan Fekete (Alan David Fekete, A. D. Fekete) [61] [62]
25Kathi Fisler [73]
26John S. Fitzgerald [27] [40] [72] [87]
27Marie-Claude Gaudel [61] [62]
28Robert L. Glass [36]
29David Gries [36]
30Anthony Hall [36]
31Michael R. Hansen [58]
32Ian J. Hayes [57] [83]
33Eric C. R. Hehner [73]
34Wolfgang Henhapl [1] [5] [16]
35Michael G. Hinchey (Mike Hinchey) [36]
36Steve J. Hodges [35]
37C. Michael Holloway [36]
38John R. D. Hughes [90]
39Daniel Jackson [36]
40Michael A. Jackson [57] [83]
41Simon L. Peyton Jones [73]
42Henry F. Korth [61] [62]
43Gary T. Leavens [73]
44Rogério de Lemos [61] [62]
45Peter A. Lindsay [24]
46Zhiming Liu [85] [86]
47David B. Lomet [61] [62] [64] [74] [75] [77]
48M. Lonergan [48]
49Peter Lucas [16] [40]
50Michael J. Lutz [36]
51Kees Middelburg (C. A. Middelburg) [31]
52Dale Miller [73]
53Richard Moore [23]
54J. Eliot B. Moss [61] [62]
55Igor Mozolevsky [72]
56Erich J. Neuhold [22]
57T. N. Nipkow [19]
58Christiane Notarmarco [59]
59Peter W. O'Hearn [69]
60David Lorge Parnas [36]
61Panayiotis Periorellis [52]
62Ken G. Pierce [82] [92]
63Rob Procter [51]
64Ravi Rajwar [61] [62]
65Krithi Ramamritham [61] [62]
66Brian Randell [61] [62]
67Luís Rodrigues [61] [62]
68Alexander Romanovsky (Alexander B. Romanovsky) [52] [53] [61] [62] [64] [74] [75] [76] [77] [93]
69Mark Rouncefield [51]
70John M. Rushby [36]
71S. E. Salcudean (Septimiu E. Salcudean, Tim Salcudean) [46]
72Jeff W. Sanders (Jeffrey W. Sanders) [68]
73Mohammad Reza Sirouspour [46]
74Murali Sitaraman [73]
75Douglas R. Smith [73]
76Aaron Stump [73]
77Elena Troubitsyna [76] [93]
78Gerhard Weikum [61] [62] [64] [74] [75] [77]
79Ian Welch (Ian S. Welch) [52] [53]
80Robin Williams [51]
81Jeannette M. Wing [36]
82Mario Wolczko [19]
83Jim Woodcock (J. C. P. Woodcock) [69] [81] [85] [86] [89]
84Pamela Zave [36]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)