Armin Kühnemann

According to our database1, Armin Kühnemann
  • authored at least 15 papers between 1994 and 2007.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2007
Deaccumulation techniques for improving provability.
J. Log. Algebr. Program., 2007

2006
The Substitution Vanishes.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Linear deterministic multi bottom-up tree transducers.
Theor. Comput. Sci., 2005

2004
Composition of functions with accumulating parameters.
J. Funct. Program., 2004

A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead.
Inf. Process. Lett., 2004

2003
Deaccumulation - Improving Provability.
Proceedings of the Advances in Computing Science, 2003

2001
Relating Accumulative and Non-accumulative Functional Programs.
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Attribute grammars and program optimization - summer colloquium Waseda University, Tokyo, Japan, July 25 - August 2, 2000.
Waseda University, 2001

1999
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998
Benefits of Tree Transducers for Optimizing Functional Programs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997
Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata.
PhD thesis, 1997

A Two-Dimensional Hierarchy for Attributed Tree Transducers.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996
A Pumping Lemma for Output Languages of Macro Tree Transducers.
Proceedings of the Trees in Algebra and Programming, 1996

1994
A Pumping Lemma for Output Languages of Attributed Tree Transducers.
Acta Cybern., 1994

Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic.
Acta Inf., 1994


  Loading...