:facetid:toc:\"db/series/eptcs/eptcs227.bht\"OK:facetid:toc:db/series/eptcs/eptcs227.bhtFreek van den BergBjörn F. PostemaBoudewijn R. HaverkortEvaluating load balancing policies for performance and energy-efficiency.QAPL98-1172016Conference and Workshop Papersopenjournals/corr/BergPH1610.4204/EPTCS.227.7https://doi.org/10.4204/EPTCS.227.7https://dblp.org/rec/journals/corr/BergPH16URL#3358049Luca BortolussiCheng FengLocation Aggregation of Spatial Population CTMC Models.QAPL30-432016Conference and Workshop Papersopenjournals/corr/BortolussiF1610.4204/EPTCS.227.3https://doi.org/10.4204/EPTCS.227.3https://dblp.org/rec/journals/corr/BortolussiF16URL#3358060Valentina CastiglioniDaniel GeblerSimone TiniLogical Characterization of Bisimulation Metrics.QAPL44-622016Conference and Workshop Papersopenjournals/corr/CastiglioniGT1610.4204/EPTCS.227.4https://doi.org/10.4204/EPTCS.227.4https://dblp.org/rec/journals/corr/CastiglioniGT16URL#3358078Dominic DugganJianhua Yao 0003Parameterized Dataflow (Extended Abstract).QAPL63-812016Conference and Workshop Papersopenjournals/corr/DugganY1610.4204/EPTCS.227.5https://doi.org/10.4204/EPTCS.227.5https://dblp.org/rec/journals/corr/DugganY16URL#3358110Vladimir KlebanovAlexander WeiglJörg WeisbarthSound Probabilistic #SAT with Projection.QAPL15-292016Conference and Workshop Papersopenjournals/corr/KlebanovWW1610.4204/EPTCS.227.2https://doi.org/10.4204/EPTCS.227.2https://dblp.org/rec/journals/corr/KlebanovWW16URL#3358174Kim G. LarsenSimon LaursenMartin Zimmermann 0002Limit Your Consumption! Finding Bounds in Average-energy Games.QAPL1-142016Conference and Workshop Papersopenjournals/corr/LarsenLZ1510.4204/EPTCS.227.1https://doi.org/10.4204/EPTCS.227.1https://dblp.org/rec/journals/corr/LarsenLZ15URL#3358186Ludovica Luisa VissatJane HillstonGlenn MarionMatthew J. SmithMELA: Modelling in Ecology with Location Attributes.QAPL82-972016Conference and Workshop Papersopenjournals/corr/VissatHMS1610.4204/EPTCS.227.6https://doi.org/10.4204/EPTCS.227.6https://dblp.org/rec/journals/corr/VissatHMS16URL#3358292Mirco TribastoneHerbert WiklickyProceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016.QAPLEPTCS2272016Editorshipopenjournals/corr/TribastoneW1610.4204/EPTCS.227https://doi.org/10.4204/EPTCS.227https://dblp.org/rec/journals/corr/TribastoneW16URL#3363143