BibTeX records: Jeffrey Van Baalen

download as .bib file

@article{DBLP:journals/cea/RodriguesSCBSSC16,
  author       = {Bruno Urbano Rodrigues and
                  Anderson da Silva Soares and
                  Ronaldo Martins da Costa and
                  Jeffrey Van Baalen and
                  Rog{\'{e}}rio Lopes Salvini and
                  F. A. Silva and
                  M{\'{a}}rcio Caliari and
                  Karla Cristina Rodrigues Cardoso and
                  T{\^{a}}nia Isabel Monteiro Ribeiro and
                  Alexandre C. B. Delbem and
                  Fernando Marques Federson and
                  Clarimar Jos{\'{e}} Coelho and
                  Gustavo Teodoro Laureano and
                  Telma Woerle de Lima},
  title        = {A feasibility cachaca type recognition using computer vision and pattern
                  recognition},
  journal      = {Comput. Electron. Agric.},
  volume       = {123},
  pages        = {410--414},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.compag.2016.03.020},
  doi          = {10.1016/J.COMPAG.2016.03.020},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cea/RodriguesSCBSSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/swevo/LimaDSFJB16,
  author       = {Telma Woerle de Lima and
                  Alexandre Cl{\'{a}}udio Botazzo Delbem and
                  Anderson da Silva Soares and
                  Fernando Marques Federson and
                  Jo{\~{a}}o Bosco Augusto London Junior and
                  Jeffrey Van Baalen},
  title        = {Node-depth phylogenetic-based encoding, a spanning-tree representation
                  for evolutionary algorithms. part {I:} Proposal and properties analysis},
  journal      = {Swarm Evol. Comput.},
  volume       = {31},
  pages        = {1--10},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.swevo.2016.05.001},
  doi          = {10.1016/J.SWEVO.2016.05.001},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/swevo/LimaDSFJB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/RoachB05,
  author       = {Steve Roach and
                  Jeffrey Van Baalen},
  title        = {Automated Procedure Construction for Deductive Synthesis},
  journal      = {Autom. Softw. Eng.},
  volume       = {12},
  number       = {4},
  pages        = {393--414},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10515-005-2646-6},
  doi          = {10.1007/S10515-005-2646-6},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/RoachB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/faabs/BaalenB02,
  author       = {Jeffrey Van Baalen and
                  Thomas B{\"{o}}hne},
  editor       = {Michael G. Hinchey and
                  James L. Rash and
                  Walt Truszkowski and
                  Christopher A. Rouff and
                  Diana F. Gordon{-}Spears},
  title        = {Automated Protocol Analysis in Maude},
  booktitle    = {Formal Approaches to Agent-Based Systems, Second International Workshop,
                  {FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2699},
  pages        = {68--78},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-45133-4\_6},
  doi          = {10.1007/978-3-540-45133-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/faabs/BaalenB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/RoachB02,
  author       = {Steve Roach and
                  Jeffrey Van Baalen},
  title        = {Experience Report on Automated Procedure Construction for Deductive
                  Synthesis},
  booktitle    = {17th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
  pages        = {69},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASE.2002.1114996},
  doi          = {10.1109/ASE.2002.1114996},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RoachB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/WhittleBSRPPOLB01,
  author       = {Jon Whittle and
                  Jeffrey Van Baalen and
                  Johann Schumann and
                  Peter Robinson and
                  Thomas Pressburger and
                  John Penix and
                  Phil Oh and
                  Michael R. Lowry and
                  Guillaume P. Brat},
  title        = {Amphion/NAV: Deductive Synthesis of State Estimation Software},
  booktitle    = {16th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
                  {USA}},
  pages        = {395--399},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ASE.2001.989837},
  doi          = {10.1109/ASE.2001.989837},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/WhittleBSRPPOLB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/faabs/BaalenCM00,
  author       = {Jeffrey Van Baalen and
                  James L. Caldwell and
                  Shivakant Mishra},
  editor       = {James L. Rash and
                  Christopher A. Rouff and
                  Walt Truszkowski and
                  Diana F. Gordon and
                  Michael G. Hinchey},
  title        = {Specifying and Checking Fault-Tolerant Agent-Based Protocols Using
                  Maude},
  booktitle    = {Formal Approaches to Agent-Based Systems, First International Workshop,
                  {FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1871},
  pages        = {180--193},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45484-5\_15},
  doi          = {10.1007/3-540-45484-5\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/faabs/BaalenCM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/BaalenRLP98,
  author       = {Jeffrey Van Baalen and
                  Peter Robinson and
                  Michael R. Lowry and
                  Thomas Pressburger},
  title        = {Explaining Synthesized Software},
  booktitle    = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
                  {ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
  pages        = {240--248},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ASE.1998.732661},
  doi          = {10.1109/ASE.1998.732661},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BaalenRLP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/BaalenR98,
  author       = {Jeffrey Van Baalen and
                  Steve Roach},
  editor       = {Pierre Flener},
  title        = {Using Decision Procedures to Accelerate Domain-Specific Deductive
                  Synthesis Systems},
  booktitle    = {Logic Programming Synthesis and Transformation, 8th International
                  Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1559},
  pages        = {61--70},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48958-4\_4},
  doi          = {10.1007/3-540-48958-4\_4},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/BaalenR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ase/LowryB97,
  author       = {Michael R. Lowry and
                  Jeffrey Van Baalen},
  title        = {{META-AMPHION:} Synthesis of Efficient Domain-Specific Program Synthesis
                  Systems},
  journal      = {Autom. Softw. Eng.},
  volume       = {4},
  number       = {2},
  pages        = {199--241},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1008637201658},
  doi          = {10.1023/A:1008637201658},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/LowryB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/LowryB95,
  author       = {Michael R. Lowry and
                  Jeffrey Van Baalen},
  title        = {{META-AMPHION:} Synthesis of Efficient Domain-Specific Program Synthesis
                  Systems},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {2--10},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490113},
  doi          = {10.1109/KBSE.1995.490113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LowryB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kr/BaalenF94,
  author       = {Jeffrey Van Baalen and
                  Richard Fikes},
  editor       = {Jon Doyle and
                  Erik Sandewall and
                  Pietro Torasso},
  title        = {The Role of Reversible Grammars in Translating Between Representation
                  Languages},
  booktitle    = {Proceedings of the 4th International Conference on Principles of Knowledge
                  Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
  pages        = {562--571},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  timestamp    = {Fri, 18 May 2012 15:02:59 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BaalenF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Baalen92,
  author       = {Jeffrey Van Baalen},
  title        = {Automated Design of Specialized Representations},
  journal      = {Artif. Intell.},
  volume       = {54},
  number       = {1},
  pages        = {121--198},
  year         = {1992},
  url          = {https://doi.org/10.1016/0004-3702(92)90089-G},
  doi          = {10.1016/0004-3702(92)90089-G},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Baalen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigart/NadoBF91,
  author       = {Robert Nado and
                  Jeffrey Van Baalen and
                  Richard Fikes},
  title        = {{JOSIE:} An Integration of Specialized Representation and Reasoning
                  Tools},
  journal      = {{SIGART} Bull.},
  volume       = {2},
  number       = {3},
  pages        = {101--107},
  year         = {1991},
  url          = {https://doi.org/10.1145/122296.122312},
  doi          = {10.1145/122296.122312},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigart/NadoBF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kr/Baalen91,
  author       = {Jeffrey Van Baalen},
  editor       = {James F. Allen and
                  Richard Fikes and
                  Erik Sandewall},
  title        = {The Completeness of DRAT, {A} Technique for Automatic Design of Satisfiability
                  Procedures},
  booktitle    = {Proceedings of the 2nd International Conference on Principles of Knowledge
                  Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
                  1991},
  pages        = {514--525},
  publisher    = {Morgan Kaufmann},
  year         = {1991},
  timestamp    = {Fri, 18 May 2012 15:02:59 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/Baalen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/BaalenN90,
  author       = {Jeffrey Van Baalen and
                  Robert Nado},
  title        = {Performing deduction from implicit beliefs},
  booktitle    = {Proceedings of the 2nd International {IEEE} Conference on Tools for
                  Artificial Intelligence, {TAI} 1990, Herndon, VA, USA, November 6-9,
                  1990},
  pages        = {848--855},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/TAI.1990.130448},
  doi          = {10.1109/TAI.1990.130448},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BaalenN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ndltd/Baalen88,
  author       = {Jeffrey Van Baalen},
  title        = {Steps towards a theory of representation design},
  school       = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
  year         = {1988},
  url          = {https://hdl.handle.net/1721.1/39952},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ndltd/Baalen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BaalenD88,
  author       = {Jeffrey Van Baalen and
                  Randall Davis},
  editor       = {Howard E. Shrobe and
                  Tom M. Mitchell and
                  Reid G. Smith},
  title        = {Overview of an Approach to Representation Design},
  booktitle    = {Proceedings of the 7th National Conference on Artificial Intelligence,
                  St. Paul, MN, USA, August 21-26, 1988},
  pages        = {392--397},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1988},
  url          = {http://www.aaai.org/Library/AAAI/1988/aaai88-069.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BaalenD88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.