Peter Chini

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 16

Top Topics

Data Provenance

Top Venues

Publications

Peter Chini, Roland Meyer, Prakash Saivasan
Liveness in broadcast networks. Computing 104 (10) (2022)
Peter Chini, Florian Furbach
Petri Net Invariant Synthesis. NETYS (2021)
Peter Chini, Florian Furbach
Petri Net Invariant Synthesis. CoRR (2021)
Peter Chini, Prakash Saivasan
A Framework for Consistency Algorithms. FSTTCS (2020)
Peter Chini, Roland Meyer, Prakash Saivasan
Fine-Grained Complexity of Safety Verification. J. Autom. Reason. 64 (7) (2020)
Peter Chini, Prakash Saivasan
A Framework for Consistency Algorithms. CoRR (2020)
Peter Chini, Roland Meyer, Prakash Saivasan
Complexity of Liveness in Parameterized Systems. CoRR (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Liveness in Broadcast Networks. NETYS (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Liveness in Broadcast Networks. CoRR (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Complexity of Liveness in Parameterized Systems. FSTTCS (2019)
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
Temporal Tracing of On-Chip Signals using Timeprints. DAC (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Fine-Grained Complexity of Safety Verification. TACAS (2) (2018)
Peter Chini, Roland Meyer, Prakash Saivasan
Fine-Grained Complexity of Safety Verification. CoRR (2018)
Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan
Fast Witness Counting. CoRR (2018)
Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan
On the Complexity of Bounded Context Switching. ESA (2017)
Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan
On the Complexity of Bounded Context Switching. CoRR (2016)