Jeffrey Van Baalen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2016

Node-depth phylogenetic-based encoding, a spanning-tree representation for evolutionary algorithms. part I: Proposal and properties analysisTelma Woerle de Lima, Alexandre Cláudio Botazzo Delbem, Anderson da Silva Soares, Fernando Marques Federson, João Bosco Augusto London Junior, Jeffrey Van Baalen. swevo, 31:1-10, 2016. [doi]

2005

Automated Procedure Construction for Deductive SynthesisSteve Roach, Jeffrey Van Baalen. ASE, 12(4):393-414, 2005. [doi]

2002

Automated Protocol Analysis in MaudeJeffrey Van Baalen, Thomas Böhne. faabs 2003: 68-78 [doi]

Experience Report on Automated Procedure Construction for Deductive SynthesisSteve Roach, Jeffrey Van Baalen. ASE 2002: 69 [doi]

2001

Amphion/NAV: Deductive Synthesis of State Estimation SoftwareJon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat. ASE 2001: 395-399 [doi]

2000

Specifying and Checking Fault-Tolerant Agent-Based Protocols Using MaudeJeffrey Van Baalen, James L. Caldwell, Shivakant Mishra. faabs 2001: 180-193 [doi]

1998

Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis SystemsJeffrey Van Baalen, Steve Roach. LOPSTR 1990: 61-70 [doi]

Explaining Synthesized SoftwareJeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger. ASE 1998: 240-248 [doi]

1997

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis SystemsMichael R. Lowry, Jeffrey Van Baalen. ASE, 4(2):199-241, 1997.

1995

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis SystemsMichael R. Lowry, Jeffrey Van Baalen. jckbse 1995: 2-10

1994

The Role of Reversible Grammars in Translating Between Representation LanguagesJeffrey Van Baalen, Richard Fikes. kr 1994: 562-571

1992

Automated Design of Specialized RepresentationsJeffrey Van Baalen. ai, 54(1):121-198, 1992.

1991

The Completeness of DRAT, A Technique for Automatic Design of Satisfiability ProceduresJeffrey Van Baalen. kr 1991: 514-525

JOSIE: An Integration of Specialized Representation and Reasoning ToolsRobert Nado, Jeffrey Van Baalen, Richard Fikes. sigart, 2(3):101-107, 1991.

1990

Performing deduction from implicit beliefsJeffrey Van Baalen, Robert Nado. ictai 1990: 848-855 [doi]

1988

Overview of an Approach to Representation DesignJeffrey Van Baalen, Randall Davis. AAAI 1988: 392-397

Steps towards a theory of representation designJeffrey Van Baalen. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1988. [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：