default search action

combined dblp search
author search
venue search
publication search

ask others

11th QAPL 2013: Rome, Italy

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/BortolussiW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiW13
Luca Bortolussi, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GazeauMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GazeauMP13
Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
Preserving differential privacy under finite-precision semantics. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Tranquilli13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Tranquilli13
Paolo Tranquilli:
Indexed Labels for Loop Iteration Dependent Costs. 19-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NgoH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NgoH13
Tri Minh Ngo, Marieke Huisman:
Quantitative Security Analysis for Multi-threaded Programs. 34-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Schuppan13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schuppan13
Viktor Schuppan:
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. 49-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HanKKG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HanKKG13
Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. 66-80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. 81-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/McIverRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS13
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. 97-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-4577
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-4577
Nathalie Bertrand, Philippe Schnoebelen:
Solving Stochastic Büchi Games on Infinite Decisive Arenas. 116-131
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1301-7700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-7700
Arjun Arul, Julien Reichert:
The Complexity of Robot Games on the Integer Line. 132-148

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.