Martin Hofmann

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Quantifier Elimination

Execution Model

Automatic Detection

Functional Programming

Top Venues

Künstliche Intell.

University of Bamberg (PHD)

Education History

University of Bamberg

PHD

Publications

Martin Hofmann
Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms. Künstliche Intell. 26 (1) (2012)
Martin Hofmann
IGOR2 - an analytical inductive functional programming system: tool demo. PEPM (2010)
Martin Hofmann, Emanuel Kitzelmann
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. PEPM (2010)
Martin Hofmann, Ute Schmid
Data-Driven Detection of Recursive Program Schemes. ECAI (2010)
Ute Schmid, Martin Hofmann, Florian Bader, Tilmann Häberle, Thomas Schneider
Incident Mining Using Structural Prototypes. IEA/AIE (2) (2010)
Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid
Evolutionary Programming Guided by Analytically Generated Seeds. IJCCI (2009)
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
Porting IgorII from Maude to Haskell. AAIP (2009)
Thomas Hieber, Martin Hofmann
Automated Method Induction: Functional Goes Object Oriented. AAIP (2009)
Ute Schmid, Martin Hofmann, Emanuel Kitzelmann
Inductive Programming. Künstliche Intell. 23 (2) (2009)
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. KI (2008)
Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
Inductive Synthesis of Recursive Functional Programs. KI (2007)