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 | 41 | 2020 |

Combinatory logic synthesizer J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 37 | 2014 |

Intersection type calculi of bounded dimension A Dudenhefner, J Rehof ACM SIGPLAN Notices 52 (1), 653-665, 2017 | 26 | 2017 |

Combinatory process synthesis J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 19 | 2016 |

Typability in bounded dimension A Dudenhefner, J Rehof 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 15 | 2017 |

Mixin composition synthesis based on intersection types J Rehof, U de'Liguoro, B Düdder, A Dudenhefner, TC Chen, J Bessai Logical Methods in Computer Science 14, 2018 | 14 | 2018 |

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 | 13 | 2016 |

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 | 12 | 2015 |

A simpler undecidability proof for system F inhabitation A Dudenhefner, J Rehof 24th International Conference on Types for Proofs and Programs (TYPES 2018), 2019 | 10 | 2019 |

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 | 10 | 2015 |

The complexity of principal inhabitation A Dudenhefner, J Rehof 2nd International Conference on Formal Structures for Computation and …, 2017 | 9 | 2017 |

Undecidability of semi-unification on a napkin A Dudenhefner 5th International Conference on Formal Structures for Computation and …, 2020 | 8 | 2020 |

The algebraic intersection type unification problem A Dudenhefner, M Martens, J Rehof arXiv preprint arXiv:1611.05672, 2016 | 8 | 2016 |

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 | 7 | 2014 |

Constructive many-one reduction from the halting problem to semi-unification A Dudenhefner 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022 | 5 | 2022 |

Rank 3 Inhabitation of Intersection Types Revisited (Extended Version) A Dudenhefner, J Rehof arXiv preprint arXiv:1705.06070, 2017 | 5 | 2017 |

The intersection type unification problem A Dudenhefner, M Martens, J Rehof 1st International Conference on Formal Structures for Computation and …, 2016 | 5 | 2016 |

Principality and approximation under dimensional bound A Dudenhefner, J Rehof Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 4 | 2019 |

Lower End of the Linial-Post Spectrum A Dudenhefner, J Rehof 23rd International Conference on Types for Proofs and Programs (TYPES 2017), 2018 | 4 | 2018 |

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 | 3 | 2022 |