default search action

combined dblp search
author search
venue search
publication search

ask others

9th QAPL 2011: Saarbrücken, Germany

> 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/abs-1107-0746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0746
Mieke Massink, Gethin Norman:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-4425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-4425
Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf:
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models. 1
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1198
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1198
Florian Leitner-Fischer, Stefan Leue:
QuantUM: Quantitative Safety Analysis of UML Models. 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1199
Michal Rutkowski:
Two-Player Reachability-Price Games on Single-Clock Timed Automata. 31-46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1200
Bogdan Aman, Gabriel Ciobanu:
Time Delays in Membrane Systems and Petri Nets. 47-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1201
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-Reward Testing for Probabilistic Processes (Extended Abstract). 61-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1202
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1202
Lei Song, Flemming Nielson, Bo Friis Nielsen:
A Stochastic Broadcast Pi-Calculus. 74-88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1203
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1203
Daniel Seidel, Janis Voigtländer:
Improvements for Free. 89-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1204
Joseph Assouramou, Josée Desharnais:
Analysis of Non-Linear Probabilistic Hybrid Systems. 104-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1233
Luca Bortolussi, Vashti Galpin, Jane Hillston:
HYPE with stochastic events. 120-133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1205
Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen:
Distances for Weighted Transition Systems: Games and Properties. 134-147
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1206
Mathieu Tracol, Josée Desharnais, Abir Zhioua:
Computing Distances between Probabilistic Automata. 148-162

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.