Jeffrey Van Baalen

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

Coauthor Index

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

Colors in the list of coauthors