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

Jeffrey Van Baalen Vis

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

*2005
14EESteve Roach, Jeffrey Van Baalen: Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12(4): 393-414 (2005)
2002
13EESteve Roach, Jeffrey Van Baalen: Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE 2002: 69-
12EEJeffrey Van Baalen, Thomas Böhne: Automated Protocol Analysis in Maude. FAABS 2002: 68-78
2001
11EEJon 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
10EEJeffrey Van Baalen, James L. Caldwell, Shivakant Mishra: Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. FAABS 2000: 180-193
1998
9EEJeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger: Explaining Synthesized Software. ASE 1998: 240-248
8EEJeffrey 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

Coauthor Index

1Thomas Böhne [12]
2Guillaume P. Brat [11]
3James L. Caldwell [10]
4Randall Davis [1]
5Richard Fikes [2] [5]
6Michael R. Lowry [6] [7] [9] [11]
7Shivakant Mishra [10]
8Robert Nado [2]
9Phil Oh [11]
10John Penix [11]
11Thomas Pressburger [9] [11]
12Steve Roach [8] [13] [14]
13Peter Robinson [9] [11]
14Johann Schumann [11]
15Jon Whittle (Jonathan Whittle) [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)