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    = {Sun, 06 Oct 2024 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    = {Tue, 07 May 2024 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}
}

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.