Hans-Peter Deifel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2022
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TACAS | Distributed Coalgebraic Partition Refinement. | Fabian Birkmann, Hans-Peter Deifel, Stefan Milius |
| 2021 | FSCD | Coalgebra Encoding for Efficient Minimization. | Hans-Peter Deifel, Stefan Milius, Thorsten Wimann |
| 2019 | FM | Generic Partition Refinement and Weighted Tree Automata. | Hans-Peter Deifel, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2018 | TACAS | Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. | Daniel Hausmann, Lutz Schrder, Hans-Peter Deifel |
| 2017 | FMCAD | Automatic verification of application-tailored OSEK kernels. | Hans-Peter Deifel, Merlin Gttlinger, Stefan Milius, Lutz Schrder, Christian Dietrich, Daniel Lohmann |