Michael G. Hinchey

Mike Hinchey

	2009
113		Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey: Integrating Formal Analysis and Design to Preserve Security Properties. HICSS 2009: 1-10
112		Emil Vassev, Mike Hinchey, Aaron J. Quigley: A Self-adaptive Architecture for Autonomic Systems Developed with ASSL. ICSOFT (1) 2009: 163-168
111		Emil Vassev, Mike Hinchey, Aaron J. Quigley: Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL. ICSOFT (1) 2009: 251-256
110		Norman F. Schneidewind, Mike Hinchey: A consumer/producer approach to risk-driven software reliability and testing. SAC 2009: 537-538
109		Claire McInerney, Mike Hinchey, Eamonn McQuade: Investment in Information and Communication Technologies in the Irish Education Sector. WCCE 2009: 83-91
108		Dong-hyun Lee, Keun Lee, Sooyong Park, Mike Hinchey: A Survival Kit: Adaptive Hardware/Software Codesign Life-Cycle Model. IEEE Computer 42(2): 100-102 (2009)
107		Roy Sterritt, Mike Hinchey: Adaptive reflex autonomicity for real-time systems. ISSE 5(2): 107-115 (2009)
106		Mike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)
	2008
105		Mike Hinchey, Emil Vassev: An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. ATC 2008: 316-330
104		Norman F. Schneidewind, Mike Hinchey: Why Predicting Outliers in Software is a Good Thing to Do! ICECCS 2008: 91-97
103		Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6
102		Michael G. Hinchey: Encouraging the Uptake of Formal Methods Training in an Industrial Context. ISoLA 2008: 473-477
101		Karin Koogan Breitman, Michael G. Hinchey: The Use of Formal Ontology to Specify Context in Ubiquitous Computing. ISoLA 2008: 561-571
100		Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657
99		Emil Vassev, Mike Hinchey: An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions. SASO 2008: 473-474
98		Svein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: 2nd International Workshop on Dynamic Software Product Lines DSPL 2008. SPLC 2008: 381
97		Mike Hinchey: Desert Island Column. Autom. Softw. Eng. 15(3-4): 393-402 (2008)
96		Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)
95		Mike Hinchey, Paul A. Curto, Scott Hamilton: Computer Celebrates NASA's 50th Anniversary. IEEE Computer 41(12): 32-33 (2008)
94		Svein Hallsteinsen, Mike Hinchey, Sooyong Park, Klaus Schmid: Dynamic Software Product Lines. IEEE Computer 41(4): 93-95 (2008)
93		Karin Koogan Breitman, Mike Hinchey: ICT Research Experience. IEEE Computer 41(6): 58 (2008)
92		Michael G. Hinchey: Introduction to special issue: selected papers from SEW-31. ISSE 4(1): 1 (2008)
	2007
91		Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings Springer 2007
90		Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi: Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. AINA 2007: 250-257
89		Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado, Michael G. Hinchey: Using Analogy to Promote Conceptual Modeling Reuse. ISoLA 2007: 111-122
88		Michael G. Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan: Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. SAC 2007: 90-96
87		Michael G. Hinchey: Michael G. Hinchey: Biological Inspiration. SASO 2007
86		Shawn A. Bohner, Michael G. Hinchey, Boby George: Agent-Based Software Systems Evolution via Model-Driven Architecture. Software Engineering Research and Practice 2007: 546-552
85		Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)
84		Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés: Building and implementing policies in autonomous and autonomic systems using MaCMAS. ISSE 3(1): 17-31 (2007)
83		Abílio Fernandes, Angelo E. M. Ciarlini, Antonio L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman: Adding flexibility to workflows through incremental planning. ISSE 3(4): 291-302 (2007)
82		Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash: Designing and managing evolving systems using a MAS product line approach. Sci. Comput. Program. 66(1): 71-86 (2007)
	2006
