David Espinosa

	2009
5		David Espinosa, Lindy Thorn, Dana Edberg, David T. Croasdell: The New IT Product/Project Lifecyle. AMCIS 2009: 737
	2007
4		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing resource bounds via static verification of dynamic checks. ACM Trans. Program. Lang. Syst. 29(5): (2007)
	2005
3		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: JVer: A Java Verifier. CAV 2005: 144-147
2		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP 2005: 311-325
	1994
1		Albert G. Greenberg, Andrew M. Odlyzko, Jennifer Rexford, David Espinosa: Fast Parallel Solution of Fixed Point Equations for the Performance Evaluation of Circuit-Switched Networks. Perform. Eval. 20(1-3): 67-81 (1994)

Coauthor Index

1	Ajay Chander	[2] [3] [4]
2	David T. Croasdell	[5]
3	Dana Edberg	[5]
4	Albert G. Greenberg	[1]
5	Nayeem Islam	[2] [3] [4]
6	Peter Lee	[2] [3] [4]
7	George C. Necula	[2] [3] [4]
8	Andrew M. Odlyzko	[1]
9	Jennifer Rexford	[1]
10	Lindy Thorn	[5]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page