Get started
Author

Jeffrey Van Baalen

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
1997 · Michael R. Lowry, Jeffrey Van Baalen · Automated Software Engineering · 35
Amphion/NAV: deductive synthesis of state estimation software
2005 · J. Whittle, J. Van Baalen, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 25
Mutation‐based compact genetic algorithm for spectroscopy variable selection in determining protein concentration in wheat grain
2014 · A.S. Soares, T.W. de Lima, et al. · Electronics Letters · 20
Explaining synthesized software
2002 · J. Van Baalen, P. Robinson, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 20
Automated design of specialized representations
1992 · Jeffrey Van Baalen · Artificial Intelligence · 17
An Evolutionary Algorithm for Autonomous Robot Navigation
2016 · Lucas da Silva Assis, Anderson da Silva Soares, et al. · Procedia Computer Science · 16
PDF
A feasibility cachaca type recognition using computer vision and pattern recognition
2016 · B.U. Rodrigues, A.S. Soares, et al. · Computers and Electronics in Agriculture · 13
PDF
Node-depth phylogenetic-based encoding, a spanning-tree representation for evolutionary algorithms. part I: Proposal and properties analysis
2016 · Telma Woerle de Lima, Alexandre Cláudio Botazzo Delbem, et al. · Swarm and Evolutionary Computation · 10
The Role of Reversible Grammars in Translating Between Representation Languages
1994 · Jeffrey Van Baalen, Richard E. Fikes · Principles of Knowledge Representation and Reasoning · 9
META-AMPHION: synthesis of efficient domain-specific program synthesis systems
2002 · M.R. Lowry, J. van Baalen · Knowledge-Based Software Engineering Conference (KBSE) · 8
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude
2001 · Jeffrey Van Baalen, James L. Caldwell, et al. · Lecture notes in computer science · 8
Automated Procedure Construction for Deductive Synthesis
2005 · Steve Roach, Jeffrey Van Baalen · Automated Software Engineering · 6
Meta-Amphion: Scaling up High-Assurance Deductive Program Synthesis
1997 · Steve Roach, Recom Technologies, et al. · 6
The completeness of DRAT, a technique for automatic design of satisfiability procedures
1991 · Jeffrey Van Baalen · Principles of Knowledge Representation and Reasoning · 6
Toward a Theory of Representation Design
1989 · Jeffrey Van Baalen · Defense Technical Information Center (DTIC) · 6
Overview of an approach to representation design
1988 · Jeffrey Van Baalen, Randall Davis · National Conference on Artificial Intelligence · 5
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
1999 · Jeffrey Van Baalen, Steven Roach · Lecture notes in computer science · 4
Will domain-specific code synthesis become a silver bullet?
1998 · W. Buntine, P. Norvig, et al. · IEEE Intelligent Systems and their Applications · 4
JOSIE
1991 · Robert Nado, Jeffrey Van Baalen, et al. · ACM SIGART Bulletin · 4
PDF
Automating component integration for web-based data analysis
2002 · J. Penix, B. Fischer, et al. · IEEE Aerospace Conference (AERO) · 2
Automated Protocol Analysis in Maude
2003 · Jeffrey Van Baalen, Thomas Böhne · Lecture notes in computer science · 1
Performing deduction from implicit beliefs
2002 · J. Van Baalen, R. Nado · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 1
Translation from More to Less Expressive Representation Languages.
1996 · Jeffrey Van Baalen · Defense Technical Information Center (DTIC)
Enhancements to the Knowledge Translation Laboratory.
1994 · Jeffrey Van Baalen · Defense Technical Information Center (DTIC)
Steps towards a theory of representation design
1988 · Jeffrey Van Baalen · DSpace@MIT (Massachusetts Institute of Technology)
PDF
Works count: 26
Citation count: 226
H-index: 9
I10-index: 8
Year
Topic
Type