Andrej Dudenhefner

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 25

Top Venues

FSCD

CoRR

TYPES

Log. Methods Comput. Sci.

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Andrej Dudenhefner, Daniele Pautasso
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions. FSCD (2024)
Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof
Finite Combinatory Logic with Predicates. TYPES (2023)
Andrej Dudenhefner
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). Log. Methods Comput. Sci. 19 (4) (2023)
Andrej Dudenhefner
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). CoRR (2022)
Andrej Dudenhefner
Certified Decision Procedures for Two-Counter Machines. FSCD (2022)
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
Undecidability of Dyadic First-Order Logic in Coq. ITP (2022)
Andrej Dudenhefner
Constructive Many-One Reduction from the Halting Problem to Semi-Unification. CSL (2022)
Andrej Dudenhefner
The Undecidability of System F Typability and Type Checking for Reductionists. LICS (2021)
Andrej Dudenhefner, Pawel Urzyczyn
Kripke Semantics for Intersection Formulas. ACM Trans. Comput. Log. 22 (3) (2021)
Andrej Dudenhefner
Undecidability of Semi-Unification on a Napkin. FSCD (2020)
Andrej Dudenhefner, Jakob Rehof
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. Fundam. Informaticae 170 (1-3) (2019)
Andrej Dudenhefner, Jakob Rehof
Principality and approximation under dimensional bound. Proc. ACM Program. Lang. 3 (POPL) (2019)
Andrej Dudenhefner, Jakob Rehof
A Simpler Undecidability Proof for System F Inhabitation. TYPES (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. 14 (1) (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. CoRR (2017)
Andrej Dudenhefner, Jakob Rehof
Lower End of the Linial-Post Spectrum. TYPES (2017)
Andrej Dudenhefner, Jakob Rehof
Rank 3 Inhabitation of Intersection Types Revisited (Extended Version). CoRR (2017)
Andrej Dudenhefner, Jakob Rehof
Typability in bounded dimension. LICS (2017)
Andrej Dudenhefner, Jakob Rehof
The Complexity of Principal Inhabitation. FSCD (2017)
Andrej Dudenhefner, Jakob Rehof
Intersection type calculi of bounded dimension. POPL (2017)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Algebraic Intersection Type Unification Problem. Log. Methods Comput. Sci. 13 (3) (2017)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Intersection Type Unification Problem. CoRR (2016)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Intersection Type Unification Problem. FSCD (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Process Synthesis. ISoLA (1) (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis Based on Intersection Types. TLCA (2015)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Logic Synthesizer. ISoLA (1) (2014)
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro
Typing Classes and Mixins with Intersection Types. ITRS (2014)

Andrej Dudenhefner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrej Dudenhefner