Hans-Peter Deifel

Orcid ID:

0000-0002-9542-9664

List of publications:

BibTeX-Download


Graduiertenkolleg 2475/2 - Cyberkriminalität und Forensische Informatik Lehrstuhl für Informatik 8 (Theoretische Informatik) Technische Fakultät
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

Distributed Coalgebraic Partition Refinement (2022) Birkmann F, Deifel HP, Milius S Conference contribution Coalgebra encoding for efficient minimization (2021) Deifel HP, Milius S, Wißmann T Conference contribution From generic partition refinement to weighted tree automata minimization (2021) Wißmann T, Deifel HP, Milius S, Schröder L Journal article Unifying Metadata-Based Storage Reconstruction and Carving with LAYR (2020) Schneider J, Milius S, Deifel HP, Freiling F Conference contribution, Conference Contribution Generic Partition Refinement and Weighted Tree Automata (2019) Deifel HP, Milius S, Schröder L, Wißmann T Conference contribution, Original article Permutation games for the weakly aconjunctive μ -calculus (2018) Hausmann D, Schröder L, Deifel HP Conference contribution, Original article Automatic verification of application-tailored OSEK kernels (2017) Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D Conference contribution, Original article