关注
Joost Engelfriet
Joost Engelfriet
associate professor, LIACS, Leiden University
在 liacs.leidenuniv.nl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Graph structure and monadic second-order logic: a language-theoretic approach
B Courcelle, J Engelfriet
Cambridge University Press, 2012
7342012
Branching processes of Petri nets
J Engelfriet
Acta Informatica 28, 575-591, 1991
5101991
Handle-rewriting hypergraph grammars
B Courcelle, J Engelfriet, G Rozenberg
Journal of computer and system sciences 46 (2), 218-270, 1993
4431993
Bottom-up and top-down tree transformations—a comparison
J Engelfriet
Mathematical systems theory 9 (2), 198-231, 1975
4121975
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
2721996
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
2602001
Io and oi. i
J Engelfriet, EM Schmidt
Journal of computer and system sciences 15 (3), 328-353, 1977
2381977
Top-down tree transducers with regular look-ahead
J Engelfriet
Mathematical systems theory 10 (1), 289-303, 1976
2331976
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
2211978
Node replacement graph grammars
J Engelfriet, G Rozenberg
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
1971997
Some open questions and recent results on tree transducers and tree languages
J Engelfriet
Formal Language Theory, 241-286, 1980
1821980
Context-free graph grammars
J Engelfriet
Handbook of formal languages: volume 3 beyond words, 125-213, 1997
1411997
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
1401999
Io and oi. ii
J Engelfriet, EM Schmidt
Journal of computer and system sciences 16 (1), 67-99, 1978
139*1978
Tree automata and tree grammars
J Engelfriet
arXiv preprint arXiv:1510.02036, 2015
1292015
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
1281980
X-automata on ω-words
J Engelfriet, HJ Hoogeboom
Theoretical Computer Science 110 (1), 1-51, 1993
1041993
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
Attribute grammars: Attribute evaluation methods
J Engelfriet
Methods and tools for compiler construction, 103-138, 1984
971984
系统目前无法执行此操作，请稍后再试。
文章 1–20