Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Peter Chini

Publications by Peter Chini

Recent

  1. Temporal Tracing of On-chip Signals using Timeprints, with Rehab Massoud, Prakash Saivasan, Roland Meyer, Hoang M. Le, and Rolf Drechsler.

    DAC 2019

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

    arXiv

Conference contributions

  1. Fine-Grained Complexity of Safety Verification, with Roland Meyer and Prakash Saivasan.
    In Proceedings of TACAS 2018.
    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, 2018.
    Book

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

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