Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Publications - M. Sc. Andrej Dudenhefner

Research Papers (peer-reviewed)

2017

  • Typability in Bounded Dimension
    A. Dudenhefner and J. Rehof
    LICS 2017, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, June 2017
    PDF
  • Intersection Type Calculi of Bounded Dimension
    A. Dudenhefner and J. Rehof
    POPL 2017, Proceedings of the 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 2017
    DOI: 10.1145/3009837.3009862
    PDF

2016

  • Combinatory Process Synthesis
    J. Bessai, A. Dudenhefner, B. Düdder, M. Martens and J. Rehof
    Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Ed. by Tiziana Margaria and Bernhard Steffen. accepted.
    Corfu, October 05-14 2016.
    DOI: 10.1007/978-3-319-47166-2_19
  • The Intersection Type Unification Problem
    A. Dudenhefner, M. Martens and J. Rehof
    FSCD 2016, 1st International Conference on Formal Structures for Computation and Deduction, Porto, Portugal, 22 - 26 June 2016.
    Leibniz International Proceedings in Informatics, June 2016.
  • Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters
    J. Bessai, A. Dudenhefner, B. Düdder and J. Rehof
    TYPES 2016, 22nd International Conference on Types for Proofs and Programs.
    Novi Sad, May 23-26 2016.
  • Rank 3 Inhabitation of Intersection Types Revisited
    J. Bessai, A. Dudenhefner, B. Düdder and J. Rehof
    TYPES 2016, 22nd International Conference on Types for Proofs and Programs.
    Novi Sad, May 23-26 2016.

2015

  • Mixin Composition Synthesis based on Intersection Types
    J. Bessai, A. Dudenhefner, B. Düdder, T. Chen, U. De'Liguoro and J. Rehof
    In Proceedings of TLCA 2015 13th International Conference on Typed Lambda Calculi and Applications, Warsaw, Poland, June 29 - July 03, 2015, to appear
    DOI: 10.4230/LIPIcs.TLCA.2015.76
    PDF
  • Typing Classes and Mixins with Intersection Types
    B. Düdder, U. de'Liguoro, T. Chen, J. Bessai and A. Dudenhefner
    Post-proceedings ITRS 2014, EPCTS, Vol. 177, March 2015
    DOI: 10.4204/EPTCS.177.7

2014

  • Combinatory Logic Synthesizer
    J. Bessai, A. Dudenhefner, B. Düdder, M. Martens and J. Rehof
    ISoLA 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, October 2014, Part I, LNCS 8802, pp. 26--40. Springer, Heidelberg, 2014
    DOI: 10.1007/978-3-662-45234-9_3
    PDF
  • Delegation-based Mixin Composition Synthesis
    B. Düdder, J. Bessai, A. Dudenhefner and M. Martens
    ITRS 2014, Intersection Types and Related Systems, Vienna, Austria, June 2014
    PDF

Thesis

  • Veröffentlichung von häufig vorkommenden Mustern in relationalen Datenbanken unter Vertraulichkeitsanforderungen
    Master's Thesis
    PDF
  • Untersuchung und Implementierung des coinduktiven Stromkalküls
    Bachelor's Thesis
    PDF


Sub content

M. Sc. Andrej Dudenhefner

Information

Cooperation

TULogo