default search action

combined dblp search
author search
venue search
publication search

ask others

15th RP 2021: Liverpool, UK

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/2021
Paul C. Bell, Patrick Totzke, Igor Potapov:
Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13035, Springer 2021, ISBN 978-3-030-89715-4

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rp/Boker21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Boker21
Udi Boker:
Quantitative vs. Weighted Automata. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Dixon21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Dixon21
Clare Dixon:
Theorem Proving Using Clausal Resolution: From Past to Present. 19-27
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Esparza21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Esparza21
Javier Esparza:
Population Protocols: Beyond Runtime Analysis. 28-51
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Zetzsche21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Zetzsche21
Georg Zetzsche:
Recent Advances on Reachability Problems for Valence Systems (Invited Talk). 52-65

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rp/BilgramJPST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BilgramJPST21
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist:
Improvements in Unfolding of Colored Petri Nets. 69-84
- view
  authority control:
- export record
  dblp key:
  - conf/rp/ForetsS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/ForetsS21
Marcelo Forets, Christian Schilling:
Reachability of Weakly Nonlinear Systems Using Carleman Linearization. 85-99
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Karpenkov21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Karpenkov21
Oleg Karpenkov:
Continued Fraction Approach to Gauss Reduction Theory. 100-114
- view
  authority control:
- export record
  dblp key:
  - conf/rp/KoscheKMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/KoscheKMS21
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer:
Absent Subsequences in Words. 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/rp/LiveseyW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/LiveseyW21
Joseph Livesey, Dominik Wojtczak:
Minimal Number of Calls in Propositional Protocols. 132-148
- view
  authority control:
- export record
  dblp key:
  - conf/rp/SalzerL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/SalzerL21
Marco Sälzer, Martin Lange:
Reachability is NP-Complete Even for the Simplest Neural Networks. 149-164

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.