dblp.uni-trier.dewww.uni-trier.de

Thomas Pressburger Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
11EEMichael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
2001
10EEJon 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
9EEMichael R. Lowry, Thomas Pressburger, Grigore Rosu: Certifying Domain-Specific Policies. ASE 2001: 81-90
2000
8EEBernd Fischer, Johann Schumann, Thomas Pressburger: Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
7EEKlaus Havelund, Thomas Pressburger: Model Checking JAVA Programs using JAVA PathFinder. STTT 2(4): 366-381 (2000)
1999
6EEWray L. Buntine, Bernd Fischer, Thomas Pressburger: Towards Automated Synthesis of Data Mining Programs. KDD 1999: 372-376
1998
5EEJeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248
1994
4EEMark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood: Deductive Composition of Astronomical Software from Subroutine Libraries. CADE 1994: 341-355
3EEMichael 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)