Travelled to:1 × Canada
1 × France
2 × USA
Collaborated with:M.R.Lowry I.Underwood B.Fischer A.Philpot J.Schumann J.V.Baalen P.Robinson G.Rosu W.L.Buntine M.E.Stickel R.J.Waldinger J.Whittle J.Penix P.Oh G.P.Brat
Talks about:softwar (4) program (3) subroutin (2) synthesi (2) librari (2) amphion (2) domain (2) deduct (2) data (2) composit (1)
Person: Thomas Pressburger
DBLP: Pressburger:Thomas
Contributed to:
2001
2000
19991998
19941994Wrote 8 papers:
- ASE-2001-LowryPR #policy
- Certifying Domain-Specific Policies (MRL, TP, GR), pp. 81–90.
- ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
- SAIG-2000-FischerSP #data analysis #generative #modelling #source code #statistics
- Generating Data Analysis Programs from Statistical Models (BF, JS, TP), pp. 212–229.
- KDD-1999-BuntineFP #automation #data mining #mining #source code #synthesis #towards
- Towards Automated Synthesis of Data Mining Programs (WLB, BF, TP), pp. 372–376.
- ASE-1998-BaalenRLP
- Explaining Synthesized Software (JVB, PR, MRL, TP), pp. 240–248.
- CADE-1994-StickelWLPU #composition #deduction #library
- Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
- KBSE-1994-LowryPPU #automation #library #named #programming
- AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
- KBSE-1994-LowryPPU94a #approach #design #formal method
- A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.