default search action

combined dblp search
author search
venue search
publication search

ask others

10th RP 2016: Aalborg, Denmark

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2016
Kim Guldstrand Larsen, Igor Potapov, Jirí Srba:
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Lecture Notes in Computer Science 9899, Springer 2016, ISBN 978-3-319-45993-6
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Finkel16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Finkel16
Alain Finkel:
The Ideal Theory for WSTS. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/rp/LegayST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/LegayST16
Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Rare Events for Statistical Model Checking an Overview. 23-35
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AlechinaBDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AlechinaBDL16
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the Complexity of Resource-Bounded Logics. 36-50
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BestW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BestW16
Eike Best, Harro Wimmel:
Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs. 51-62
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Delzanno16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Delzanno16
Giorgio Delzanno:
Reachability Predicates for Graph Assertions. 63-76
- view
  authority control:
- export record
  dblp key:
  - conf/rp/GeffroyLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/GeffroyLS16
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre:
Occam's Razor Applied to the Petri Net Coverability Problem. 77-89
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HansenV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HansenV16
Henri Hansen, Antti Valmari:
Safety Property-Driven Stubborn Sets. 90-103
- view
  authority control:
- export record
  dblp key:
  - conf/rp/JonesT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/JonesT16
Sam A. M. Jones, Richard M. Thomas:
Characterizing Word Problems of Groups. 104-118
- view
  authority control:
- export record
  dblp key:
  - conf/rp/CoentFMVC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/CoentFMVC16
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. 119-133
- view
  authority control:
- export record
  dblp key:
  - conf/rp/CoentFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/CoentFS16
Adrien Le Coënt, Laurent Fribourg, Romain Soulat:
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. 134-147
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HagueL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HagueL16
Matthew Hague, Anthony Widjaja Lin:
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism. 148-162
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Niskanen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Niskanen16
Reino Niskanen:
Robot Games with States in Dimension One. 163-176
- view
  authority control:
- export record
  dblp key:
  - conf/rp/PotapovPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/PotapovPV16
Igor Potapov, Olena Prianychnykova, Sergey Verlan:
Insertion-Deletion Systems over Relational Words. 177-191

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.