| 2005 |
|---|
| 14 | EE | Steve Roach,
Jeffrey Van Baalen:
Automated Procedure Construction for Deductive Synthesis.
Autom. Softw. Eng. 12(4): 393-414 (2005) |
| 2002 |
|---|
| 13 | EE | Steve Roach,
Jeffrey Van Baalen:
Experience Report on Automated Procedure Construction for Deductive Synthesis.
ASE 2002: 69- |
| 12 | EE | Jeffrey Van Baalen,
Thomas Böhne:
Automated Protocol Analysis in Maude.
FAABS 2002: 68-78 |
| 2001 |
|---|
| 11 | EE | Jon 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 |
| 2000 |
|---|
| 10 | EE | Jeffrey Van Baalen,
James L. Caldwell,
Shivakant Mishra:
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude.
FAABS 2000: 180-193 |
| 1998 |
|---|
| 9 | EE | Jeffrey Van Baalen,
Peter Robinson,
Michael R. Lowry,
Thomas Pressburger:
Explaining Synthesized Software.
ASE 1998: 240-248 |
| 8 | EE | Jeffrey Van Baalen,
Steve Roach:
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.
LOPSTR 1998: 61-70 |
| 1997 |
|---|
| 7 | | Michael R. Lowry,
Jeffrey Van Baalen:
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems.
Autom. Softw. Eng. 4(2): 199-241 (1997) |
| 1995 |
|---|
| 6 | | Michael R. Lowry,
Jeffrey Van Baalen:
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems.
KBSE 1995: 2-10 |
| 1994 |
|---|
| 5 | | Jeffrey Van Baalen,
Richard Fikes:
The Role of Reversible Grammars in Translating Between Representation Languages.
KR 1994: 562-571 |
| 1992 |
|---|
| 4 | | Jeffrey Van Baalen:
Automated Design of Specialized Representations.
Artif. Intell. 54(1): 121-198 (1992) |
| 1991 |
|---|
| 3 | | Jeffrey Van Baalen:
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.
KR 1991: 514-525 |
| 2 | | Robert Nado,
Jeffrey Van Baalen,
Richard Fikes:
JOSIE: An Integration of Specialized Representation and Reasoning Tools.
SIGART Bulletin 2(3): 101-107 (1991) |
| 1988 |
|---|
| 1 | | Jeffrey Van Baalen,
Randall Davis:
Overview of an Approach to Representation Design.
AAAI 1988: 392-397 |
