Thomas Pressburger

	2006
11		Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
	2001
10		Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat: Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE 2001: 395-399
9		Michael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
	2000
8		Bernd Fischer, Johann Schumann, Thomas Pressburger: Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
7		Klaus Havelund, Thomas Pressburger: Model Checking JAVA Programs using JAVA PathFinder. STTT 2(4): 366-381 (2000)
	1999
6		Wray L. Buntine, Bernd Fischer, Thomas Pressburger: Towards Automated Synthesis of Data Mining Programs. KDD 1999: 372-376
	1998
5		Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248
	1994
4		Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood: Deductive Composition of Astronomical Software from Subroutine Libraries. CADE 1994: 341-355
3		Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Scientific Subroutine Libraries. ISMIS 1994: 326-335
2		Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Subroutine Libraries. KBSE 1994: 2
1		Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: A Formal Approach to Domain-Oriented Software Design Environments. KBSE 1994: 48-57

Coauthor Index

1	Jeffrey Van Baalen	[5] [10]
2	Guillaume P. Brat	[10]
3	Wray L. Buntine	[6]
4	Wes Deadrick	[11]
5	Martin S. Feather	[11]
6	Bernd Fischer	[6] [8]
7	Klaus Havelund	[7]
8	Michael G. Hinchey (Mike Hinchey)	[11]
9	Michael R. Lowry	[1] [2] [3] [4] [5] [9] [10]
10	Lawrence Markosian	[11]
11	Phil Oh	[10]
12	John Penix	[10]
13	Andrew Philpot	[1] [2] [3]
14	Peter Robinson	[5] [10]
15	Grigore Rosu	[9]
16	Johann Schumann	[8] [10]
17	Mark E. Stickel	[4]
18	Ian Underwood	[1] [2] [3] [4]
19	Richard J. Waldinger	[4]
20	Jon Whittle (Jonathan Whittle)	[10]

Colors in the list of coauthors