Peter Chini

According to our database, Peter Chini authored at least 11 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Fine-Grained Complexity of Program Verification.

Peter Chini

PhD thesis, 2022

Liveness in broadcast networks.

Peter Chini, Roland Meyer, Prakash Saivasan

Computing, 2022

2021

Petri Net Invariant Synthesis.

Peter Chini, Florian Furbach

Proceedings of the Networked Systems - 9th International Conference, 2021

2020

Fine-Grained Complexity of Safety Verification.

Peter Chini, Roland Meyer, Prakash Saivasan

J. Autom. Reason., 2020

A Framework for Consistency Algorithms.

Peter Chini, Prakash Saivasan

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Complexity of Liveness in Parameterized Systems.

Peter Chini, Roland Meyer, Prakash Saivasan

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

Temporal Tracing of On-Chip Signals using Timeprints.

Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Inductive Counting and the Reachability Problem for Petri Nets.

Peter Chini, Roland Meyer

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Fast Witness Counting.

Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan

CoRR, 2018

2017

On the Complexity of Bounded Context Switching.

Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan

Proceedings of the 25th Annual European Symposium on Algorithms, 2017

2016

On the Complexity of Bounded Context Switching.

Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan

CoRR, 2016