Martin Hofmann

According to our database, Martin Hofmann authored at least 12 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Schema-Guided Inductive Functional Programming - Through Automatic Detection of Type Morphisms.

Martin Hofmann

Künstliche Intell., 2012

2010

Schema-guided inductive functional programming through automatic detection of type morphisms.

Martin Hofmann

PhD thesis, 2010

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.

Martin Hofmann, Emanuel Kitzelmann

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

IGOR2 - an analytical inductive functional programming system: tool demo.

Martin Hofmann

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Incident Mining Using Structural Prototypes.

Ute Schmid, Martin Hofmann, Florian Bader, Tilmann Häberle, Thomas Schneider

Proceedings of the Trends in Applied Intelligent Systems, 2010

Data-Driven Detection of Recursive Program Schemes.

Martin Hofmann, Ute Schmid

Proceedings of the ECAI 2010, 2010

2009

Inductive Programming.

Ute Schmid, Martin Hofmann, Emanuel Kitzelmann

Künstliche Intell., 2009

Evolutionary Programming Guided by Analytically Generated Seeds.

Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid

Proceedings of the IJCCI 2009, 2009

Porting IgorII from Maude to Haskell.

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid

Proceedings of the Approaches and Applications of Inductive Programming, 2009

Automated Method Induction: Functional Goes Object Oriented.

Thomas Hieber, Martin Hofmann

Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007

Inductive Synthesis of Recursive Functional Programs.

Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007