BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pressburger:Thomas

Contributed to:

ASE 20012001
SAIG 20002000
KDD 19991999
ASE 19981998
CADE 19941994
KBSE 19941994

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.