81		Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski: Innovative Concepts for Autonomic and Agent-Based Systems, Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers Springer 2006
80		Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad: Building the Core Architecture of a NASA Multiagent System Product Line. AOSE 2006: 208-224
79		Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Completing and Adapting Models of Biological Processes. BICC 2006: 43-54
78		Michael G. Hinchey, Roy Sterritt: 99% (Biological) Inspiration .... BICC 2006: 7-20
77		Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés, Manuel Resinas: A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems. DASC 2006: 19-30
76		Yuan-Shun Dai, Michael G. Hinchey, Mingrui Qi, Xukai Zou: Autonomic Security and Self-Protection based on Feature-Recognition with Virtual Neurons. DASC 2006: 227-234
75		Yuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou: A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System. DASC 2006: 3-10
74		Roy Sterritt, Michael G. Hinchey: Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168
73		Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
72		Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash: Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. Software Engineering Research and Practice 2006: 995-1001
71		Roy Sterritt, Michael G. Hinchey: Editorial: Engineering autonomic systems. Artif. Intell. Rev. 25(4): 281-284 (2006)
70		James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson: A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev. 25(4): 285-297 (2006)
69		Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés: Multi-agent system product lines: challenges and benefits. Commun. ACM 49(12): 82-84 (2006)
68		Michael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin: Achieving dependability in sensor networks through automated requirements-based programming. Computer Communications 29(2): 246-256 (2006)
67		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer 39(1): 40-48 (2006)
66		Doris L. Carver, Ronald G. Hoelzeman, James H. Aylor, Michael G. Hinchey: Special Issue Introduction: The IEEE Computer Society's 60th Anniversary. IEEE Computer 39(10): 22-25 (2006)
65		Michael G. Hinchey, Roy Sterritt: Self-Managing Software. IEEE Computer 39(2): 107-109 (2006)
64		Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash: Experiences applying formal approaches in the development of swarm-based space exploration systems. STTT 8(6): 587-603 (2006)
63		Roy Sterritt, Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski: Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. 61(1): 48-57 (2006)
	2005
62		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers Springer 2005
61		Roy Sterritt, Michael G. Hinchey: Autonomicity An Antidote for Complexity? CSB Workshops 2005: 283-291
60		James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313
59		Denis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner: A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture. ECBS 2005: 255-262
58		Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
57		Roy Sterritt, Michael G. Hinchey: Why Computer-Based Systems Should Be Autonomic. ECBS 2005: 406-412
56		James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John Erickson: Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS 2005: 490-497
55		Roy Sterritt, Michael G. Hinchey: Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. ECBS 2005: 506-511
54		Roy Sterritt, Michael G. Hinchey: Autonomic Computing - Panacea or Poppycock? ECBS 2005: 535-539
53		Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin: Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops 2005: 1245-1254
52		Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388
51		James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
50		Kevin P. Adams, Denis Gracanin, Michael G. Hinchey: Increasing Resiliency through Priority Scheduling of Asynchronous Data Replication. ICPADS (1) 2005: 356-362
49		Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397
48		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Roy Sterritt: Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) 2005: 463-467
47		Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477
46		Walt Truszkowski, Michael G. Hinchey, Roy Sterritt: Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity. ICPADS (2) 2005: 478-482
45		Michael G. Hinchey, James L. Rash, Christopher Rouff: Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) 2005: 570-574
44		Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC 2005: 445-451
43		Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski: Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW 2005: 253-264
42		Roy Sterritt, Michael G. Hinchey: SPAACE: : Self-Properties for an Autonomous & Autonomic Computing Environment. Software Engineering Research and Practice 2005: 3-8
41		Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44
40		Roy Sterritt, Christopher Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey: Self*- Properties in NASA Mission. Software Engineering Research and Practice 2005: 66-72
39		Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412
38		Roy Sterritt, Michael G. Hinchey: Radical Concepts for Self-managing Ubiquitous and Pervasive Computing Environments. WRAC 2005: 370-378
37		Shawn A. Bohner, Mike Hinchey: Introduction to Innovations in System and Software Engineering. ISSE 1(1): 1-2 (2005)
	2004
36		Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176
35		Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
34		Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
33		Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS 2004: 490-499
32		Denis Gracanin, Shawn A. Bohner, Michael G. Hinchey: Towards a Model-Driven Architecture for Autonomic Systems. ECBS 2004: 500-505
31		Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey: Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261
30		Roy Sterritt, Michael G. Hinchey: Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270
29		Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey: Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71
28		Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238
27		Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) 2004: 100-102
26		Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM 2004: 24-33
	2003
