default search action

combined dblp search
author search
venue search
publication search

ask others

4th QAPL 2006: Vienna, Austria

> Home > Conferences and Workshops > QAPL

Refine list

refinements active!

zoomed in on 14 of 14 records

view refined list in

export refined list as

showing all 14 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/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qapl/2006
Alessandra Di Pierro, Herbert Wiklicky:
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 164(3), Elsevier 2006
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PierroW06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PierroW06a
Alessandra Di Pierro, Herbert Wiklicky:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AdaoMRV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AdaoMRV06
Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò:
Towards a Quantitative Analysis of Security Protocols. 3-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AldiniB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AldiniB06
Alessandro Aldini, Marco Bernardo:
Component-Oriented Specification of Performance Measures. 27-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BinderH06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BinderH06a
Walter Binder, Jarle Hulaas:
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting. 45-64
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bortolussi06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bortolussi06
Luca Bortolussi:
Stochastic Concurrent Constraint Programming. 65-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CiobanuP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CiobanuP06
Gabriel Ciobanu, Cristian Prisacariu:
Timers for Distributed Systems. 81-99
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeganoPPQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeganoPPQ06
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia:
Beta-binders for Biological Quantitative Experiments. 101-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PradalierP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PradalierP06
Sylvain Pradalier, Catuscia Palamidessi:
Expressiveness of Probabilistic pi. 119-136
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SingerB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SingerB06
Jeremy Singer, Gavin Brown:
Return Value Prediction meets Information Theory. 137-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SotinCJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SotinCJ06
Pascal Sotin, David Cachera, Thomas P. Jensen:
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. 153-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VigliottiH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VigliottiH06
Maria Grazia Vigliotti, Peter G. Harrison:
Stochastic Ambient Calculus. 169-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WolfBM06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WolfBM06a
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism. 187-204
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZhangH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhangH06
Miaomiao Zhang, Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading. 205-224
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.