Overview of an Approach to Representation Design. - Jeffrey Van Baalen; Randall Davis (AAAI, 1988)

Steps towards a theory of representation design. - Jeffrey Van Baalen (1988)

Performing deduction from implicit beliefs. - Jeffrey Van Baalen; Robert Nado (TAI, 1990)

The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. - Jeffrey Van Baalen (KR, 1991)

JOSIE: An Integration of Specialized Representation and Reasoning Tools. - Robert Nado; Jeffrey Van Baalen; Richard Fikes (SIGART Bull., 1991)

Automated Design of Specialized Representations. - Jeffrey Van Baalen (Artif. Intell., 1992)

The Role of Reversible Grammars in Translating Between Representation Languages. - Jeffrey Van Baalen; Richard Fikes (KR, 1994)

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. - Michael R. Lowry; Jeffrey Van Baalen (KBSE, 1995)

Explaining Synthesized Software. - Jeffrey Van Baalen; Peter Robinson 004; Michael R. Lowry; Thomas Pressburger (ASE, 1998)

Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. - Jeffrey Van Baalen; Steve Roach (LOPSTR, 1998)

Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. - Jeffrey Van Baalen; James L. Caldwell; Shivakant Mishra (FAABS, 2000)

Amphion/NAV: Deductive Synthesis of State Estimation Software. - Jon Whittle 001; Jeffrey Van Baalen; Johann Schumann; Peter Robinson 004; Thomas Pressburger; John Penix; Phil Oh; Michael R. Lowry; Guillaume P. Brat (ASE, 2001)

Automated Protocol Analysis in Maude. - Jeffrey Van Baalen; Thomas Böhne (FAABS, 2002)

Experience Report on Automated Procedure Construction for Deductive Synthesis. - Steve Roach; Jeffrey Van Baalen (ASE, 2002)

Automated Procedure Construction for Deductive Synthesis. - Steve Roach; Jeffrey Van Baalen (Autom. Softw. Eng., 2005)

A feasibility cachaca type recognition using computer vision and pattern recognition. - Bruno Urbano Rodrigues; Anderson da Silva Soares; Ronaldo Martins da Costa; Jeffrey Van Baalen; Rogerio Lopes Salvini; F. A. Silva; Márcio Caliari; Karla Cristina Rodrigues Cardoso; Tânia Isabel Monteiro Ribeiro; Alexandre C. B. Delbem; Fernando Marques Federson; Clarimar José Coelho; et al. (Comput. Electron. Agric., 2016)

Node-depth phylogenetic-based encoding, a spanning-tree representation for evolutionary algorithms. part I: Proposal and properties analysis. - Telma Woerle de Lima; Alexandre Cláudio Botazzo Delbem; Anderson da Silva Soares; Fernando Marques Federson; João Bosco Augusto London Junior; Jeffrey Van Baalen (Swarm Evol. Comput., 2016)