Skip to content

Emanuel Kitzelmann

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

9

Active years

2002–2026

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026KIConstrained Entity Selection Under Partial Knowledge for LLM-Based Knowledge Graph QA.Emanuel Kitzelmann
2025ACLMitigating Hallucination by Integrating Knowledge Graphs into LLM Inference - a Systematic Literature Review.Robin Wagner, Emanuel Kitzelmann, Ingo Boersch
2014KIApplying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2.Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid
2010PEPMI/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.Martin Hofmann, Emanuel Kitzelmann
2009IJCCIEvolutionary Programming Guided by Analytically Generated Seeds.Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid
2008ECAIData-driven Induction of Functional Programs.Emanuel Kitzelmann
2008KIAnalysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
2008LOPSTRAnalytical Inductive Functional Programming.Emanuel Kitzelmann
2007KIInductive Synthesis of Recursive Functional Programs.Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid
2003EuroParCost Optimality and Predictability of Parallel Programming with Skeletons.Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
2003PACTDesign and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann
2002AISCInductive Synthesis of Functional Programs.Emanuel Kitzelmann, Ute Schmid, Martin Mhlpfordt, Fritz Wysotzki