Follow
Andrej Dudenhefner
Andrej Dudenhefner
Department of Computer Science, TU Dortmund University, Germany
Verified email at cs.tu-dortmund.de
Title
Cited by
Cited by
Year
A Coq library of undecidable problems
Y Forster, D Larchey-Wendling, A Dudenhefner, E Heiter, D Kirst, F Kunze, ...
CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, 2020
452020
Combinatory logic synthesizer
J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
432014
Intersection type calculi of bounded dimension
A Dudenhefner, J Rehof
ACM SIGPLAN Notices 52 (1), 653-665, 2017
262017
Combinatory process synthesis
J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
222016
Typability in bounded dimension
A Dudenhefner, J Rehof
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
162017
Mixin composition synthesis based on intersection types
J Bessai, TC Chen, A Dudenhefner, B Düdder, U de'Liguoro, J Rehof
Logical Methods in Computer Science 14, 2018
142018
Extracting a formally verified subtyping algorithm for intersection types from ideals and filters
J Bessai, A Dudenhefner, B Düdder, J Rehof
Talk at COST Types, 2016
132016
A simpler undecidability proof for system F inhabitation
A Dudenhefner, J Rehof
24th International Conference on Types for Proofs and Programs (TYPES 2018), 2019
112019
Mixin composition synthesis based on intersection types
J Bessai, A Dudenhefner, TC Chen, U De'Liguoro, J Rehof
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 38, 76-91, 2015
112015
The complexity of principal inhabitation
A Dudenhefner, J Rehof
2nd International Conference on Formal Structures for Computation and …, 2017
102017
Typing classes and mixins with intersection types
J Bessai, B Düdder, A Dudenhefner, TC Chen, U de'Liguoro
arXiv preprint arXiv:1503.04911, 2015
102015
A Coq library for mechanised first-order logic
D Kirst, J Hostert, A Dudenhefner, Y Forster, M Hermes, M Koch, ...
The Coq Workshop 2022, 2022
92022
Undecidability of semi-unification on a napkin
A Dudenhefner
5th International Conference on Formal Structures for Computation and …, 2020
82020
The algebraic intersection type unification problem
A Dudenhefner, M Martens, J Rehof
Logical Methods in Computer Science 13, 2017
82017
Undecidability of dyadic first-order logic in Coq
J Hostert, A Dudenhefner, D Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), 2022
72022
Constructive many-one reduction from the halting problem to semi-unification
A Dudenhefner
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
72022
Delegation-based mixin composition synthesis
J Bessai, B Düdder, A Dudenhefner, M Martens
Proceedings of Intersection Types and Related Systems (ITRS’14), Lecture …, 2014
72014
The undecidability of system F typability and type checking for reductionists
A Dudenhefner
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2021
52021
Principality and approximation under dimensional bound
A Dudenhefner, J Rehof
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
52019
Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)
A Dudenhefner, J Rehof
arXiv preprint arXiv:1705.06070, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20