Jeffrey Van Baalen

According to our database, Jeffrey Van Baalen authored at least 17 papers between 1988 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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, 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

Comput. Electron. Agric., 2016

2005

Automated Procedure Construction for Deductive Synthesis.

Steve Roach, Jeffrey Van Baalen

Autom. Softw. Eng., 2005

2002

Experience Report on Automated Procedure Construction for Deductive Synthesis.

Steve Roach, Jeffrey Van Baalen

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Automated Protocol Analysis in Maude.

Jeffrey Van Baalen, Thomas Böhne

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2001

Amphion/NAV: Deductive Synthesis of State Estimation Software.

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude.

Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1998

Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.

Jeffrey Van Baalen, Steve Roach

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Explaining Synthesized Software.

Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems.

Michael R. Lowry, Jeffrey Van Baalen

Autom. Softw. Eng., 1997

1994

The Role of Reversible Grammars in Translating Between Representation Languages.

Jeffrey Van Baalen, Richard Fikes

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1992

Automated Design of Specialized Representations.

Jeffrey Van Baalen

Artif. Intell., 1992

1991

JOSIE: An Integration of Specialized Representation and Reasoning Tools.

Robert Nado, Jeffrey Van Baalen, Richard Fikes

SIGART Bull., 1991

The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.

Jeffrey Van Baalen

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1990

Performing deduction from implicit beliefs.

Jeffrey Van Baalen, Robert Nado

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1988

Steps towards a theory of representation design.

Jeffrey Van Baalen

PhD thesis, 1988

Overview of an Approach to Representation Design.

Jeffrey Van Baalen, Randall Davis

Proceedings of the 7th National Conference on Artificial Intelligence, 1988