Jeffrey Van Baalen

Publication Activity (10 Years)

Years Active: 1988-2016
Publications (10 Years): 2

Top Venues

Comput. Electron. Agric.

Swarm Evol. Comput.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Bruno Urbano Rodrigues, Anderson da Silva Soares, Ronaldo Martins da Costa, Jeffrey Van Baalen, Rogério 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, Gustavo Teodoro Laureano, Telma Woerle de Lima
A feasibility cachaca type recognition using computer vision and pattern recognition. Comput. Electron. Agric. 123 (2016)
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
Node-depth phylogenetic-based encoding, a spanning-tree representation for evolutionary algorithms. part I: Proposal and properties analysis. Swarm Evol. Comput. 31 (2016)
Steve Roach, Jeffrey Van Baalen
Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12 (4) (2005)
Steve Roach, Jeffrey Van Baalen
Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE (2002)
Jeffrey Van Baalen, Thomas Böhne
Automated Protocol Analysis in Maude. FAABS (2002)
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)
Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. FAABS (2000)
Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
Explaining Synthesized Software. ASE (1998)
Jeffrey Van Baalen, Steve Roach
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR (1998)
Michael R. Lowry, Jeffrey Van Baalen
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. Autom. Softw. Eng. 4 (2) (1997)
Michael R. Lowry, Jeffrey Van Baalen
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. KBSE (1995)
Jeffrey Van Baalen, Richard Fikes
The Role of Reversible Grammars in Translating Between Representation Languages. KR (1994)
Jeffrey Van Baalen
Automated Design of Specialized Representations. Artif. Intell. 54 (1) (1992)
Jeffrey Van Baalen
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. KR (1991)
Robert Nado, Jeffrey Van Baalen, Richard Fikes
JOSIE: An Integration of Specialized Representation and Reasoning Tools. SIGART Bull. 2 (3) (1991)
Jeffrey Van Baalen, Robert Nado
Performing deduction from implicit beliefs. TAI (1990)
Jeffrey Van Baalen, Randall Davis
Overview of an Approach to Representation Design. AAAI (1988)

Jeffrey Van Baalen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeffrey Van Baalen