Kees Hemerik

Affiliations:
  • Eindhoven University of Technology, Netherlands


According to our database1, Kees Hemerik authored at least 9 papers between 1980 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2009
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms.
Proceedings of the Implementation and Application of Automata, 2009

Taxonomies of Regular Tree Algorithms.
Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

Towards a Taxonomy for ECFG and RRPG Parsing.
Proceedings of the Language and Automata Theory and Applications, 2009

2006
Two Related Algorithms for Root-to-frontier Tree Pattern Matching.
Int. J. Found. Comput. Sci., 2006

2005
A missing link in root-to-frontier tree pattern matching.
Proceedings of the Prague Stringology Conference, 2005

1993
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.
RAIRO Theor. Informatics Appl., 1993

1990
Types in Lambda Calculi and Programming Languages.
Proceedings of the ESOP'90, 1990

1989
Bottom-Up Tree Acceptors.
Sci. Comput. Program., 1989

1980
Formal Derivation of a List Processing Program.
Inf. Process. Lett., 1980


  Loading...