Peter Chini

18 papers A* 1A 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2022 — —
Fine-Grained Complexity of Program Verification.
Peter Chini
2022 J jnl
Liveness in broadcast networks.
Computing
Peter Chini, Roland Meyer, Prakash Saivasan
2021 — conf
Petri Net Invariant Synthesis.
NETYS
Peter Chini, Florian Furbach
2021 J jnl
Petri Net Invariant Synthesis.
CoRR
Peter Chini, Florian Furbach
2020 — conf
A Framework for Consistency Algorithms.
FSTTCS
Peter Chini, Prakash Saivasan
2020 J jnl
A Framework for Consistency Algorithms.
CoRR
Peter Chini, Prakash Saivasan
2020 J jnl
Fine-Grained Complexity of Safety Verification.
J. Autom. Reason.
Peter Chini, Roland Meyer, Prakash Saivasan
2019 — conf
Complexity of Liveness in Parameterized Systems.
FSTTCS
Peter Chini, Roland Meyer, Prakash Saivasan
2019 J jnl
Complexity of Liveness in Parameterized Systems.
CoRR
Peter Chini, Roland Meyer, Prakash Saivasan
2019 — ch.
Inductive Counting and the Reachability Problem for Petri Nets.
Carl Adam Petri: Ideas, Personality, Impact
Peter Chini, Roland Meyer
2019 — conf
Liveness in Broadcast Networks.
NETYS
Peter Chini, Roland Meyer, Prakash Saivasan
2019 J jnl
Liveness in Broadcast Networks.
CoRR
Peter Chini, Roland Meyer, Prakash Saivasan
2019 A* conf
Temporal Tracing of On-Chip Signals using Timeprints.
DAC
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
2018 J jnl
Fast Witness Counting.
CoRR
Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan
2018 — conf
Fine-Grained Complexity of Safety Verification.
TACAS (2)
Peter Chini, Roland Meyer, Prakash Saivasan
2018 J jnl
Fine-Grained Complexity of Safety Verification.
CoRR
Peter Chini, Roland Meyer, Prakash Saivasan
2017 A conf
On the Complexity of Bounded Context Switching.
ESA
Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan
2016 J jnl
On the Complexity of Bounded Context Switching.
CoRR
Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan