default search action

combined dblp search
author search
venue search
publication search

ask others

12th RP 2018: Marseille, France

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2018
Igor Potapov, Pierre-Alain Reynier:
Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings. Lecture Notes in Computer Science 11123, Springer 2018, ISBN 978-3-030-00249-7
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SandrettoW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SandrettoW18
Julien Alexandre Dit Sandretto, Jian Wan:
Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/rp/DayGHMN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/DayGHMN18
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Word Equations: Decidable and Undecidable Theories. 15-29
- view
  authority control:
- export record
  dblp key:
  - conf/rp/OliveiraPHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/OliveiraPHB18
Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem:
Left-Eigenvectors Are Certificates of the Orbit Problem. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/rp/HagueP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/HagueP18
Matthew Hague, Vincent Penelle:
Constrained Dynamic Tree Networks. 45-58
- view
  authority control:
- export record
  dblp key:
  - conf/rp/JancarOS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/JancarOS18
Petr Jancar, Petr Osicka, Zdenek Sawa:
EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets. 59-74
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Lisitsa18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Lisitsa18
Alexei Lisitsa:
Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification. 75-86
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Lohrey18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Lohrey18
Markus Lohrey:
Knapsack in Hyperbolic Groups. 87-102
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Neary018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Neary018
Turlough Neary, Matthew Cook:
Generalized Tag Systems. 103-116
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BonevaNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BonevaNS18
Iovka Boneva, Joachim Niehren, Momar Sakho:
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams. 117-132
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Skrzypczak18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Skrzypczak18
Michal Skrzypczak:
Büchi VASS Recognise ∑¹₁-complete ω-languages. 133-145
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Sproston18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Sproston18
Jeremy Sproston:
Qualitative Reachability for Open Interval Markov Chains. 146-160

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.