Search dblp for Publications

export results for "toc:db/conf/birthday/arbab2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/Aalst18,
  author       = {Wil M. P. van der Aalst},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Discovering the "Glue" Connecting Activities - Exploiting Monotonicity
                  to Learn Places Faster},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_1},
  doi          = {10.1007/978-3-319-90089-6\_1},
  timestamp    = {Sat, 19 Oct 2019 20:29:09 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Aalst18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AptS18,
  author       = {Krzysztof R. Apt and
                  Ehsan Shoja},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Self-stabilization Through the Lens of Game Theory},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {21--37},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_2},
  doi          = {10.1007/978-3-319-90089-6\_2},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/AptS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaierCD0K18,
  author       = {Christel Baier and
                  Philipp Chrszon and
                  Clemens Dubslaff and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {38--56},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_3},
  doi          = {10.1007/978-3-319-90089-6\_3},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BaierCD0K18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Blom18,
  author       = {Kees Blom},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Personal Note: Working with Farhad Arbab 1990-2005},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {68--69},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_5},
  doi          = {10.1007/978-3-319-90089-6\_5},
  timestamp    = {Mon, 09 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Blom18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DokterG018,
  author       = {Kasper Dokter and
                  Fabio Gadducci and
                  Francesco Santini},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Soft Constraint Automata with Memory},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {70--85},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_6},
  doi          = {10.1007/978-3-319-90089-6\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DokterG018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FigueiredoMB18,
  author       = {Daniel Figueiredo and
                  Manuel A. Martins and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {A Note on Reactive Transitions and Reo Connectors},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {57--67},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_4},
  doi          = {10.1007/978-3-319-90089-6\_4},
  timestamp    = {Fri, 14 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/FigueiredoMB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GroenewegenVV18,
  author       = {Luuk Groenewegen and
                  Jan H. S. Verschuren and
                  Erik P. de Vink},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Extending Paradigm with Data},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {224--244},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_15},
  doi          = {10.1007/978-3-319-90089-6\_15},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GroenewegenVV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HeerdtJK018,
  author       = {Gerco van Heerdt and
                  Bart Jacobs and
                  Tobias Kapp{\'{e}} and
                  Alexandra Silva},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Learning to Coordinate},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {139--159},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_10},
  doi          = {10.1007/978-3-319-90089-6\_10},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HeerdtJK018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JacquetLD18,
  author       = {Jean{-}Marie Jacquet and
                  Isabelle Linden and
                  Denis Darquennes},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {On the Relation Between Control-Based and Data-Based Coordination
                  Languages},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {86--106},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_7},
  doi          = {10.1007/978-3-319-90089-6\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JacquetLD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jongmans18,
  author       = {Sung{-}Shik Jongmans},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Formalizing Propagation of Priorities in Reo, Using Eight Colors},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {122--138},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_9},
  doi          = {10.1007/978-3-319-90089-6\_9},
  timestamp    = {Mon, 09 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Jongmans18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LiS18,
  author       = {Yi Li and
                  Meng Sun},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Generating Arduino {C} Codes from Mediator},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {174--188},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_12},
  doi          = {10.1007/978-3-319-90089-6\_12},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchlatteJMTY18,
  author       = {Rudolf Schlatte and
                  Einar Broch Johnsen and
                  Jacopo Mauro and
                  Silvia Lizeth Tapia Tarifa and
                  Ingrid Chieh Yu},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Release the Beasts: When Formal Methods Meet Real World Data},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_8},
  doi          = {10.1007/978-3-319-90089-6\_8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/SchlatteJMTY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SirjaniGP18,
  author       = {Marjan Sirjani and
                  Fatemeh Ghassemi and
                  Bahman Pourvatan},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Reo Connectors and Components as Tagged Signal Models},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_11},
  doi          = {10.1007/978-3-319-90089-6\_11},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/SirjaniGP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Talcott18,
  author       = {Carolyn L. Talcott},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {From Soft Agents to Soft Component Automata and Back},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {189--207},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_13},
  doi          = {10.1007/978-3-319-90089-6\_13},
  timestamp    = {Mon, 09 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Talcott18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TorreRG18,
  author       = {Leendert W. N. van der Torre and
                  Tjitze Rienstra and
                  Dov M. Gabbay},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {Argumentation as Exogenous Coordination},
  booktitle    = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {208--223},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6\_14},
  doi          = {10.1007/978-3-319-90089-6\_14},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/TorreRG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018arbab,
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  title        = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
                  Achievements of Farhad Arbab},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90089-6},
  doi          = {10.1007/978-3-319-90089-6},
  isbn         = {978-3-319-90088-9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2018arbab.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics