![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
14th QAPL 2016: Eindhoven, The Netherlands
- Mirco Tribastone, Herbert Wiklicky:
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 227, 2016 - Kim G. Larsen
, Simon Laursen, Martin Zimmermann
:
Limit Your Consumption! Finding Bounds in Average-energy Games. 1-14 - Vladimir Klebanov, Alexander Weigl
, Jörg Weisbarth:
Sound Probabilistic #SAT with Projection. 15-29 - Luca Bortolussi
, Cheng Feng:
Location Aggregation of Spatial Population CTMC Models. 30-43 - Valentina Castiglioni
, Daniel Gebler, Simone Tini
:
Logical Characterization of Bisimulation Metrics. 44-62 - Dominic Duggan, Jianhua Yao:
Parameterized Dataflow (Extended Abstract). 63-81 - Ludovica Luisa Vissat, Jane Hillston, Glenn Marion
, Matthew J. Smith:
MELA: Modelling in Ecology with Location Attributes. 82-97 - Freek van den Berg, Björn F. Postema
, Boudewijn R. Haverkort
:
Evaluating load balancing policies for performance and energy-efficiency. 98-117
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.