Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/BergPH16,
  author       = {Freek van den Berg and
                  Bj{\"{o}}rn F. Postema and
                  Boudewijn R. Haverkort},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Evaluating load balancing policies for performance and energy-efficiency},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {98--117},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.7},
  doi          = {10.4204/EPTCS.227.7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergPH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BortolussiF16,
  author       = {Luca Bortolussi and
                  Cheng Feng},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Location Aggregation of Spatial Population {CTMC} Models},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {30--43},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.3},
  doi          = {10.4204/EPTCS.227.3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BortolussiF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CastiglioniGT16,
  author       = {Valentina Castiglioni and
                  Daniel Gebler and
                  Simone Tini},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Logical Characterization of Bisimulation Metrics},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {44--62},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.4},
  doi          = {10.4204/EPTCS.227.4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CastiglioniGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DugganY16,
  author       = {Dominic Duggan and
                  Jianhua Yao},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Parameterized Dataflow (Extended Abstract)},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {63--81},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.5},
  doi          = {10.4204/EPTCS.227.5},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DugganY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KlebanovWW16,
  author       = {Vladimir Klebanov and
                  Alexander Weigl and
                  J{\"{o}}rg Weisbarth},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Sound Probabilistic {\#}SAT with Projection},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {15--29},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.2},
  doi          = {10.4204/EPTCS.227.2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KlebanovWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LarsenLZ15,
  author       = {Kim G. Larsen and
                  Simon Laursen and
                  Martin Zimmermann},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Limit Your Consumption! Finding Bounds in Average-energy Games},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {1--14},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.1},
  doi          = {10.4204/EPTCS.227.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LarsenLZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/VissatHMS16,
  author       = {Ludovica Luisa Vissat and
                  Jane Hillston and
                  Glenn Marion and
                  Matthew J. Smith},
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {{MELA:} Modelling in Ecology with Location Attributes},
  booktitle    = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  pages        = {82--97},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227.6},
  doi          = {10.4204/EPTCS.227.6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/VissatHMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/TribastoneW16,
  editor       = {Mirco Tribastone and
                  Herbert Wiklicky},
  title        = {Proceedings 14th International Workshop Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
                  2-3, 2016},
  series       = {{EPTCS}},
  volume       = {227},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.227},
  doi          = {10.4204/EPTCS.227},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TribastoneW16.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.