Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Peter Chini

Publications by Peter Chini

Recent

  1. Fast Witness Counting, with Rehab Massoud, Roland Meyer, and Prakash Saivasan.

    arXiv

  2. Petri Net Invariant Synthesis, with Florian Furbach.

    NETYS 2021

Conference contributions

  1. A Framework for Consistency Algorithms, with Prakash Saivasan.
    In Proceedings of FSTTCS 2020.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  2. Inductive Counting and the Reachability Problem for Petri Nets , with Roland Meyer.
    In Carl Adam Petri: Ideas, Personality, Impact, 2019.
    Book | DOI

  3. Complexity of Liveness in Parameterized Systems, with Roland Meyer and Prakash Saivasan.
    In Proceedings of FSTTCS 2019.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  4. Liveness in Broadcast Networks, with Roland Meyer and Prakash Saivasan.
    In Proceedings of NETYS 2019.

    Best Student Paper Award.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  5. Temporal Tracing of On-chip Signals using Timeprints, with Rehab Massoud, Prakash Saivasan, Roland Meyer, Hoang M. Le, and Rolf Drechsler.
    In Proceedings of DAC 2019.
    PDF | DOI

  6. Fine-Grained Complexity of Safety Verification, with Roland Meyer and Prakash Saivasan.
    In Proceedings of TACAS 2018.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  7. On the Complexity of Bounded Context Switching, with Jonathan Kolberg, Andreas Krebs, Roland Meyer, and Prakash Saivasan.
    In Proceedings of ESA 2017.
    Conference Version | DOI/BibTex | Full Version @ arXiv

Journal articles

  1. Liveness in Broadcast Networks, with Roland Meyer and Prakash Saivasan.
    Computing, 2021.
    Conference Version | Full Version @ arXiv

  2. Fine-Grained Complexity of Safety Verification, with Roland Meyer and Prakash Saivasan.
    Journal of Automated Reasoning, 2020.
    DOI | arXiv

  3. Fine-Grained Complexity of Program Verification Tasks, with Roland Meyer and Prakash Saivasan.
    Parameterized Complexity Newsletter, 2019.
    PDF

Theses

  1. Computing the Deligne number of curve singularities and an algorithmic framework for differential algebras in Singular. Master Thesis.
    Technische Universität Kaiserslautern, 2015.
    PDF