EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


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

2000

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

1998

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

1997

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

1996

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