Tobias Heineken

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 2 (Programmiersysteme) Chair for Computer Science 6 (Data Management)
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

The Impact of List Reduction for Language Agnostic Test Case Reducers (2025) Heineken T, Philippsen M Conference contribution, Original article Replication Package for 'The Impact of List Reduction for Language Agnostic Test Case Reducers' (2024) Heineken T, Philippsen M Other publication type, Forschungsdaten Entwicklung einer compilergestützten Thread-lokalen statischen Verifikation von Funktionen bezüglich ausgewählter Eigenschaften für ein Betriebssystem in C (2022) Heineken T Thesis Vergleich verschiedener Algorithmen zur Operatorplatzierung in verteilten Datenstromsystemen (2017) Heineken T Thesis