Roland Meyer 0001

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

◀ ▶ joint publications with Peter Chini

> Home > Persons > Roland Meyer 0001

Publications

2022
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/computing/ChiniMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/ChiniMS22
Peter Chini, Roland Meyer, Prakash Saivasan:
Liveness in broadcast networks. Computing 104(10): 2203-2223 (2022)
2020
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ChiniMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChiniMS20
Peter Chini, Roland Meyer, Prakash Saivasan:
Fine-Grained Complexity of Safety Verification. J. Autom. Reason. 64(7): 1419-1444 (2020)
2019
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MassoudLCSMD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MassoudLCSMD19
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler:
Temporal Tracing of On-Chip Signals using Timeprints. DAC 2019: 186
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Chini0S19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Chini0S19
Peter Chini, Roland Meyer, Prakash Saivasan:
Complexity of Liveness in Parameterized Systems. FSTTCS 2019: 37:1-37:15
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/Chini0S19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/Chini0S19
Peter Chini, Roland Meyer, Prakash Saivasan:
Liveness in Broadcast Networks. NETYS 2019: 52-66
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/19/ChiniM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/ChiniM19
Peter Chini, Roland Meyer:
Inductive Counting and the Reachability Problem for Petri Nets. Carl Adam Petri: Ideas, Personality, Impact 2019: 161-169
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-00833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-00833
Peter Chini, Roland Meyer, Prakash Saivasan:
Liveness in Broadcast Networks. CoRR abs/1904.00833 (2019)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-12004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-12004
Peter Chini, Roland Meyer, Prakash Saivasan:
Complexity of Liveness in Parameterized Systems. CoRR abs/1909.12004 (2019)
2018
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChiniMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChiniMS18
Peter Chini, Roland Meyer, Prakash Saivasan:
Fine-Grained Complexity of Safety Verification. TACAS (2) 2018: 20-37
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-05559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-05559
Peter Chini, Roland Meyer, Prakash Saivasan:
Fine-Grained Complexity of Safety Verification. CoRR abs/1802.05559 (2018)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-05777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-05777
Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan:
Fast Witness Counting. CoRR abs/1807.05777 (2018)
2017
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esa/ChiniKKMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esa/ChiniKKMS17
Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan:
On the Complexity of Bounded Context Switching. ESA 2017: 27:1-27:15
2016
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChiniKMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChiniKMS16
Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan:
On the Complexity of Bounded Context Switching. CoRR abs/1609.09728 (2016)

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.