default search action

combined dblp search
author search
venue search
publication search

ask others

6th RP 2012: Bordeaux, France

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 > RP

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:
  - conf/rp/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2012
Alain Finkel, Jérôme Leroux, Igor Potapov:
Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Lecture Notes in Computer Science 7550, Springer 2012, ISBN 978-3-642-33511-2
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BojanczykL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BojanczykL12
Mikolaj Bojanczyk, Slawomir Lasota:
Fraenkel-Mostowski Sets with Non-homogeneous Atoms. 1-5
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SalvatiW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SalvatiW12
Sylvain Salvati, Igor Walukiewicz:
Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata. 6-20
- view
  authority control:
- export record
  dblp key:
  - conf/rp/OuaknineW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/OuaknineW12
Joël Ouaknine, James Worrell:
Decision Problems for Linear Recurrence Sequences. 21-28
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Kucera12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Kucera12
Antonín Kucera:
Playing Games with Counter Automata. 29-41
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Felscher12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Felscher12
Ingo Felscher:
LTL-Model-Checking via Model Composition. 42-53
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HaaseOW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HaaseOW12
Christoph Haase, Joël Ouaknine, James Worrell:
On the Relationship between Reachability Problems in Timed and Counter Automata. 54-65
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BrocchiM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BrocchiM12
Stefano Brocchi, Paolo Massazza:
Smooth Sand Piles. 66-78
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BenvenutiBCFGV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BenvenutiBCFGV12
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa:
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. 79-91
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AkshayHJR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AkshayHJR12
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier:
Robustness of Time Petri Nets under Guard Enlargement. 92-106
- view
  authority control:
- export record
  dblp key:
  - conf/rp/GhorbalDKIG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/GhorbalDKIG12
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta:
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. 107-120
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Saleh12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Saleh12
Rafiq Saleh:
On the Length of Knot Transformations via Reidemeister Moves I and II. 121-136
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HanschK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HanschK12
Paul Hänsch, Stefan Kowalewski:
Invariants for LTI Systems with Uncertain Input. 137-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.