default search action

combined dblp search
author search
venue search
publication search

ask others

8th QAPL 2010: Paphos, Cyprus

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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-1006-5107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5107
Alessandra Di Pierro, Gethin Norman:
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 28, 2010
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5094
Alessandro Aldini:
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5095
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5095
Karine Altisen, Yanhong Liu, Matthieu Moy:
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. 16-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5096
Damián Barsotti, Nicolás Wolovick:
Automatic Probabilistic Program Verification through Random Variable Abstraction. 34-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5097
Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano:
Quantitative Fairness Games. 48-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5098
David Cachera, Arnaud Jobin:
Injecting Abstract Interpretations into Linear Cost Models. 64-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5099
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. 82-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5100
Sonja Georgievska, Suzana Andova:
Testing Reactive Probabilistic Processes. 99-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5101
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5101
Matthias Güdemann, Frank Ortmeier:
Probabilistic Model-Based Safety Analysis. 114-128
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5102
Ukachukwu Ndukwu, Annabelle McIver:
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs. 129-143
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5103
Markus N. Rabe, Sven Schewe:
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. 144-158
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-5104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5104
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
A new tool for the performance analysis of massively parallel computer systems. 159-181

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.