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

Research Output 1980 2012

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 ThesisAcademic

Engines
Chemical analysis
Scalability
Program processors
Communication
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-16

Research output: Contribution to journalArticleAcademicpeer-review

Software engineering
Processing
Chemical analysis
2009
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
1 Citation (Scopus)

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
2008

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/ReportReportAcademic

Open Access
File

Tree algorithms : two taxonomies and a toolkit

Cleophas, L. G. W. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 294 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
Taxonomies
Pattern matching
2006
2 Citations (Scopus)

Two related algorithms for root-to-frontier tree pattern matching

Cleophas, L. G. W. A., Hemerik, C. & Zwaan, G., 2006, In : International Journal of Foundations of Computer Science. 17, 6, p. 1253-1272

Research output: Contribution to journalArticleAcademicpeer-review

Trees (mathematics)
Pattern matching
2005
2 Citations (Scopus)

A missing link in root-to-frontier tree pattern matching

Cleophas, L. G. W. A., Hemerik, C. & Zwaan, G., 2005, Proceedings Tenth Prague Stringology Conference (PSC'05, Prague, Czech Republic, August 29-31, 2005). Holub, J. & Simánek, M. (eds.). Prague, Czech Republic: Czech Technical University in Prague, p. 215-229

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

2004

Software engineering reference framework

Chaudron, M. R. V., Groote, J. F., Hee, van, K. M., Hemerik, C., Somers, L. J. A. M. & Verhoeff, T., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0439)

Research output: Book/ReportReportAcademic

Open Access
File

The Cassandra project: metadata database communication infrastructure and its implementation

Siahaan, D. O. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2004, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

2000

Cocktail : a tool for deriving correct programs

Franssen, M. G. J., 2000, Eindhoven: Technische Universiteit Eindhoven. 238 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1999
Open Access
File

Object-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow

Zwanenburg, J., 1999, Eindhoven: Technische Universiteit Eindhoven. 347 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

Taxonomies and toolkits of regular language algorithms

Watson, B. W., 1995, Eindhoven: Technische Universiteit Eindhoven. 375 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

Type theory and the seven steps towards object-based happiness

Hemerik, C., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 161-175

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

happiness
1994

A programming logic based on type theory

Poll, E., 1994, Eindhoven: Technische Universiteit Eindhoven. 175 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1993
1992

Het ontwerp van een universitair informatica-curiculum

Kaldewaij, A. & Hemerik, C., 1992, Congresbundel Nederlands Informatica Onderwijs Congres (NIOC'90). Mulder, F. (ed.). Deventer: Kluwer Bedrijfswetenschappen, p. 383-411

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

1990

Types in lambda calculi and programming languages

Barendregt, H. P. & Hemerik, C., 1990, Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990). Jones, N. D. (ed.). Berlin: Springer, p. 1-35 (Lecture Notes in Computer Science; vol. 432)

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

1989
12 Citations (Scopus)

Bottom-up tree acceptors

Hemerik, C. & Katoen, J. P., 1989, In : Science of Computer Programming. 13, 1, p. 51-72

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Some category theoretical properties related to a model for a polymorphic lambda-calculus

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 8903)

Research output: Book/ReportReportAcademic

Open Access
File

The construction of a CPO model for second order lambda calculus with recursion

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989). Amsterdam: Centrum voor Wiskunde en Informatica, p. 131-148

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

1988

An introduction to the category-theoretic solution of recursive domain equations

Bos, R. & Hemerik, C., 1988, Eindhoven: Technische Universiteit Eindhoven. 47 p. (Computing science notes; vol. 8815)

Research output: Book/ReportReportAcademic

Open Access
File

Bottum-up tree acceptors

Hemerik, C. & Katoen, J. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computing science notes; vol. 8816)

Research output: Book/ReportReportAcademic

Open Access
File
1984

Formal definitions of programming languages as a basis for compiler construction

Hemerik, C., 1984, Eindhoven: Technische Hogeschool Eindhoven. 223 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File
1980

Formal derivation of a list processing program

Hemerik, C., 1980, In : Information Processing Letters. 10, 3, p. 124-126 3 p.

Research output: Contribution to journalArticleAcademicpeer-review

Processing

Relaties tussen taaldefinitie en taalimplementatie

Hemerik, C., 1980, Capita implementatie van programmeertalen. Vliet, van, J. C. (ed.). Amsterdam: Stichting Mathematisch Centrum, p. 109-142 (MC Syllabus; vol. 42)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic