Research Output per year
Fingerprint Dive into the research topics where C. (Kees) Hemerik is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 2 Similar Profiles
Research Output 1980 2011
Component-based development of software language engineering tools
Ssanyu, J. & Hemerik, C., 2011, In : International Journal of Computing & ICT Research. 5, special issue, p. 7-16Research output: Contribution to journal › Article › Academic › peer-review
Forest FIRE: A taxonomy-based toolkit of tree automata and regular tree algorithms
Cleophas, L. G. W. A. & Hemerik, C., 2009, Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings). Maneth, S. (ed.). Berlin: Springer, p. 245-248 (Lecture Notes in Computer Science; vol. 5642).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Taxonomies of regular tree algorithms
Cleophas, L. G. W. A. & Hemerik, C., 2009, Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 146-159Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Towards a taxonomy for ECFG and RRPG parsing
Hemerik, C., 2009, Language and Automata Theory and Applications (3rd International Conference, LATA'09, Tarragona, Spain, April 2-8, 2009. Proceedings). Dediu, A. H., Ionescu, A. M. & Martín-Vide, C. (eds.). Berlin: Springer, p. 410-421 (Lecture Notes in Computer Science; vol. 5457).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
FoolProof : a component toolkit for abstract syntax with variable bindings
Hemerik, C., 2008, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0816)Research output: Book/Report › Report › Academic
Student theses
$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi
Author: van Dommelen, R., 31 Aug 1992Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)
Student thesis: Master
Acceptor algoritmen voor reguliere talen
Author: Geelen, J., 31 Jan 1988Supervisor: Hemerik, C. (Supervisor 1)
Student thesis: Master
A graphical user interface for the proof assistant yarrow
Author: Raijmakers, E., 31 Aug 1999Supervisor: Hemerik, C. (Supervisor 1) & Zwanenburg, J. (External person) (Supervisor 2)
Student thesis: Master
A hierarchy of general parser algorithms
Author: de Visser, P., 31 Oct 1989Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)
Student thesis: Master
Algebraische beschrijving en implementatie van een circuit-compiler
Author: Peeters, E., 31 Aug 1990Supervisor: Hemerik, C. (Supervisor 1) & Mak, R. (Supervisor 2)
Student thesis: Master