World's Best Scientists 2026 revealed!
Joost Engelfriet

Joost Engelfriet

Award Badge
Computer Science
Netherlands
2025

D-Index & Metrics

Computer Science

D-Index
52
Citations
8679
World Ranking
5160
National Ranking
77

Research.com Recognitions

  • 2025 - Research.com Computer Science in Netherlands Leader Award
  • 2022 - Research.com Computer Science in Netherlands Leader Award

Overview

Joost Engelfriet is affiliated with Leiden University in the Netherlands and works primarily in the field of computer science. Their research spans several subfields including computational theory and mathematics, artificial intelligence, and computer networks and communications.

Engelfriet's publication record includes contributions to notable academic venues such as:

  • Theoretical Computer Science
  • Discrete Mathematics & Theoretical Computer Science
  • Information Processing Letters

Their recent papers cover topics focused on automata theory, logic, and computational models. Notable publications include:

  • "XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles" (2020, Theoretical Computer Science)
  • "A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage" (2020, Discrete Mathematics & Theoretical Computer Science)
  • "Computability by monadic second-order logic" (2020, Information Processing Letters)

Engelfriet's work addresses core areas such as semigroups and automata theory, algorithms and data compression, logic and programming type systems, optimization problems, computability and AI algorithms, as well as advanced algebra and logic. These topics reflect a focus on theoretical underpinnings of computation and formal methods.

  • semigroups and automata theory
  • Algorithms and Data Compression
  • Logic, programming, and type systems
  • Optimization and Search Problems
  • Computability, Logic, AI Algorithms
  • Advanced Algebra and Logic

Collaborations are part of Engelfriet's research activities, including joint work with frequent co-authors such as Hendrik Jan Hoogeboom, Bart Samwel, and Heiko Vogler. These collaborations appear within the context of their specialized research topics.

  • Hendrik Jan Hoogeboom
  • Bart Samwel
  • Heiko Vogler

The scientist's work contributes to ongoing developments in computational theory using formal logic and automata frameworks. The range of publication venues and topics indicates a sustained engagement with several branches of theoretical computer science and artificial intelligence, reflecting specialized expertise in these domains.

Best Publications

  • Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach

    Bruno Courcelle;Joost Engelfriet

  • Branching processes of Petri nets

    Joost Engelfriet

  • Handle-rewriting hypergraph grammars

    Bruno Courcelle;Joost Engelfriet;Grzegorz Rozenberg

  • Bottom-up and top-down tree transformations - a comparison

    Joost Engelfriet

  • Elementary net systems

    G. Rozenberg;J. Engelfriet

  • Macro Tree Transducers

    Joost Engelfriet;Heiko Vogler

  • IO and OI. II

    Joost Engelfriet;Erik Meineche Schmidt

  • MSO definable string transductions and two-way finite-state transducers

    Joost Engelfriet;Hendrik Jan Hoogeboom

  • Top-down tree transducers with regular look-ahead

    Joost Engelfriet

  • Tree Transducers, L Systems, and Two-Way Machines

    Joost Engelfriet;Grzegorz Rozenberg;Giora Slutzki

  • Node replacement graph grammars

    J. Engelfriet;G. Rozenberg

  • SOME OPEN QUESTIONS AND RECENT RESULTS ON TREE TRANSDUCERS AND TREE LANGUAGES

    Joost Engelfriet

  • IO and OI

    Joost Engelfriet;Erik Meineche Schmidt

  • Context-free graph grammars

    Joost Engelfriet

  • Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations

    Joost Engelfriet;Sebastian Maneth

  • Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages

    J. Engelfriet;G. Rozenberg

  • X-automata on Ω-words

    Joost Engelfriet;Hendrik Jan Hoogeboom

  • A comparison of boundary graph grammars and context-free hypergraph grammars

    Joost Engelfriet;Grzegorz Rozenberg

  • Attribute grammars: attribute evaluation methods

    J Engelfriet

  • A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

    Roderick Bloem;Joost Engelfriet

  • Tree transducers, L systems and two-way machines (Extended Abstract)

    J. Engelfriet;G. Rozenberg;G. Slutzki

Frequent Co-Authors

Grzegorz Rozenberg
Grzegorz Rozenberg Leiden University
Bruno Courcelle
Bruno Courcelle University of Bordeaux
Helmut Seidl
Helmut Seidl Technical University of Munich
Andrzej Ehrenfeucht
Andrzej Ehrenfeucht University of Colorado Boulder
Andreas Brandstädt
Andreas Brandstädt University of Rostock
Vadim V. Lozin
Vadim V. Lozin University of Warwick
Roderick Bloem
Roderick Bloem Graz University of Technology
Michael Benedikt
Michael Benedikt University of Oxford
Hans L. Bodlaender
Hans L. Bodlaender Utrecht University
Emo Welzl
Emo Welzl ETH Zurich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education opens diverse pathways in computer science and related fields. Many students start their journey through the associates degree route, which offers foundational skills and flexibility, ideal for those new to higher education or returning to school. These programs can lead to quick entry-level roles or provide a stepping stone toward a bachelor's program.

For those interested in teaching or advancing educational leadership, programs such as an ed d in education are available online and can support your career as an administrator or educator in computer science-related fields. Choosing the best online accredited universities is vital to ensure your degree is recognized by employers and meets your career goals.

If your interests are more creative or technical, online programs in game development are an exciting option. Many reputable schools offer the game design degrees you need to kickstart a career in the gaming industry. With the growth of online learning, a wide range of degrees and career pathways in technology are now more accessible—and affordable—than ever.

Best Scientists Citing Joost Engelfriet

Trending Scientists