Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Armin Kühnemann

> Home > Persons

Person information

affiliation: Dresden University of Technology, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GieslKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GieslKV07
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer:
Deaccumulation techniques for improving provability. J. Log. Algebraic Methods Program. 71(2): 79-113 (2007)
2006
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/KuhnemannM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/KuhnemannM06
Armin Kühnemann, Andreas Maletti:
The Substitution Vanishes. AMAST 2006: 173-188
2005
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FulopKV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FulopKV05
Zoltán Fülöp, Armin Kühnemann, Heiko Vogler:
Linear deterministic multi bottom-up tree transducers. Theor. Comput. Sci. 347(1-2): 276-287 (2005)
2004
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FulopKV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FulopKV04
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): 57-67 (2004)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/VoigtlanderK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/VoigtlanderK04
Janis Voigtländer, Armin Kühnemann:
Composition of functions with accumulating parameters. J. Funct. Program. 14(3): 317-363 (2004)
2003
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GieslKV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GieslKV03
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer:
Deaccumulation - Improving Provability. ASIAN 2003: 146-160
2001
[b2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0005226
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0005226
Armin Kühnemann:
Attribute grammars and program optimization - summer colloquium Waseda University, Tokyo, Japan, July 25 - August 2, 2000. Waseda University 2001, pp. 1-64
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/KuhnemannGK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/KuhnemannGK01
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi:
Relating Accumulative and Non-accumulative Functional Programs. RTA 2001: 154-168

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Kuhnemann99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Kuhnemann99
Armin Kühnemann:
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. Fuji International Symposium on Functional and Logic Programming 1999: 114-130
1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Kuhnemann98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Kuhnemann98
Armin Kühnemann:
Benefits of Tree Transducers for Optimizing Functional Programs. FSTTCS 1998: 146-157
1997
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Kuhnemann97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Kuhnemann97
Armin Kühnemann:
Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata. Dresden University of Technology, Shaker 1997, ISBN 3-8265-2879-4, pp. 1-180
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Kuhnemann97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Kuhnemann97
Armin Kühnemann:
A Two-Dimensional Hierarchy for Attributed Tree Transducers. FCT 1997: 281-292
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Kuhnemann96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Kuhnemann96
Armin Kühnemann:
A Pumping Lemma for Output Languages of Macro Tree Transducers. CAAP 1996: 44-58
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/KuhnemannV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/KuhnemannV94
Armin Kühnemann, Heiko Vogler:
Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. Acta Informatica 31(5): 431-477 (1994)
[j1]
- view
  - electronic edition @ u-szeged.hu
  - no references & citations available
- export record
  dblp key:
  - journals/actaC/KuhnemannV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/KuhnemannV94
Armin Kühnemann, Heiko Vogler:
A Pumping Lemma for Output Languages of Attributed Tree Transducers. Acta Cybern. 11(4): 261-305 (1994)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.