Hans-Peter Deifel

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 12

Top Topics

Finite Automaton

Syntactic Pattern Recognition

Regular Expressions

Weighted Majority

Top Venues

Formal Aspects Comput.

Publications

Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Distributed Coalgebraic Partition Refinement. CoRR (2022)
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Distributed Coalgebraic Partition Refinement. TACAS (2) (2022)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From generic partition refinement to weighted tree automata minimization. Formal Aspects Comput. 33 (4-5) (2021)
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
Coalgebra Encoding for Efficient Minimization. FSCD (2021)
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
Coalgebra Encoding for Efficient Minimization. CoRR (2021)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From Generic Partition Refinement to Weighted Tree Automata Minimization. CoRR (2020)
Janine Schneider, Hans-Peter Deifel, Stefan Milius, Felix C. Freiling
Unifying Metadata-Based Storage Reconstruction and Carving with LAYR. Digit. Investig. (2020)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Generic Partition Refinement and Weighted Tree Automata. FM (2019)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
CoPaR: An Efficient Generic Partition Refiner. CoRR (2018)
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. TACAS (2) (2018)
Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
Automatic verification of application-tailored OSEK kernels. FMCAD (2017)
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
Permutation Games for the Weakly Aconjunctive mu-Calculus. CoRR (2017)