Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Duik in de onderzoeksthema's waar Kees Hemerik actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Vergelijkbare profielen
Taxonomies Engineering en materiaalwetenschappen
Trees (mathematics) Engineering en materiaalwetenschappen
Context free grammars Engineering en materiaalwetenschappen
Pattern matching Engineering en materiaalwetenschappen

Onderzoeksoutput 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.

Onderzoeksoutput: ScriptiePd Eng ThesisAcademic

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, blz. 7-16

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Software engineering
Processing
Chemical analysis
2 Citaties (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. (redactie). Berlin: Springer, blz. 245-248 (Lecture Notes in Computer Science; vol. 5642)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Prague: Czech Technical University in Prague, blz. 146-159

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Trees (mathematics)
Taxonomies
Pattern matching
Model checking
4 Citaties (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. (redactie). Berlin: Springer, blz. 410-421 (Lecture Notes in Computer Science; vol. 5457)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Context free grammars
Taxonomies

Scriptie

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

Auteur: van Dommelen, R., 31 aug 1992

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

Scriptie/masterproef: Master

Acceptor algoritmen voor reguliere talen

Auteur: Geelen, J., 31 jan 1988

Begeleider: Hemerik, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A graphical user interface for the proof assistant yarrow

Auteur: Raijmakers, E., 31 aug 1999

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Zwanenburg, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A hierarchy of general parser algorithms

Auteur: de Visser, P., 31 okt 1989

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

Scriptie/masterproef: Master

Algebraische beschrijving en implementatie van een circuit-compiler

Auteur: Peeters, E., 31 aug 1990

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

Scriptie/masterproef: Master