Andrej Dudenhefner
Orcid: 0000-0003-1104-444X
According to our database1,
Andrej Dudenhefner
authored at least 24 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
2
1
2
1
1
3
1
1
1
4
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
2023
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).
Log. Methods Comput. Sci., 2023
Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023
2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
2019
Proc. ACM Program. Lang., 2019
Fundam. Informaticae, 2019
2018
Log. Methods Comput. Sci., 2018
Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018
2017
Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2014
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014