David E. Langworthy

	2010
7		Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy: Semantic subtyping with an SMT solver. ICFP 2010: 105-116
	2007
6		James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt: Formal specification of a Web services protocol. J. Log. Algebr. Program. 70(1): 34-52 (2007)
	2004
5		James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt: Formal Specification of a Web Services Protocol. Electr. Notes Theor. Comput. Sci. 105: 147-158 (2004)
	1996
4		David E. Langworthy, Stanley B. Zdonik: Extensibility and Asynchrony in the Brown-Object Storage System. Performance of Concurrency Control Mechanisms in Centralized Database Systems 1996: 595-627
	1994
3		David E. Langworthy, Stanley B. Zdonik: Storage Class Extensibility in the Brown Object Storage System. POS 1994: 259-283
	1989
2		David E. Langworthy: Evaluating correctness criteria for transactions. SIGPLAN Notices 24(4): 139-141 (1989)
	1988
1		Steve Ford, John Joseph, David E. Langworthy, David F. Lively, Girish Pathak, Edward R. Perez, Robert W. Peterson, Diana M. Sparacin, Satish M. Thatte, David L. Wells, Sanjive Agarwala: ZEITGEIST: Database Support for Object-Oriented Programming. OODBS 1988: 23-42

Coauthor Index

1	Sanjive Agarwala	[1]
2	Gavin M. Bierman	[7]
3	Steve Ford	[1]
4	Andrew D. Gordon (Andy Gordon)	[7]
5	Catalin Hritcu	[7]
6	James E. Johnson	[5] [6]
7	John Joseph	[1]
8	Leslie Lamport	[5] [6]
9	David F. Lively	[1]
10	Girish Pathak (Girish C. Pathak)	[1]
11	Edward R. Perez	[1]
12	Robert W. Peterson	[1]
13	Diana M. Sparacin	[1]
14	Satish M. Thatte	[1]
15	Friedrich H. Vogt	[5] [6]
16	David L. Wells	[1]
17	Stanley B. Zdonik	[3] [4]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page