Armin Kühnemann

Publication Activity (10 Years)

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

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
Deaccumulation techniques for improving provability. J. Log. Algebraic Methods Program. 71 (2) (2007)
Armin Kühnemann, Andreas Maletti
The Substitution Vanishes. AMAST (2006)
Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
Linear deterministic multi bottom-up tree transducers. Theor. Comput. Sci. 347 (1-2) (2005)
Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead. Inf. Process. Lett. 91 (2) (2004)
Janis Voigtländer, Armin Kühnemann
Composition of functions with accumulating parameters. J. Funct. Program. 14 (3) (2004)
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
Deaccumulation - Improving Provability. ASIAN (2003)
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
Relating Accumulative and Non-accumulative Functional Programs. RTA (2001)
Armin Kühnemann
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. Fuji International Symposium on Functional and Logic Programming (1999)
Armin Kühnemann
Benefits of Tree Transducers for Optimizing Functional Programs. FSTTCS (1998)
Armin Kühnemann
A Two-Dimensional Hierarchy for Attributed Tree Transducers. FCT (1997)
Armin Kühnemann
A Pumping Lemma for Output Languages of Macro Tree Transducers. CAAP (1996)
Armin Kühnemann, Heiko Vogler
Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. Acta Informatica 31 (5) (1994)
Armin Kühnemann, Heiko Vogler
A Pumping Lemma for Output Languages of Attributed Tree Transducers. Acta Cybern. 11 (4) (1994)

Armin Kühnemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Armin Kühnemann