Joost-Pieter Katoen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 2

> Home > Persons > Joost-Pieter Katoen

Publications

2000
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KatoenN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KatoenN00
Joost-Pieter Katoen, Albert Nymeyer:
Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci. 238(1-2): 439-464 (2000)
1997
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/NymeyerK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/NymeyerK97
Albert Nymeyer, Joost-Pieter Katoen:
Code Generation Based on Formal BURS Therory and Heuristic Search. Acta Informatica 34(8): 597-635 (1997)
1996
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/NymeyerKWA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/NymeyerKWA96
Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas:
Code Generation = A* + BURS. CC 1996: 160-176

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.