25		Walt Truszkowski, Christopher Rouff, Michael G. Hinchey: Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers Springer 2003
24		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears: Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers Springer 2003
23		Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51
	2002
22		Peter J. Robinson, Michael G. Hinchey, Keith L. Clark: Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities. FAABS 2002: 162-172
21		Michael G. Hinchey: Confessions of a Formal Methodist. SCS 2002: 17-20
	2001
20		James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers Springer 2001
	2000
19		Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski: Panel Discussion: Future Directions. FAABS 2000: 354-368
18		William G. Howerton, Michael G. Hinchey: Using the Right Tool for the Job. ICECCS 2000: 105-
17		Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-
	1998
16		Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings Springer 1998
15		Alberto Broggi, Michael G. Hinchey, Alexander D. Stoyen: Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track. HICSS (3) 1998: 148-149
	1997
14		Jonathan P. Bowen, Michael G. Hinchey, David Till: ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings Springer 1997
13		Jonathan P. Bowen, Michael G. Hinchey: The use of industrial-strength formal methods. COMPSAC 1997: 332-337
12		Jonathan P. Bowen, Michael G. Hinchey: Formal Models and the Specification Process. The Computer Science and Engineering Handbook 1997: 2302-2322
	1996
11		Jonathan 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)
10		Hossein Saiedian, Michael G. Hinchey: Challenges in the successful transfer of formal methods technology into industrial applications. Information & Software Technology 38(5): 313-322 (1996)
	1995
9		Jonathan P. Bowen, Michael G. Hinchey: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings Springer 1995
8		Neville Dean, Michael G. Hinchey: Introducing formal methods through role-playing. SIGCSE 1995: 302-306
7		Jonathan P. Bowen, Michael G. Hinchey: Ten Commandments of Formal Methods. IEEE Computer 28(4): 56-63 (1995)
6		Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. IEEE Software 12(4): 34-41 (1995)
	1994
5		Jonathan P. Bowen, Michael G. Hinchey: Seven More Myths of Formal Methods. FME 1994: 105-117
4		Liam Relihan, Tony Cahill, Michael G. Hinchey: Untangling the World-Wide Web. SIGDOC 1994: 17-24
	1993
3		Michael G. Hinchey: Structured and Formal Methods: An Investigative Framework. ICSE Workshop on Studies of Software Design 1993: 151-163
2		Tony Cahill, Michael G. Hinchey, Liam Relihan: Documents are programs. SIGDOC 1993: 43-55
	1992
1		Michael G. Hinchey, Tony Cahill: Towards a canonical specification of document structures. SIGDOC 1992: 297-307

Coauthor Index

