FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Tobias Heineken
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 2 (Programmiersysteme)
Chair for Computer Science 6 (Data Management)
Project Memberships
(1)
Publications
(4)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
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