BibTeX records: Wieke de Vries

download as .bib file

@article{DBLP:journals/ijris/VriesMBH09,
  author    = {Wieke de Vries and
               John{-}Jules Ch. Meyer and
               Frank S. de Boer and
               Wiebe van der Hoek},
  title     = {A coordination language for agents interacting in distributed plan-execute
               cycles},
  journal   = {{IJRIS}},
  volume    = {1},
  number    = {1/2},
  pages     = {4--17},
  year      = {2009},
  url       = {https://doi.org/10.1504/IJRIS.2009.026713},
  doi       = {10.1504/IJRIS.2009.026713},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijris/VriesMBH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/BoerVMEH05,
  author    = {Frank S. de Boer and
               Wieke de Vries and
               John{-}Jules Ch. Meyer and
               Rogier M. van Eijk and
               Wiebe van der Hoek},
  title     = {Process algebra and constraint programming for modeling interactions
               in {MAS}},
  journal   = {Appl. Algebra Eng. Commun. Comput.},
  volume    = {16},
  number    = {2-3},
  pages     = {113--150},
  year      = {2005},
  url       = {https://doi.org/10.1007/s00200-005-0173-0},
  doi       = {10.1007/s00200-005-0173-0},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aaecc/BoerVMEH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/JonkerTV01,
  author    = {Catholijn M. Jonker and
               Jan Treur and
               Wieke de Vries},
  title     = {External attribution of intentional notions to explain and predict
               agent behaviour},
  booktitle = {Proceedings of the Fifth International Conference on Autonomous Agents,
               {AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001},
  pages     = {41--42},
  year      = {2001},
  crossref  = {DBLP:conf/agents/2001},
  url       = {https://doi.org/10.1145/375735.375865},
  doi       = {10.1145/375735.375865},
  timestamp = {Tue, 06 Nov 2018 11:07:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agents/JonkerTV01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/VriesBHHM01,
  author    = {Wieke de Vries and
               Frank S. de Boer and
               Koen V. Hindriks and
               Wiebe van der Hoek and
               John{-}Jules Ch. Meyer},
  title     = {A Programming Language for Coordinating Group Actions},
  booktitle = {From Theory to Practice in Multi-Agent Systems, Second International
               Workshop of Central and Eastern Europe on Multi-Agent Systems, {CEEMAS}
               2001 Cracow, Poland, September 26-29, 2001, Revised Papers},
  pages     = {313--321},
  year      = {2001},
  crossref  = {DBLP:conf/ceemas/2001},
  url       = {https://doi.org/10.1007/3-540-45941-3\_33},
  doi       = {10.1007/3-540-45941-3\_33},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ceemas/VriesBHHM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/VriesBHM01,
  author    = {Wieke de Vries and
               Frank S. de Boer and
               Wiebe van der Hoek and
               John{-}Jules Ch. Meyer},
  title     = {A Truly Concurrent Model for Interacting Agents},
  booktitle = {Intelligent Agents: Specification, Modeling, and Applications, 4th
               Pacific Rim International Workshop on Multi-Agents, {PRIMA} 2001,
               Taipei, Taiwan, July 28-29, 2001, Proceedings},
  pages     = {16--30},
  year      = {2001},
  crossref  = {DBLP:conf/prima/2001},
  url       = {https://doi.org/10.1007/3-540-44637-0\_2},
  doi       = {10.1007/3-540-44637-0\_2},
  timestamp = {Fri, 26 May 2017 14:09:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prima/VriesBHM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/JonkerTV00,
  author    = {Catholijn M. Jonker and
               Jan Treur and
               Wieke de Vries},
  title     = {Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments},
  booktitle = {Agent-Oriented Software Engineering, First International Workshop,
               {AOSE} 2000, Limerick, Ireland, June 10, 2000, Revised Papers},
  pages     = {253--267},
  year      = {2000},
  crossref  = {DBLP:conf/aose/2000},
  url       = {https://doi.org/10.1007/3-540-44564-1\_17},
  doi       = {10.1007/3-540-44564-1\_17},
  timestamp = {Fri, 02 Nov 2018 09:34:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aose/JonkerTV00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurovav/JonkerTV98,
  author    = {Catholijn M. Jonker and
               Jan Treur and
               Wieke de Vries},
  title     = {Compositional Verification of Agents in Dynamic Environments: a Case
               Study},
  booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based
               Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998},
  year      = {1998},
  crossref  = {DBLP:conf/eurovav/1998},
  url       = {http://ceur-ws.org/Vol-16/09-jonker.pdf},
  timestamp = {Thu, 01 Nov 2018 18:54:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurovav/JonkerTV98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agents/2001,
  editor    = {Elisabeth Andr{\'{e}} and
               Sandip Sen and
               Claude Frasson and
               J{\"{o}}rg P. M{\"{u}}ller},
  title     = {Proceedings of the Fifth International Conference on Autonomous Agents,
               {AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {https://doi.org/10.1145/375735},
  doi       = {10.1145/375735},
  isbn      = {1-58113-326-X},
  timestamp = {Tue, 06 Nov 2018 11:07:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agents/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ceemas/2001,
  editor    = {Barbara Dunin{-}Keplicz and
               Edward Nawarecki},
  title     = {From Theory to Practice in Multi-Agent Systems, Second International
               Workshop of Central and Eastern Europe on Multi-Agent Systems, {CEEMAS}
               2001 Cracow, Poland, September 26-29, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2296},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45941-3},
  doi       = {10.1007/3-540-45941-3},
  isbn      = {3-540-43370-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ceemas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prima/2001,
  editor    = {Soe{-}Tsyr Yuan and
               Makoto Yokoo},
  title     = {Intelligent Agents: Specification, Modeling, and Applications, 4th
               Pacific Rim International Workshop on Multi-Agents, {PRIMA} 2001,
               Taipei, Taiwan, July 28-29, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2132},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44637-0},
  doi       = {10.1007/3-540-44637-0},
  isbn      = {3-540-42434-2},
  timestamp = {Fri, 26 May 2017 14:09:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prima/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aose/2000,
  editor    = {Paolo Ciancarini and
               Michael Wooldridge},
  title     = {Agent-Oriented Software Engineering, First International Workshop,
               {AOSE} 2000, Limerick, Ireland, June 10, 2000, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1957},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44564-1},
  doi       = {10.1007/3-540-44564-1},
  isbn      = {3-540-41594-7},
  timestamp = {Fri, 02 Nov 2018 09:34:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aose/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurovav/1998,
  editor    = {Frank van Harmelen},
  title     = {1998 European Workshop on Validation and Verification of Knowledge-Based
               Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {16},
  publisher = {CEUR-WS.org},
  year      = {1998},
  url       = {http://ceur-ws.org/Vol-16},
  timestamp = {Thu, 01 Nov 2018 18:54:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurovav/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier