default search action

combined dblp search
author search
venue search
publication search

ask others

14th QAPL 2016: Eindhoven, The Netherlands

> Home > Conferences and Workshops > QAPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/TribastoneW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TribastoneW16
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LarsenLZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LarsenLZ15
Kim G. Larsen, Simon Laursen, Martin Zimmermann:
Limit Your Consumption! Finding Bounds in Average-energy Games. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KlebanovWW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KlebanovWW16
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth:
Sound Probabilistic #SAT with Projection. 15-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BortolussiF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiF16
Luca Bortolussi, Cheng Feng:
Location Aggregation of Spatial Population CTMC Models. 30-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CastiglioniGT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CastiglioniGT16
Valentina Castiglioni, Daniel Gebler, Simone Tini:
Logical Characterization of Bisimulation Metrics. 44-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DugganY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DugganY16
Dominic Duggan, Jianhua Yao:
Parameterized Dataflow (Extended Abstract). 63-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/VissatHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VissatHMS16
Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith:
MELA: Modelling in Ecology with Location Attributes. 82-97
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BergPH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BergPH16
Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort:
Evaluating load balancing policies for performance and energy-efficiency. 98-117

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.