default search action

combined dblp search
author search
venue search
publication search

ask others

7th QAPL 2009: York, UK

> Home > Conferences and Workshops > QAPL

Refine list

refinements active!

zoomed in on 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/qapl/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qapl/2009
Christel Baier, Alessandra Di Pierro:
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009. Electronic Notes in Theoretical Computer Science 253(3), Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaierP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaierP09
Christel Baier, Alessandra Di Pierro:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bernardo09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bernardo09
Marco Bernardo:
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. 3-23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FahrenbergL09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FahrenbergL09a
Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discounting in Time. 25-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Aissani09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Aissani09
Amar Aissani:
An M^X/G/1 Energetic Retrial Queue with Vacations and it's Control. 33-44
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GiroD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GiroD09
Sergio Giro, Pedro R. D'Argenio:
On the Expressive Power of Schedulers in Distributed Probabilistic Systems. 45-71
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DengD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DengD09
Yuxin Deng, Wenjie Du:
The Kantorovich Metric in Computer Science: A Brief Survey. 73-82
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MuraPPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MuraPPR09
Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel:
Exploiting non-Markovian Bio-Processes. 83-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TafliovichH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TafliovichH09
Anya Tafliovich, Eric C. R. Hehner:
Programming with Quantum Communication. 99-118
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MuC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MuC09
Chunyan Mu, David Clark:
An Interval-based Abstraction for Quantifying Information Flow. 119-141
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MontaltoC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MontaltoC09
Bruno Montalto, Carlos Caleiro:
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. 143-165
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LanevePZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LanevePZ09
Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes. 167-185
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BortolussiV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BortolussiV09
Luca Bortolussi, Maria Grazia Vigliotti:
CoBiC: Context-dependent Bioambient Calculus. 187-201
no results

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.