Concepedia

Tom Pressburger

TP

Statistics

Publications

6

Citations

149

H-Index

6

Active since

2002

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

Tom Pressburger is an author at Ames Research Center specializing in computing, computer science, and software engineering.

Publications per year

2002–2022

6

Publications

6

A formal approach to domain-oriented software design environments

Michael Lowry, Andrew Philpot, Tom Pressburger et al. · 2002 · 62 citations

Computing, Computer Science, Design Automation +12

Amphion/NAV: deductive synthesis of state estimation software

Jon Whittle, J. Van Baalen, J. Schümann et al. · 2005 · 25 citations

Computing, Aerospace Engineering, Computer Science +11

Explaining synthesized software

J. Van Baalen, Peter Robinson, Michael Lowry et al. · 2002 · 20 citations

Computing, Computer Engineering, Computer Science +11

Certifying domain-specific policies

Michael Lowry, Tom Pressburger, Grigore Roşu · 2005 · 19 citations

Computing, Computer Engineering, Computer Science +17

AutoBayes Program Synthesis System Users Manual

Johann Schumann, Hamed Jafari, Tom Pressburger et al. · 2008 · 13 citations

Computing, Computer Science, Algorithms +12

1–5 of 6