Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Author: Nymeyer, A.
Home Policy Brochure Browse Search User Area Contact Help


Katoen, J.P. and Nymeyer, A. (2000) Pattern-matching algorithms based on term rewrite systems. Theoretical Computer Science, 238 (1-2). pp. 439-463. ISSN 0304-3975 *** ISI Impact 0,643 ***


Alblas, H. and Groen, H. and Nymeyer, A. and Slot, C. (1998) Student Language Development Environment. Twente University Press, Enschede. ISBN 90 365 1116 x


Brinksma, H. and Nymeyer, A. (1997) Process Algebra and Performance Modelling. Technical Report TR-CTIT-97-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and Nymeyer, A. (1997) The systematic development of a pattern-matching algorithm using term rewrite systems. In: Proceedings of the Computing: the Australasian Theory Symposium (CATS'97), Sydney, Australia. pp. 59-72. Australian Computer Science Communication 19(2).
Nymeyer, A. and Katoen, J.P. (1997) Code generation based on formal BURS theory and heuristic search. Acta informatica, 34 (8). pp. 597-635. ISSN 0001-5903 *** ISI Impact 0,722 ***


Alblas, H. and Nymeyer, A. (1996) Practice and Principles of Compiler Building with C. Prentice Hall. ISBN 0133492672
Nymeyer, A. and Katoen, J.P. and Westra, Y. and Alblas, H. (1996) Code Generation = A* + BURS. In: Compiler Construction, 6th International Conference, CC'96, April 24-26, 1996, Linkoping, Sweden. pp. 160-177. Lecture Notes in Computer Science 1060. Springer-Verlag. ISBN 3-540-61053-7