The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeffrey Van Baalen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeffrey Van Baalen, Richard Fikes
    The Role of Reversible Grammars in Translating Between Representation Languages. [Citation Graph (1, 0)][DBLP]
    KR, 1994, pp:562-571 [Conf]
  2. Jeffrey Van Baalen, Randall Davis
    Overview of an Approach to Representation Design. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:392-397 [Conf]
  3. Jeffrey Van Baalen, Thomas Böhne
    Automated Protocol Analysis in Maude. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:68-78 [Conf]
  4. Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
    Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:180-193 [Conf]
  5. Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
    Explaining Synthesized Software. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:240-248 [Conf]
  6. Michael R. Lowry, Jeffrey Van Baalen
    META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:2-10 [Conf]
  7. Steve Roach, Jeffrey Van Baalen
    Experience Report on Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:69-0 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:395-399 [Conf]
  9. Jeffrey Van Baalen
    The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:514-525 [Conf]
  10. Jeffrey Van Baalen, Steve Roach
    Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:61-70 [Conf]
  11. Jeffrey Van Baalen
    Automated Design of Specialized Representations. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:54, n:1, pp:121-198 [Journal]
  12. Michael R. Lowry, Jeffrey Van Baalen
    META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1997, v:4, n:2, pp:199-241 [Journal]
  13. Steve Roach, Jeffrey Van Baalen
    Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:4, pp:393-414 [Journal]
  14. Robert Nado, Jeffrey Van Baalen, Richard Fikes
    JOSIE: An Integration of Specialized Representation and Reasoning Tools. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:101-107 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002