1	Kevin P. Adams	[50]
2	James H. Aylor	[66]
3	Simone Diniz Junqueira Barbosa	[89]
4	Shawn A. Bohner	[29] [31] [32] [37] [59] [86] [113]
5	Jonathan P. Bowen	[5] [6] [7] [9] [11] [12] [13] [14] [16] [67] [96]
6	Karin Koogan Breitman (Karin Breitman)	[83] [89] [93] [101]
7	Alberto Broggi	[15]
8	Michael Butler	[91]
9	Ricky W. Butler	[11]
10	Tony Cahill	[1] [2] [4]
11	Doris L. Carver	[66]
12	Marco A. Casanova	[83] [89]
13	Angelo E. M. Ciarlini	[83]
14	Keith L. Clark	[22]
15	Byron Cook	[96]
16	Antonio Ruiz Cortés	[69] [77] [80] [84]
17	Patrick Cousot	[96]
18	Paul A. Curto	[95]
19	Yuan-Shun Dai	[75] [76] [88] [90]
20	Wes Deadrick	[73]
21	Neville Dean	[8]
22	David L. Dill	[11]
23	Sherif El-Kassas	[113]
24	Mohamed Eltoweissy	[59]
25	John Erickson	[56] [70]
26	Martin S. Feather	[73]
27	Abílio Fernandes	[83]
28	Andreas Fett	[16]
29	Antonio L. Furtado	[83] [89]
30	Boby George	[29] [86]
31	Robert L. Glass	[11]
32	Denis Gracanin	[29] [31] [32] [50] [51] [53] [56] [59] [60] [68] [70]
33	David Gries	[11]
34	Anthony Hall	[11]
35	Svein Hallsteinsen	[94] [98]
36	Scott Hamilton	[95]
37	Riham Hassan	[113]
38	Constance L. Heitmeyer (Connie Heitmeyer)	[19]
39	James A. Hendler (Jim Hendler)	[19]
40	Ronald G. Hoelzeman	[66]
41	C. Michael Holloway	[11]
42	William G. Howerton	[18]
43	Daniel Jackson	[11]
44	Michael Jackson	[96]
45	Cliff B. Jones	[11]
46	Karama Kanoun	[103]
47	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[91]
48	Dong-hyun Lee	[108]
49	Keun Lee	[108]
50	Mikael Lindvall	[103]
51	Michael Luck	[19]
52	Michael J. Lutz	[11]
53	Michael R. Lyu	[103]
54	Manish Madhusoodan	[75] [88]
55	Tiziana Margaria (Tiziana Margaria-Steffen)	[79] [96] [103] [106]
56	Lawrence Markosian	[73]
57	Pablo Trinidad Martín-Arroyo (Pablo Trinidad)	[80]
58	Claire McInerney	[109]
59	Eamonn McQuade	[109]
60	Veena B. Mendiratta	[103]
61	Joey Paquet	[100]
62	Sooyong Park	[94] [98] [108]
63	David Lorge Parnas	[11]
64	Charles Pecheur	[19]
65	Joaquín Peña	[69] [72] [77] [80] [82] [84]
66	Paul Pettersson	[103]
67	Thomas Pressburger	[73]
68	Mingrui Qi	[76] [90]
69	Aaron J. Quigley	[111] [112]
70	Harald Raffelt	[79]
71	Patricia Rago	[81]
72	James L. Rash	[17] [20] [23] [24] [26] [27] [28] [33] [34] [35] [36] [39] [40] [41] [43] [44] [45] [47] [48] [49] [51] [52] [53] [56] [58] [60] [62] [63] [64] [68] [70] [72] [75] [79] [81] [82] [88] [90]
73	Liam Relihan	[2] [4]
74	Manuel Resinas	[72] [77] [82]
75	Peter J. Robinson	[22]
76	Christopher A. Rouff (Christopher Rouff)	[17] [20] [23] [24] [25] [26] [27] [28] [33] [34] [35] [36] [39] [40] [41] [43] [44] [45] [47] [48] [49] [51] [52] [53] [56] [58] [62] [63] [64] [68] [70] [79] [81] [85] [90]
77	John M. Rushby	[11]
78	Hossein Saiedian	[10]
79	Klaus Schmid	[94] [98]
80	Norman F. Schneidewind	[103] [104] [110]
81	H. Lally Singh	[31] [59]
82	Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon)	[19] [20] [24]
83	Bernhard Steffen	[79] [106]
84	Roy Sterritt	[30] [38] [40] [41] [42] [46] [47] [48] [52] [53] [54] [55] [57] [61] [63] [65] [71] [72] [74] [77] [78] [81] [82] [84] [85] [107]
85	Alexander D. Stoyen (Alexander D. Stoyenko)	[15]
86	David Till	[14]
87	Walter Truszkowski (Walt Truszkowski)	[19] [20] [23] [24] [25] [26] [27] [28] [33] [34] [35] [36] [40] [41] [43] [46] [47] [48] [49] [52] [53] [62] [63] [64] [81] [88]
88	Amy Vanderbilt	[26] [27] [28] [35] [36]
89	Emil Vassev	[99] [100] [105] [111] [112]
90	Jeannette M. Wing	[11]
91	W. Eric Wong	[103]
92	Pamela Zave	[11]
93	Xukai Zou	[75] [76]

Colors in the list of coauthors