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

Thomas Pressburger

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

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
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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)