The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Armin Kühnemann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Armin Kühnemann, Andreas Maletti
    The Substitution Vanishes. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:173-188 [Conf]
  2. Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Deaccumulation - Improving Provability. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:146-160 [Conf]
  3. Armin Kühnemann
    A Pumping Lemma for Output Languages of Macro Tree Transducers. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:44-58 [Conf]
  4. Armin Kühnemann
    A Two-Dimensional Hierarchy for Attributed Tree Transducers. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:281-292 [Conf]
  5. Armin Kühnemann
    Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:114-130 [Conf]
  6. Armin Kühnemann
    Benefits of Tree Transducers for Optimizing Functional Programs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:146-157 [Conf]
  7. Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
    Relating Accumulative and Non-accumulative Functional Programs. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:154-168 [Conf]
  8. Armin Kühnemann, Heiko Vogler
    Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:5, pp:431-477 [Journal]
  9. Armin Kühnemann, Heiko Vogler
    A Pumping Lemma for Output Languages of Attributed Tree Transducers. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1994, v:11, n:4, pp:261-306 [Journal]
  10. Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
    A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:91, n:2, pp:57-67 [Journal]
  11. Janis Voigtländer, Armin Kühnemann
    Composition of functions with accumulating parameters. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:3, pp:317-363 [Journal]
  12. Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
    Linear deterministic multi bottom-up tree transducers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:347, n:1-2, pp:276-287 [Journal]
  13. Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
    Deaccumulation techniques for improving provability. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:71, n:2, pp:79-113 [Journal]

Search in 0.115secs, Finished in 0.115secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002