Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/faabs/faabs2004.bht:"
download as .bib file
@proceedings{DBLP:conf/faabs/2004,
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105317},
doi = {10.1007/B105317},
isbn = {3-540-24422-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Bergman04,
author = {Margo Bergman},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Petri Nets as Modeling Tool for Emergent Agents},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {271--274},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_19},
doi = {10.1007/978-3-540-30960-4\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Bergman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BohnerGGH04,
author = {Shawn A. Bohner and
Boby George and
Denis Gracanin and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formalism Challenges of the Cougaar Model Driven Architecture},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {57--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_5},
doi = {10.1007/978-3-540-30960-4\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BohnerGGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BreitmanFHS04,
author = {Karin Koogan Breitman and
Alu{\'{\i}}zio Haendchen Filho and
Edward Hermann Haeusler and
Arndt von Staa},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Using Ontologies to Formalize Services Specifications in Multi-agent
Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {92--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_7},
doi = {10.1007/978-3-540-30960-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BreitmanFHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/CampagneCCN04,
author = {Jean{-}Charles Campagne and
Alain Cardon and
Etienne Collomb and
Toyoaki Nishida},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Massive Multi-agent systems control},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {275--280},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_20},
doi = {10.1007/978-3-540-30960-4\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/CampagneCCN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/DignumBDM04,
author = {Frank Dignum and
Jan M. Broersen and
Virginia Dignum and
John{-}Jules Ch. Meyer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Meeting the Deadline: Why, When and How},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {30--40},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_3},
doi = {10.1007/978-3-540-30960-4\_3},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/DignumBDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/FilhoCHS04,
author = {Alu{\'{\i}}zio Haendchen Filho and
Nuno Caminada and
Edward Hermann Haeusler and
Arndt von Staa},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Facilitating the Specification Capture and Transformation Process
in the Development of Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {72--91},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_6},
doi = {10.1007/978-3-540-30960-4\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/FilhoCHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/GracaninSBH04,
author = {Denis Gracanin and
H. Lally Singh and
Shawn A. Bohner and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Model-Driven Architecture for Agent-Based Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {249--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_17},
doi = {10.1007/978-3-540-30960-4\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/GracaninSBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/GrossiD04,
author = {Davide Grossi and
Frank Dignum},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {From Abstract to Concrete Norms in Agent Institutions},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {12--29},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_2},
doi = {10.1007/978-3-540-30960-4\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/GrossiD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KacprzakLLPS04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
T. Lasica and
Wojciech Penczek and
Maciej Szreter},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Verifying Multi-agent Systems via Unbounded Model Checking},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {189--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_13},
doi = {10.1007/978-3-540-30960-4\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KacprzakLLPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KerrSST04,
author = {Wesley Kerr and
Diana F. Spears and
William M. Spears and
David R. Thayer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {111--130},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_8},
doi = {10.1007/978-3-540-30960-4\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KerrSST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KlaudelW04,
author = {Guillaume Hutzler and
Hanna Klaudel and
Dong Yue Wang},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Towards Timed Automata and Multi-agent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {161--172},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_11},
doi = {10.1007/978-3-540-30960-4\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KlaudelW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/PeysakhovCR04,
author = {Maxim Peysakhov and
Vincent A. Cicirello and
William C. Regli},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Ecology Based Decentralized Agent Management System},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {1--11},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_1},
doi = {10.1007/978-3-540-30960-4\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/PeysakhovCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Towards Symbolic Model Checking for Multi-agent Systems via OBDD's},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {213--221},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_14},
doi = {10.1007/978-3-540-30960-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RamirezA04,
author = {Jaime Ram{\'{\i}}rez and
Ang{\'{e}}lica de Antonio},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Formal Consistency Verification of Deliberative Agents with Respect
to Communication Protocols},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {222--237},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_15},
doi = {10.1007/978-3-540-30960-4\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RamirezA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RudnianskiB04,
author = {Michel Rudnianski and
Helene Bestougeff},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Multi-agent Systems Reliability, Fuzziness, and Deterrence},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {41--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_4},
doi = {10.1007/978-3-540-30960-4\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RudnianskiB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Sarmadi04,
author = {Hengameh Sarmadi},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Fuzzy Hybrid Deliberative/Reactive Paradigm {(FHDRP)}},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {281--286},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_21},
doi = {10.1007/978-3-540-30960-4\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Sarmadi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SmidOFT04,
author = {Jan Smid and
Marek Obitko and
David Fisher and
Walt Truszkowski},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Interaction and Communication of Agents in Networks and Language Complexity
Estimates},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {287--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_22},
doi = {10.1007/978-3-540-30960-4\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SmidOFT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SpearsSH04,
author = {William M. Spears and
Diana F. Spears and
Rodney Heil},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {A Formal Analysis of Potential Energy in a Multi-agent System},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {131--145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_9},
doi = {10.1007/978-3-540-30960-4\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SpearsSH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/SterrittH04,
author = {Roy Sterritt and
Michael G. Hinchey},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Apoptosis and Self-Destruct: {A} Contribution to Autonomic Agents?},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {262--270},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_18},
doi = {10.1007/978-3-540-30960-4\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/SterrittH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/YerramallaLFCG04,
author = {Sampath Yerramalla and
Yan Liu and
Edgar Fuller and
Bojan Cukic and
Srikanth Gururajan},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {An Approach to V{\&}V of Embedded Adaptive Systems},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {173--188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_12},
doi = {10.1007/978-3-540-30960-4\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/YerramallaLFCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/ZarzhitskySTS04,
author = {Dimitri V. Zarzhitsky and
Diana F. Spears and
David R. Thayer and
William M. Spears},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Agent-Based Chemical Plume Tracing Using Fluid Dynamics},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {146--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_10},
doi = {10.1007/978-3-540-30960-4\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/ZarzhitskySTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/ZouFC04,
author = {Youyong Zou and
Timothy W. Finin and
Harry Chen},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {{F-OWL:} An Inference Engine for Semantic Web},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {238--248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_16},
doi = {10.1007/978-3-540-30960-4\_16},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/ZouFC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-25 01:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
