Inductive Synthesis of Recursive Functional Programs. - Martin Hofmann 008; Andreas Hirschberger; Emanuel Kitzelmann; Ute Schmid (KI, 2007)

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. - Martin Hofmann 008; Emanuel Kitzelmann; Ute Schmid (KI, 2008)

Automated Method Induction: Functional Goes Object Oriented. - Thomas Hieber; Martin Hofmann 008 (AAIP, 2009)

Porting IgorII from Maude to Haskell. - Martin Hofmann 008; Emanuel Kitzelmann; Ute Schmid (AAIP, 2009)

Evolutionary Programming Guided by Analytically Generated Seeds. - Neil Crossley; Emanuel Kitzelmann; Martin Hofmann 008; Ute Schmid (IJCCI, 2009)

Inductive Programming. - Ute Schmid; Martin Hofmann 008; Emanuel Kitzelmann (Künstliche Intell., 2009)

Data-Driven Detection of Recursive Program Schemes. - Martin Hofmann 008; Ute Schmid (ECAI, 2010)

Incident Mining Using Structural Prototypes. - Ute Schmid; Martin Hofmann 008; Florian Bader; Tilmann Häberle; Thomas Schneider 005 (IEA/AIE (2), 2010)

IGOR2 - an analytical inductive functional programming system: tool demo. - Martin Hofmann 008 (PEPM, 2010)

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. - Martin Hofmann 008; Emanuel Kitzelmann (PEPM, 2010)

Schema-guided inductive functional programming through automatic detection of type morphisms. - Martin Hofmann 008 (2010)

Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms. - Martin Hofmann 008 (Künstliche Intell., 2012)