Follow
Joost Engelfriet
Joost Engelfriet
associate professor, LIACS, Leiden University
Verified email at liacs.leidenuniv.nl - Homepage
Title
Cited by
Cited by
Year
Graph structure and monadic second-order logic: a language-theoretic approach
B Courcelle, J Engelfriet
Cambridge University Press, 2012
7082012
Branching processes of Petri nets
J Engelfriet
Acta Informatica 28, 575-591, 1991
5091991
Handle-rewriting hypergraph grammars
B Courcelle, J Engelfriet, G Rozenberg
Journal of computer and system sciences 46 (2), 218-270, 1993
4371993
Bottom-up and top-down tree transformations—a comparison
J Engelfriet
Mathematical systems theory 9 (2), 198-231, 1975
4091975
Macro tree transducers
J Engelfriet, H Vogler
Journal of computer and system sciences 31 (1), 71-146, 1985
2981985
Elementary net systems
G Rozenberg, J Engelfriet
Advanced Course on Petri Nets, 12-121, 1996
2661996
MSO definable string transductions and two-way finite-state transducers
J Engelfriet, HJ Hoogeboom
ACM Transactions on Computational Logic (TOCL) 2 (2), 216-254, 2001
2532001
Io and oi. i
J Engelfriet, EM Schmidt
Journal of computer and system sciences 15 (3), 328-353, 1977
2471977
Top-down tree transducers with regular look-ahead
J Engelfriet
Mathematical systems theory 10 (1), 289-303, 1976
2321976
Tree transducers, L systems and two-way machines
J Engelfriet, G Rozenberg, G Slutzki
Proceedings of the tenth annual ACM symposium on Theory of computing, 66-74, 1978
2251978
Node replacement graph grammars
J Engelfriet, G Rozenberg
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
1981997
Some open questions and recent results on tree transducers and tree languages
J Engelfriet
Formal Language Theory, 241-286, 1980
1821980
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
1421999
Io and oi. ii
J Engelfriet, EM Schmidt
Journal of computer and system sciences 16 (1), 67-99, 1978
142*1978
Context-free graph grammars
J Engelfriet
Handbook of formal languages: volume 3 beyond words, 125-213, 1997
1381997
Tree automata and tree grammars
J Engelfriet
arXiv preprint arXiv:1510.02036, 2015
1282015
Fixed point languages, equality languages, and representation of recursively enumerable languages
J Engelfriet, G Rozenberg
Journal of the ACM (JACM) 27 (3), 499-518, 1980
1261980
X-automata on ω-words
J Engelfriet, HJ Hoogeboom
Theoretical Computer Science 110 (1), 1-51, 1993
1011993
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
R Bloem, J Engelfriet
Journal of Computer and System Sciences 61 (1), 1-50, 2000
982000
Pushdown machines for the macro tree transducer
J Engelfriet, H Vogler
Theoretical Computer Science 42, 251-368, 1986
961986
The system can't perform the operation now. Try again later.
Articles 1–20