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
5702012
Branching processes of Petri nets
J Engelfriet
Acta Informatica 28 (6), 575-591, 1991
4641991
Handle-rewriting hypergraph grammars
B Courcelle, J Engelfriet, G Rozenberg
Journal of computer and system sciences 46 (2), 218-270, 1993
3921993
Bottom-up and top-down tree transformations—a comparison
J Engelfriet
Mathematical systems theory 9 (2), 198-231, 1975
3921975
Macro tree transducers
J Engelfriet, H Vogler
Journal of computer and system sciences 31 (1), 71-146, 1985
2781985
Elementary net systems
G Rozenberg, J Engelfriet
Advanced Course on Petri Nets, 12-121, 1996
2471996
Io and oi. i
J Engelfriet, EM Schmidt
Journal of computer and system sciences 15 (3), 328-353, 1977
2301977
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
2242001
Top-down tree transducers with regular look-ahead
J Engelfriet
Mathematical systems theory 10 (1), 289-303, 1976
2171976
Tree transducers, L systems, and two-way machines
J Engelfriet, G Rozenberg, G Slutzki
Journal of Computer and System Sciences 20 (2), 150-202, 1980
2091980
Node replacement graph grammars
J Engelfriet, G Rozenberg
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
1821997
Some open questions and recent results on tree transducers and tree languages
J Engelfriet
Formal Language Theory, 241-286, 1980
1751980
Context-free graph grammars
J Engelfriet
Handbook of formal languages, 125-213, 1997
1231997
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
1221999
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
1181980
Tree automata and tree grammars
J Engelfriet
arXiv preprint arXiv:1510.02036, 2015
1132015
Io and oi. ii
J Engelfriet, EM Schmidt
Journal of computer and system sciences 16 (1), 67-99, 1978
1101978
X-automata on ω-words
J Engelfriet, HJ Hoogeboom
Theoretical Computer Science 110 (1), 1-51, 1993
951993
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
892000
Attribute grammars: Attribute evaluation methods
J Engelfriet
Methods and tools for compiler construction, 103-138, 1984
891984
The system can't perform the operation now. Try again later.
Articles 1–20