Navigation

Hans-Peter Deifel

Address:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.130
E-Mail: hans-peter.deifel[at]fau.de
Telefon: 09131/85-64054

Talks

  • 2019-10-10 ­– Generic Partition Refinement and Weighted Tree Automata at Formal Methods 2019 (slides, video)

Awards

  • , , , : Best Theory Paper Award at FM 2019 (3rd World Congress on Formal Methods, FM 2019) – 2019

Publications

2020

2019

2018

  • , , :
    Permutation games for the weakly aconjunctive μ -calculus
    24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
    In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018
    DOI: 10.1007/978-3-319-89963-3_21

2017