Elsa L. Gunter

	2009
37		Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
	2008
36		Elsa L. Gunter, Ayesha Yasmeen: Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271
35		Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger: Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)
	2007
34		Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar: The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. RTSS 2007: 400-412
	2005
33		Adriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97
32		Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)
31		Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
30		Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
	2004
29		Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence Assertions for Process Synchronization in Concurrent Communications. Electr. Notes Theor. Comput. Sci. 97: 175-195 (2004)
28		Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004)
	2003
27		Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
26		Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
	2002
25		Elsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444
24		Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
	2001
23		Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511
	2000
22		Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
21		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
20		Elsa L. Gunter, Doron Peled: Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000
19		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): (2000)
	1999
18		Elsa L. Gunter, Doron Peled: Path Exploration Tool. TACAS 1999: 405-419
	1998
17		Elsa L. Gunter: Adding External Decision Procedures to HOL90 Securely. TPHOLs 1998: 143-152
16		Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66
	1997
15		Elsa L. Gunter, Amy P. Felty: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings Springer 1997
	1995
14		Elsa L. Gunter, Leonid Libkin: Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995: 170-185
13		Elsa L. Gunter, Savi Maharaj: Studying the ML Module System in HOL. Comput. J. 38(2): 142-151 (1995)
	1994
12		Elsa L. Gunter, Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650
11		Savi Maharaj, Elsa L. Gunter: Studying the ML Module System in Hol. TPHOLs 1994: 346-361
	1993
10		Elsa L. Gunter: A Broader Class of Trees for Recursive Type Definitions for HOL. HUG 1993: 141-154
9		Myra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74
8		Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: Computing ML Equality Kinds Using Abstract Interpretation Inf. Comput. 107(2): 303-323 (1993)
	1992
7		Elsa L. Gunter: Why we can't have SML-style datatype Declarations in HOL. TPHOLs 1992: 561-568
	1991
6		Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130
5		Richard Gerber, Elsa L. Gunter, Insup Lee: Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154
	1990
4		Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning: Tutorial on Lambda-Prolog. CADE 1990: 682
	1989
3		Elsa L. Gunter: Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. ELP 1989: 223-244
2		Elsa L. Gunter: Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics 1989: 351-363
	1988
1		Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755

Coauthor Index

1	Stephen Van Albert	[28]
2	Rajeev Alur	[28]
3	David Arney	[28]
4	Karthikeyan Bhargavan	[16]
5	Philippe Bidinger	[35]
6	Eduardo Bonelli	[29] [30] [32]
7	Adriana B. Compagnoni	[29] [30] [32] [33] [35]
8	Tanya L. Crenshaw	[34]
9	Amy P. Felty	[1] [4] [15]
10	Richard Gerber	[5]
11	Carl A. Gunter	[6] [8] [16] [19] [21] [37]
12	John Hannan	[1]
13	Myra Van Inwegen	[9]
14	Michael Jackson	[16] [19] [21]
15	Panganamala Ramana Kumar (Panganamala R. Kumar, P. R. Kumar)	[34]
16	Robert P. Kurshan	[22]
17	Insup Lee	[5] [28]
18	Jaime Lee	[28]
19	Leonid Libkin	[12] [14]
20	David B. MacQueen	[6] [8]
21	Savi Maharaj	[11] [13]
22	Dale Miller	[1] [4]
23	Anca Muscholl	[23] [26]
24	Gopalan Nadathur	[1]
25	Wonhong Nam	[28]
26	Anh Nguyen	[37]
27	Davor Obradovic	[16]
28	Frederick Pearce	[28]
29	Doron Peled	[18] [20] [22] [23] [24] [25] [26] [27] [31]
30	Frank Pfenning	[4]
31	Craig L. Robinson	[34]
32	Andre Scedrov	[1]
33	Lui Sha	[34]
34	Ayesha Yasmeen	[36] [37]
35	Pamela Zave	[16] [19] [21]
36	Jiaxiang Zhou	[28]

Colors in the list of coauthors