Veröffentlichungen/Publications

2011

• Implementation of well-typings in Java_λ (pdf)
  In Proceedings of the 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11) , pages 103-113, 26. bis 28. September 2011 auf Schloss Raesfeld im Münsterland
• Well-typings for Java_λ (pdf)
  In Proceedings of the 9th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series, ISBN 978-1-4503-0935-6, Kongens Lyngby, Denmark, August 24-26, 2011

2010

• Formalization of the Java_lambda type system (pdf)
  In Proceedings of the 27. Workshop der GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" (3. - 5. Mai 2010, Bad Honnef)

2009

• Java Type Unification with Wildcards (pdf)
  In Proceedings of the 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2008

• Subtyping in Java 5.0 (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education, pages 33-37, Stuttgart, 20. Februar 2008
• Resolving of Intersection Types in Java (pdf)
  In Proceedings of the 25. Workshop der GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" (5. - 7. Mai 2008, Bad Honnef)
• Intersection Types in Java (pdf)
  In Proceedings of the 6th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series; Vol. 347 Modena, Italy, September 9-11, 2008

2007

• Formalization of the Java Type System (pdf)
  In Proceedings of the 24. Workshop der GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" (2. - 4. Mai 2007, Bad Honnef)

• Java type unification with wildcards (pdf)
  In Proceedings of 21st International Workshop on Unification, pages , Paris, France, June 29. 2007

• Typeless Programming in Java 5.0 with Wildcards (pdf)
  In Proceedings of the 5th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series; Vol. 272 Monte de Caparica/Lisbon, Portugal, September 5-7, 2007

• Java type unification with wildcards (pdf)
  In Proceedings of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming , pages 234-245, Würzburg, Germany, October 4-6, 2007

• Implementierung eines Typinferenzalgorithmus für Java 5.0 (pdf)
  In Proceedings of the 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07) , pages 141-146, 10.-12. Oktober 2007, Timmendorfer Strand

2006

• Typ-Inferenz in Java 5.0 (pdf)
  In Proceedings (erschienen in Softwaretechnik-Trends 26(2)) of the 23. Workshop der GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" zusammen mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software) (3. - 5. Mai 2006, Bad Honnef)

• Typeless programming in Java 5.0 (pdf)
  In Proceedings of the 4th international symposium on Principles and practice of programming in Java ACM International Conference Proceeding Series; Vol. 178 Mannheim, Germany, August 30 - September 1, 2006.

• Type-Inference in Java (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education (to appear) , pages , Horb, 09. November 2006

2005

• Object-Oriented Tokens for the Parser Generator jay (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education , pages 33-35, Stuttgart, 03. Mai 2005

2004

• Type Unification in Generic-Java (postscript)
  In Proceedings of 18th International Workshop on Unification, pages , Cork, Ireland, July 5. 2004

• Untyped Methods in Generic-Java (pdf)
  In Proceedings of the Annual Meeting for Information Technology & Computer Science of the BA-University of Cooperative Education 1st Edition , pages 16-18, Stuttgart, 07. Juli 2004

• ARIS meets RUP - The ARIS Unified Information System Development Proces (postscript)
  In Proceedings des 3 . GI-Workshop "EPK 2004 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten" , pages 65-86, Luxemburg, 06. Oktober 2004

1999

• Polymorphism in OBJ-P (postscript)
  In Lecture Notes \ in Computer Science 1755, Andrei Ershov 3rd. Intern. Conf. "Perspectives of System Informatics" , pages 148-153, July 6-9, 1999, Novosibirsk, Russia

1998

• Type-Inference in OBJ-P , in Proceedings of the 7th International Workshop on Fuctional and Logic Programming, Bad Honnef, April 1998 (postscript)

• OBJ-P The Polymorphic Extension of OBJ-3 Phd thesis, December 1998 (postscript)

1997

• Technical report WSI-97-1 Polymorphically order-sorted types in OBJ-3 (postscript)

• Technical report WSI-97-2 Parametric Polymorphism in OBJ-3 (postscrip\ t)

• Complete polymorphic order-sorted unification, in Proceedings of Programming Languages and Fundamentals of Programming, Fehmarn, September 1997 (postscript)

1996

• Resolving of Overloading and Subtyping, in Preliminary Proceedings of Prespectives of System Informatics '96, Novosibirsk (postscript)

1995

• Semantics and Implementation of a Functional Programming Language with Subtypes and Overloading (postscript)
  12. Workshop der GI-Fachgruppe 2.1.4 "Alternative Konzepte für Sprachen und Rechner" (1. - 2. May 1995, Bad Honnef)

• Technical report WSI-95-22 Concepts for Overloading and Subtyping in an Algebraic Specification Language (postscript)

1994

• Diplomarbeit (Master Thesis) (postscript)

• Subtyping and Overloading in a Functional Programming Language (postscript)
  11. Workshop der GI-Fachgruppe 2.1.4 "Alternative Konzepte für Sprachen und Rechner" (9. - 11. Mai 1994, Bad Honnef)

• Technical report WSI-94-14 Subtyping and Overloading in a Functional Programming Language (postscript)