Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs220.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/BrihayeDGHM16,
  author       = {Thomas Brihaye and
                  Amit Kumar Dhar and
                  Gilles Geeraerts and
                  Axel Haddad and
                  Benjamin Monmege},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Efficient Energy Distribution in a Smart Grid using Multi-Player Games},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {1--12},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.1},
  doi          = {10.4204/EPTCS.220.1},
  timestamp    = {Sat, 09 Apr 2022 12:27:04 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrihayeDGHM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BrutschT16,
  author       = {Benedikt Br{\"{u}}tsch and
                  Wolfgang Thomas},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Playing Games in the Baire Space},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {13--25},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.2},
  doi          = {10.4204/EPTCS.220.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrutschT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Coti16a,
  author       = {Camille Coti},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Parametric, Probabilistic, Timed Resource Discovery System},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {53--62},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.5},
  doi          = {10.4204/EPTCS.220.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Coti16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FoshammerLM16,
  author       = {Louise Foshammer and
                  Kim Guldstrand Larsen and
                  Anders Mariegaard},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Weighted Branching Simulation Distance for Parametric Weighted Kripke
                  Structures},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {63--75},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.6},
  doi          = {10.4204/EPTCS.220.6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FoshammerLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HutagalungHKLL16,
  author       = {Milka Hutagalung and
                  Norbert Hundeshagen and
                  Dietrich Kuske and
                  Martin Lange and
                  {\'{E}}tienne Lozes},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Two-Buffer Simulation Games},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {27--38},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.3},
  doi          = {10.4204/EPTCS.220.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HutagalungHKLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MoschoyiannisEP16,
  author       = {Sotiris Moschoyiannis and
                  Nicholas Elia and
                  Alexandra S. Penn and
                  David J. B. Lloyd and
                  Christopher J. K. Knight},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {A Web-based Tool for Identifying Strategic Intervention Points in
                  Complex Systems},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {39--52},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.4},
  doi          = {10.4204/EPTCS.220.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MoschoyiannisEP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/TatiS16,
  author       = {Bharath Siva Kumar Tati and
                  Markus Siegle},
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Rate Reduction for State-labelled Markov Chains with Upper Time-bounded
                  {CSL} Requirements},
  booktitle    = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  pages        = {77--89},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220.7},
  doi          = {10.4204/EPTCS.220.7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TatiS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/BrihayeDJMS16,
  editor       = {Thomas Brihaye and
                  Beno{\^{\i}}t Delahaye and
                  Lo{\"{\i}}g Jezequel and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  title        = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
                  Systems and 3rd International Workshop on Synthesis of Complex Parameters,
                  Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {220},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.220},
  doi          = {10.4204/EPTCS.220},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrihayeDJMS16.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.