If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Taxonomies Engineering & Materials Science
Trees (mathematics) Engineering & Materials Science
Context free grammars Engineering & Materials Science
Pattern matching Engineering & Materials Science

Research Output 1980 2012

Performance, distribution, and development of Ericsson composition engine

Zhang, X. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2012, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisOther research output

Engines
Chemical analysis
Scalability
Program processors
Communication

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-16

Research output: Contribution to journalArticleAcademicpeer-review

Software engineering
Processing
Chemical analysis
2 Citations (Scopus)

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 proceedingConference contributionAcademicpeer-review

Taxonomies
Trees (mathematics)
Pattern matching

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-159

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Trees (mathematics)
Taxonomies
Pattern matching
Model checking
4 Citations (Scopus)

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 proceedingConference contributionAcademicpeer-review

Context free grammars
Taxonomies

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 1992

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master

Acceptor algoritmen voor reguliere talen

Author: Geelen, J., 31 Jan 1988

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

A graphical user interface for the proof assistant yarrow

Author: Raijmakers, E., 31 Aug 1999

Supervisor: 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 1989

Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Algebraische beschrijving en implementatie van een circuit-compiler

Author: Peeters, E., 31 Aug 1990

Supervisor: Hemerik, C. (Supervisor 1) & Mak, R. (Supervisor 2)

Student thesis: Master