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. Complexity of Liveness in Parameterized Systems, with Roland Meyer and Prakash Saivasan.

    FSTTCS 2019

Conference contributions

  1. 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

  2. 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

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

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

  5. 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. 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