Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1006-4425,
  author       = {Aleksandr Andreychenko and
                  Pepijn Crouzen and
                  Verena Wolf},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population
                  Models},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {1},
  year         = {2011},
  url          = {http://arxiv.org/abs/1006.4425},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-4425.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1198,
  author       = {Florian Leitner{-}Fischer and
                  Stefan Leue},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {QuantUM: Quantitative Safety Analysis of {UML} Models},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {16--30},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.2},
  doi          = {10.4204/EPTCS.57.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1198.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1199,
  author       = {Michal Rutkowski},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Two-Player Reachability-Price Games on Single-Clock Timed Automata},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {31--46},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.3},
  doi          = {10.4204/EPTCS.57.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1199.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1200,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Time Delays in Membrane Systems and Petri Nets},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {47--60},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.4},
  doi          = {10.4204/EPTCS.57.4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1200.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1201,
  author       = {Yuxin Deng and
                  Rob J. van Glabbeek and
                  Matthew Hennessy and
                  Carroll Morgan},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Real-Reward Testing for Probabilistic Processes (Extended Abstract)},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {61--73},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.5},
  doi          = {10.4204/EPTCS.57.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1201.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1202,
  author       = {Lei Song and
                  Flemming Nielson and
                  Bo Friis Nielsen},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {A Stochastic Broadcast Pi-Calculus},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {74--88},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.6},
  doi          = {10.4204/EPTCS.57.6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1202.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1203,
  author       = {Daniel Seidel and
                  Janis Voigtl{\"{a}}nder},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Improvements for Free},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {89--103},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.7},
  doi          = {10.4204/EPTCS.57.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1203.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1204,
  author       = {Joseph Assouramou and
                  Jos{\'{e}}e Desharnais},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Analysis of Non-Linear Probabilistic Hybrid Systems},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {104--119},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.8},
  doi          = {10.4204/EPTCS.57.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1204.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1205,
  author       = {Uli Fahrenberg and
                  Claus R. Thrane and
                  Kim G. Larsen},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Distances for Weighted Transition Systems: Games and Properties},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {134--147},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.10},
  doi          = {10.4204/EPTCS.57.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1205.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1206,
  author       = {Mathieu Tracol and
                  Jos{\'{e}}e Desharnais and
                  Abir Zhioua},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Computing Distances between Probabilistic Automata},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {148--162},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.11},
  doi          = {10.4204/EPTCS.57.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1206.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1107-1233,
  author       = {Luca Bortolussi and
                  Vashti Galpin and
                  Jane Hillston},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {{HYPE} with stochastic events},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {120--133},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.9},
  doi          = {10.4204/EPTCS.57.9},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1233.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1107-0746,
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57},
  doi          = {10.4204/EPTCS.57},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0746.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.