World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
5170
World Ranking
13060
National Ranking
252

Overview

Wan Fokkink is a researcher affiliated with Vrije Universiteit Amsterdam in the Netherlands. Their work primarily focuses on computer science, with a significant emphasis on computational theory and mathematics.

The research topics covered by Wan Fokkink include:

  • Formal Methods in Verification
  • Petri Nets in System Modeling
  • Semigroups and Automata Theory
  • Model-Driven Software Engineering Techniques
  • Real-Time Systems Scheduling
  • Distributed Systems and Fault Tolerance
  • Logic, Programming, and Type Systems

Wan Fokkink has contributed to the academic community through numerous publications in well-known venues. Frequent publication outlets include:

  • arXiv (Cornell University)
  • IFAC-PapersOnLine
  • Control Engineering Practice
  • Discrete Event Dynamic Systems
  • SSRN Electronic Journal

Some of the recent papers authored or co-authored by Wan Fokkink are:

  • Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM, 2020, Zenodo (CERN European Organization for Nuclear Research)
  • Supervisor Synthesis: Bridging Theory and Practice, 2022, Computer

Wan Fokkink also co-authored works such as Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge, 2021, Computers in Industry; Model properties for efficient synthesis of nonblocking modular supervisors, 2021, Control Engineering Practice; and Compositional coordinator synthesis of extended finite automata, 2021, Discrete Event Dynamic Systems.

The scientist collaborates frequently with several colleagues in their field, with notable co-authors including:

  • J.M. van de Mortel-Fronczak
  • Jacobus E. Rooda
  • Martijn A. Goorden
  • Michel Reniers
  • L. Moormann

Best Publications

  • Introduction to Process Algebra

    Wan Fokkink

  • Structural Operational Semantics

    Luca Aceto;Willem Jan Fokkink;Chris Verhoef

  • µCRL: A Toolset for Analysing Algebraic Specifications

    Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde

  • CIF 3 : model-based engineering of supervisory controllers

    van Da Bert Beek;WJ Wan Fokkink;Dennis D Hendriks;AT Albert Hofkamp

  • Distributed Algorithms: An Intuitive Approach

    Wan Fokkink

  • Ntyft/ntyxt Rules Reduce to Ntree Rules

    Wan Fokkink;Rob van Glabbeek

  • Basic process algebra with iteration: completeness of its equational axioms.

    Wan J. Fokkink;Hans Zantema

  • Modelling Distributed Systems

    Wan Fokkink

  • Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge

    L Aceto;WJ Wan Fokkink;A Ingólfsdóttir;SP Bas Luttik

  • Precongruence formats for decorated trace semantics

    Bard Bloom;Wan Fokkink;Rob J. van Glabbeek

  • Some Trends in Formal Methods Applications to Railway Signaling

    Alessandro Fantechi;Wan Fokkink;Angelo Morzenti

  • Mean-Field Analysis for the Evaluation of Gossip Protocols

    Rena Bakhshi;Lucia Cloth;Wan Fokkink;Boudewijn Haverkort

  • A conservative look at operational semantics with variable binding

    Wan Fokkink;Chris Verhoef

  • Executing multicellular differentiation

    Nicola Bonzanni;Elzbieta Krepska;K. Anton Feenstra;Wan Fokkink

  • Compositionality of Hennessy-Milner logic by structural operational semantics

    Wan Fokkink;Rob van Glabbeek;Paulien de Wind

  • Restricted Broadcast Process Theory

    F. Ghassemi;W. Fokkink;A. Movaghar

  • MeanField analysis for the evaluation of gossip protocols

    Rena Bakhshi;Lucia Cloth;Wan Fokkink;Boudewijn R. Haverkort

  • Rooted Branching Bisimulation as a Congruence

    Wan Fokkink

  • Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

    Elena M. Bortnik;Nikola Trcka;Anton Wijs;Bas Luttik

  • Axiomatizing Prefix Iteration with Silent Steps

    Luca Aceto;Rob van Glabbeek;Wan Fokkink;Anna Ingólfsdóttir

Frequent Co-Authors

Rob van Glabbeek
Rob van Glabbeek Stanford University
Jan Friso Groote
Jan Friso Groote Eindhoven University of Technology
Henri E. Bal
Henri E. Bal Vrije Universiteit Amsterdam
Chris Verhoef
Chris Verhoef Vrije Universiteit Amsterdam
Guus Schreiber
Guus Schreiber Vrije Universiteit Amsterdam
Jan A. Bergstra
Jan A. Bergstra University of Amsterdam
Jaap Heringa
Jaap Heringa Vrije Universiteit Amsterdam
Boudewijn R. Haverkort
Boudewijn R. Haverkort Tilburg University
Thilo Kielmann
Thilo Kielmann Vrije Universiteit Amsterdam
Paul Klint
Paul Klint Centrum Wiskunde & Informatica

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 Computer Science in the USA opens doors to a range of related fields and flexible study options. Many students are now considering cost-effective online programs in areas such as engineering, data science, and physics. Affordable online degrees can make it easier to develop in-demand skills while balancing work or other commitments.

If you’re interested in building a foundation in engineering, check out the online mechanical engineering degree guide. Similarly, students drawn to fundamental science can find more options with the online physics degree programs offered by various U.S. institutions.

For those looking at technology and analytics careers, you may wonder, what is the cheapest data science course in the us? There are several affordable choices for data science degrees online that can help jumpstart your career. Electrical engineering is another versatile pathway, so be sure to compare electrical engineering online tuition costs when researching your options.

These pathways not only expand your knowledge but also increase your career flexibility within the ever-evolving tech landscape.

Best Scientists Citing Wan Fokkink

Trending Scientists

Recently Published Articles