An Elimination Theorem for Regular Behaviours with Integration. - Wan J. Fokkink (CONCUR, 1993)

The Tyft/Tyxt Format Reduces to Tree Rules. - Wan J. Fokkink (TACS, 1994)

Basic Process Algebra with Iteration: Completeness of its Equational Axioms. - Wan J. Fokkink; Hans Zantema (Comput. J., 1994)

A Complete Equational Axiomatization for Prefix Iteration. - Wan J. Fokkink (Inf. Process. Lett., 1994)

An Effective Axiomatization for Real Time ACP. - Wan J. Fokkink; Steven Klusener (Inf. Comput., 1995)

On the Completeness of the Euations for the Kleene Star in Bisimulation. - Wan J. Fokkink (AMAST, 1996)

A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. - Wan J. Fokkink (Fundam. Informaticae, 1996)

Axiomatizing Prefix Iteration with Silent Steps. - Luca Aceto; Rob J. van Glabbeek; Wan J. Fokkink; Anna Ingólfsdóttir (Inf. Comput., 1996)

Ntyft/Ntyxt Rules Reduce to Ntree Rules. - Wan J. Fokkink; Rob J. van Glabbeek (Inf. Comput., 1996)

Algebra of timed frames. - Jan A. Bergstra; Wan J. Fokkink; Cornelis A. Middelburg (Int. J. Comput. Math., 1996)

Axiomatizations for the Perpetual Loop in Process Algebra. - Wan J. Fokkink (ICALP, 1997)

Simulation as a Correct Transformation of Rewrite Systems. - Wan J. Fokkink; Jaco van de Pol (MFCS, 1997)

An Axiomatization for Regular Processes in Times Branching Bisimulation. - Wan J. Fokkink (Fundam. Informaticae, 1997)

An Equational Axiomatization for Multi-Exit Iteration. - Luca Aceto; Wan J. Fokkink (Inf. Comput., 1997)

Unification for Infinite Sets of Equations Between Finite Terms. - Wan J. Fokkink (Inf. Process. Lett., 1997)

Termination Modulo Equations by Abstract Commutation with an Application to Iteration. - Wan J. Fokkink; Hans Zantema (Theor. Comput. Sci., 1997)

A Cook's Tour of Equational Axiomatizations for Prefix Iteration. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (FoSSaCS, 1998)

EURIS, a Specification Method for Distributed Interlockings. - Fokko van Dijk; Wan J. Fokkink; Gea Kolk; Paul van de Ven; Bas van Vlijmen (SAFECOMP, 1998)

A Conservative Look at Operational Semantics with Variable Binding. - Wan J. Fokkink; Chris Verhoef (Inf. Comput., 1998)

A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 1998)

On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Theor. Comput. Sci., 1998)

Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. - Wan J. Fokkink; Jasper Kamperman; Pum Walters (ACM Trans. Program. Lang. Syst., 1998)

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. - Wan J. Fokkink; Chris Verhoef (FASE, 1999)

Conservative Extension in Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Bull. EATCS, 1999)

Introduction to Process Algebra. - Wan J. Fokkink (Springer, 2000)

LARIS 1.0 - LAnguage for Railway Interlooking Specifications. - Wan J. Fokkink; Jan Friso Groote; Marco Hollenberg; Bas van Vlijmen (CWI, 2000)

An omega-Complete Equational Specification of Interleaving. - Wan J. Fokkink; S. P. Luttik (ICALP, 2000)

Precongruence Formats for Decorated Trace Preorders. - Bard Bloom; Wan J. Fokkink; Rob J. van Glabbeek (LICS, 2000)

Rooted Branching Bisimulation as a Congruence. - Wan J. Fokkink (J. Comput. Syst. Sci., 2000)

Language preorder as a precongruence. - Wan J. Fokkink (Theor. Comput. Sci., 2000)

Lazy rewriting on eager machinery. - Wan J. Fokkink; Jasper Kamperman; Pum Walters (ACM Trans. Program. Lang. Syst., 2000)

Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Handbook of Process Algebra, 2001)

Process Algebra with Recursive Operations. - Jan A. Bergstra; Wan J. Fokkink; Alban Ponse (Handbook of Process Algebra, 2001)

Conservative Extension in Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Current Trends in Theoretical Computer Science, 2001)

µCRL: A Toolset for Analysing Algebraic Specifications. - Stefan Blom; Wan J. Fokkink; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (CAV, 2001)

2-Nested Simulation Is Not Finitely Equationally Axiomatizable. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (STACS, 2001)

Preface: Process Algebra. - Luca Aceto; Wan J. Fokkink (Inf. Process. Lett., 2001)

Refinement and Verification Applied to an In-Flight Data Acquisition Unit. - Wan J. Fokkink; Natalia Ioustinova; Ernst Kesseler; Jaco van de Pol; Yaroslav S. Usenko; Yuri A. Yushtein (CONCUR, 2002)

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. - Wan J. Fokkink; Rob J. van Glabbeek; Paulien de Wind (FCT, 2003)

Cones and Foci for Protocol Verification Revisited. - Wan J. Fokkink; Jun Pang 001 (FoSSaCS, 2003)

On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. - Stefan Blom; Wan J. Fokkink; Sumit Nain (ICALP, 2003)

Analyzing the Redesign of a Distributed Lift System in UPPAAL. - Jun Pang 001; Bart Karstens; Wan J. Fokkink (ICFEM, 2003)

Structural operational semantics and bounded nondeterminism. - Wan J. Fokkink; Thuy Duong Vu (Acta Informatica, 2003)

Preface. - Thomas Arts; Wan J. Fokkink (FMICS, 2003)

A note on an expressiveness hierarchy for multi-exit iteration. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Inf. Process. Lett., 2003)

Verifying a Sliding Window Protocol in µCRL. - Wan J. Fokkink; Jan Friso Groote; Jun Pang 001; Bahareh Badban; Jaco van de Pol (AMAST, 2004)

On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. - Wan J. Fokkink; Sumit Nain (FoSSaCS, 2004)

Process Algebra Needs Proof Methodology (Columns: Concurrency). - Wan J. Fokkink; Jan Friso Groote; Michel A. Reniers (Bull. EATCS, 2004)

Preface. - Luca Aceto; Wan J. Fokkink; Irek Ulidowski (SOS@CONCUR, 2004)

Simplifying Itai-Rodeh Leader Election for Anonymous Rings. - Wan J. Fokkink; Jun Pang 001 (AVoCS, 2004)

Formal Verification of Timed Systems Using Cones and Foci. - Wan J. Fokkink; Jun Pang 001 (ARTS, 2004)

Nested semantics over finite trees are equationally hard. - Luca Aceto; Wan J. Fokkink; Rob J. van Glabbeek; Anna Ingólfsdóttir (Inf. Comput., 2004)

Guesteditors'introduction: Special issue on Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink (J. Log. Algebraic Methods Program., 2004)

Precongruence formats for decorated trace semantics. - Bard Bloom; Wan J. Fokkink; Rob J. van Glabbeek (ACM Trans. Comput. Log., 2004)

Finite Equational Bases in Process Algebra: Results and Open Questions. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (Processes, Terms and Cycles, 2005)

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. - Wan J. Fokkink; Rob J. van Glabbeek; Paulien de Wind (FMCO, 2005)

Is Timed Branching Bisimilarity an Equivalence Indeed?. - Wan J. Fokkink; Jun Pang 001; Anton Wijs (FORMATS, 2005)

A Finite Basis for Failure Semantics. - Wan J. Fokkink; Sumit Nain (ICALP, 2005)

From chi-t to µCRL: Combining Performance and Functional Analysis. - Anton Wijs; Wan J. Fokkink (ICECCS, 2005)

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. - Luca Aceto; Wan J. Fokkink (APC 25, 2005)

Divide and Congruence Applied to eta-Bisimulation. - Wan J. Fokkink; Rob J. van Glabbeek; Paulien de Wind (SOS@ICALP, 2005)

Verification of a sliding window protocol in µCRL and PVS. - Bahareh Badban; Wan J. Fokkink; Jan Friso Groote; Jun Pang 001; Jaco van de Pol (Formal Aspects Comput., 2005)

Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. - Elena M. Bortnik; Nikola Trcka; Anton Wijs; Bas Luttik; Joanna M. van de Mortel-Fronczak; Jos C. M. Baeten; Wan J. Fokkink; Jacobus E. Rooda (J. Log. Algebraic Methods Program., 2005)

Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (Log. Methods Comput. Sci., 2005)

A Note on K-State Self-stabilization in a Ring with K=N. - Wan J. Fokkink; Jaap-Henk Hoepman; Jun Pang 001 (Nord. J. Comput., 2005)

Guest editors' foreword: Process Algebra. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Zoltán Ésik (Theor. Comput. Sci., 2005)

CCS with Hennessy's merge has no finite-equational axiomatization. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (Theor. Comput. Sci., 2005)

On Finite Alphabets and Infinite Bases III: Simulation. - Taolue Chen 001; Wan J. Fokkink (CONCUR, 2006)

On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. - Taolue Chen 001; Wan J. Fokkink; Sumit Nain (FoSSaCS, 2006)

On the Axiomatizability of Priority. - Luca Aceto; Taolue Chen 001; Wan J. Fokkink; Anna Ingólfsdóttir (ICALP (2), 2006)

Cones and foci: A mechanical framework for protocol verification. - Wan J. Fokkink; Jun Pang 001; Jaco van de Pol (Formal Methods Syst. Des., 2006)

Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM. - Wan J. Fokkink; Jun Pang 001 (J. Univers. Comput. Sci., 2006)

Bisimilarity is not finitely based over BPA with interrupt. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Sumit Nain (Theor. Comput. Sci., 2006)

Compositionality of Hennessy-Milner logic by structural operational semantics. - Wan J. Fokkink; Rob J. van Glabbeek; Paulien de Wind (Theor. Comput. Sci., 2006)

Ready to Preorder: Get Your BCCSP Axiomatization for Free! - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (CALCO, 2007)

Adapting the UPPAAL Model of a Distributed Lift System. - Wan J. Fokkink; Allard Kakebeen; Jun Pang 001 (FSEN, 2007)

Guest Editors' Foreword. - Luca Aceto; Mario Bravetti; Wan J. Fokkink; Andrew D. Gordon 001 (J. Log. Algebraic Methods Program., 2007)

Model checking a cache coherence protocol of a Java DSM implementation. - Jun Pang 001; Wan J. Fokkink; Rutger F. H. Hofman; Ronald Veldema (J. Log. Algebraic Methods Program., 2007)

Formal analysis techniques for gossiping protocols. - Rena Bakhshi; François Bonnet 001; Wan J. Fokkink; Boudewijn R. Haverkort (ACM SIGOPS Oper. Syst. Rev., 2007)

Modelling Distributed Systems - Wan J. Fokkink (Springer, 2007)

Towards Formal Verification of ToolBusScripts. - Wan J. Fokkink; Paul Klint; Bert Lisser; Yaroslav S. Usenko (AMAST, 2008)

Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. - Elzbieta Krepska; Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (FMSB, 2008)

Leader Election in Anonymous Rings: Franklin Goes Probabilistic. - Rena Bakhshi; Wan J. Fokkink; Jun Pang 001; Jaco van de Pol (IFIP TCS, 2008)

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. - Taolue Chen 001; Wan J. Fokkink (LICS, 2008)

Restricted Broadcast Process Theory. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (SEFM, 2008)

Mechanical Verification of a Two-Way Sliding Window Protocol. - Bahareh Badban; Wan J. Fokkink; Jaco van de Pol (CPA, 2008)

Applying Concurrency Research in Industry Report on a Strategic Workshop. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (Bull. EATCS, 2008)

A Cancellation Theorem for BCCSP. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Fundam. Informaticae, 2008)

Is Timed Branching Bisimilarity a Congruence Indeed? - Wan J. Fokkink; Jun Pang 001; Anton Wijs (Fundam. Informaticae, 2008)

On finite alphabets and infinite bases. - Taolue Chen 001; Wan J. Fokkink; Bas Luttik; Sumit Nain (Inf. Comput., 2008)

Ready to preorder: The case of weak process semantics. - Taolue Chen 001; Wan J. Fokkink; Rob J. van Glabbeek (Inf. Process. Lett., 2008)

On the axiomatisability of priority. - Luca Aceto; Taolue Chen 001; Wan J. Fokkink; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 2008)

MeanField analysis for the evaluation of gossip protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (SIGMETRICS Perform. Evaluation Rev., 2008)

Process Algebra: An Algebraic Theory of Concurrency. - Wan J. Fokkink (CAI, 2009)

What Can Formal Methods Bring to Systems Biology? - Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Elzbieta Krepska (FM, 2009)

Automated Translation and Analysis of a ToolBus Script for Auctions. - Wan J. Fokkink; Paul Klint; Bert Lisser; Yaroslav S. Usenko (FSEN, 2009)

Equational Reasoning on Ad Hoc Networks. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2009)

FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications. - Ana-Maria Oprescu; Thilo Kielmann; Wan J. Fokkink (ICDCN, 2009)

Mean-Field Analysis for the Evaluation of Gossip Protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (QEST, 2009)

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. - Taolue Chen 001; Wan J. Fokkink; Rob J. van Glabbeek (SOFSEM, 2009)

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. - Nicola Bonzanni; Elzbieta Krepska; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (Bioinform., 2009)

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. - Nicola Bonzanni; Elzbieta Krepska; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (Bioinform., 2009)

An analytical model of information dissemination for a gossip-based protocol. - Rena Bakhshi; Daniela Gavidia; Wan J. Fokkink; Maarten van Steen (Comput. Networks, 2009)

Modal Logic and the Approximation Induction Principle - Maciej Gazda; Wan J. Fokkink (EXPRESS, 2009)

Preface. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (J. Log. Algebraic Methods Program., 2009)

A finite equational base for CCS with left merge and communication merge. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (ACM Trans. Comput. Log., 2009)

Partial Order Reduction for Branching Security Protocols. - Wan J. Fokkink; Mohammad Torabi Dashti; Anton Wijs (ACSD, 2010)

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. - Fatemeh Ghassemi; Ali Movaghar 001; Wan J. Fokkink (ACSD, 2010)

Embedded Network Protocols for Mobile Devices. - Despo Galataki; Andrei Radulescu; Kees Verstoep; Wan J. Fokkink (FMICS, 2010)

Brief announcement: asynchronous bounded expected delay networks. - Rena Bakhshi; Jörg Endrullis; Wan J. Fokkink; Jun Pang 001 (PODC, 2010)

Brief announcement: a shared disk on distributed storage. - Stefan Vijzelaar; Herbert Bos; Wan J. Fokkink (PODC, 2010)

Automating the Mean-Field Method for Large Dynamic Gossip Networks. - Rena Bakhshi; Jörg Endrullis; Stefan Endrullis; Wan J. Fokkink; Boudewijn R. Haverkort (QEST, 2010)

Lifting non-finite axiomatizability results to extensions of process algebras. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (Acta Informatica, 2010)

Asynchronous Bounded Expected Delay Networks - Rena Bakhshi; Jörg Endrullis; Wan J. Fokkink; Jun Pang 001 (CoRR, 2010)

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics - Maciej Gazda; Wan J. Fokkink (SOS, 2010)

Equational Reasoning on Mobile Ad Hoc Networks. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (Fundam. Informaticae, 2010)

Stochastic Restricted Broadcast Process Theory. - Fatemeh Ghassemi; Mahmoud Talebi; Ali Movaghar 001; Wan J. Fokkink (EPEW, 2011)

Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks. - Abolhassan Shamsaie; Wan J. Fokkink; Jafar Habibi (EPEW, 2011)

A High-Level Framework for Distributed Processing of Large-Scale Graphs. - Elzbieta Krepska; Thilo Kielmann; Wan J. Fokkink; Henri E. Bal (ICDCN, 2011)

A Modeling Framework for Gossip-based Information Spread. - Rena Bakhshi; Daniela Gavidia; Wan J. Fokkink; Maarten van Steen (QEST, 2011)

Estimating Uncertainty of Categorical Web Data. - Davide Ceolin; Willem Robert van Hage; Wan J. Fokkink; Guus Schreiber (URSW, 2011)

Distributed MAP in the SpinJa Model Checker - Stefan Vijzelaar; Kees Verstoep; Wan J. Fokkink; Henri E. Bal (PDMC, 2011)

Fast leader election in anonymous rings with bounded expected delay. - Rena Bakhshi; Jörg Endrullis; Wan J. Fokkink; Jun Pang 001 (Inf. Process. Lett., 2011)

Mean-field framework for performance evaluation of push-pull gossip protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (Perform. Evaluation, 2011)

HipG: parallel processing of large-scale graphs. - Elzbieta Krepska; Thilo Kielmann; Wan J. Fokkink; Henri E. Bal (ACM SIGOPS Oper. Syst. Rev., 2011)

Verification of mobile ad hoc networks: An algebraic approach. - Fatemeh Ghassemi; Wan J. Fokkink; Ali Movaghar 001 (Theor. Comput. Sci., 2011)

Using Model Checking to Analyze the System Behavior of the LHC Production Grid. - Daniela Remenska; Tim A. C. Willemse; Kees Verstoep; Wan J. Fokkink; Jeff Templon; Henri E. Bal (CCGRID, 2012)

Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. - Daniel Gebler; Wan J. Fokkink (CONCUR, 2012)

Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. - David M. Williams; Joeri de Ruiter; Wan J. Fokkink (ICTAC, 2012)

Automated Evaluation of Annotators for Museum Collections Using Subjective Logic. - Davide Ceolin; Archana Nottamkandath; Wan J. Fokkink (IFIPTM, 2012)

Trust Evaluation through User Reputation and Provenance Analysis. - Davide Ceolin; Paul Groth; Willem Robert van Hage; Archana Nottamkandath; Wan J. Fokkink (URSW, 2012)

Subjective Logic Extensions for the Semantic Web. - Davide Ceolin; Archana Nottamkandath; Wan J. Fokkink (URSW, 2012)

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. - Wan J. Fokkink; Rob J. van Glabbeek; Paulien de Wind (Inf. Comput., 2012)

Assessing Trust for Determining the Reliability of Information. - Davide Ceolin; Willem Robert van Hage; Guus Schreiber; Wan J. Fokkink (Situation Awareness with Systems of Systems, 2013)

Model Checking MANETs with Arbitrary Mobility. - Fatemeh Ghassemi; Saeide Ahmadi; Wan J. Fokkink; Ali Movaghar 001 (FSEN, 2013)

Semi-automated assessment of annotation trustworthiness. - Davide Ceolin; Archana Nottamkandath; Wan J. Fokkink (PST, 2013)

Reliability Analyses of Open Government Data. - Davide Ceolin; Luc Moreau 001; Kieron O'Hara; Guus Schreiber; Alistair Sackley; Wan J. Fokkink; Willem Robert van Hage; Nigel Shadbolt (URSW, 2013)

Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities. - Chris Dijkshoorn; Mieke H. R. Leyssen; Archana Nottamkandath; Jasper Oosterman; Myriam C. Traub; Lora Aroyo; Alessandro Bozzon; Wan J. Fokkink; Geert-Jan Houben; Henrike Hovelmann; Lizzy Jongma; Jacco van Ossenbruggen; et al. (UMAP Workshops, 2013)

Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics. - Maciej Gazda; Wan J. Fokkink (Comput. J., 2013)

Detecting Useless Transitions in Pushdown Automata. - Wan J. Fokkink; Dick Grune; Brinio Hond; Peter Rutgers (CoRR, 2013)

Bonsai: Cutting Models Down to Size. - Stefan Vijzelaar; Kees Verstoep; Wan J. Fokkink; Henri E. Bal (Ershov Memorial Conference, 2014)

Petri Nets Are a Biologist's Best Friend. - Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Jaap Heringa (FMMB, 2014)

Two Procedures for Analyzing the Reliability of Open Government Data. - Davide Ceolin; Luc Moreau 001; Kieron O'Hara; Wan J. Fokkink; Willem Robert van Hage; Valentina Maccatrozzo; Alistair Sackley; Guus Schreiber; Nigel Shadbolt (IPMU (1), 2014)

Analyzing User Demographics and User Behavior for Trust Assessment. - Davide Ceolin; Paul Groth; Archana Nottamkandath; Wan J. Fokkink; Willem Robert van Hage (URSW (LNCS Vol.), 2014)

Uncertainty Estimation and Analysis of Categorical Web Data. - Davide Ceolin; Willem Robert van Hage; Wan J. Fokkink; Guus Schreiber (URSW (LNCS Vol.), 2014)

Bridging Gaps Between Subjective Logic and Semantic Web. - Davide Ceolin; Archana Nottamkandath; Wan J. Fokkink (URSW (LNCS Vol.), 2014)

Towards the Definition of an Ontology for Trust in (Web) Data. - Davide Ceolin; Archana Nottamkandath; Wan J. Fokkink; Valentina Maccatrozzo (URSW, 2014)

Automated Evaluation of Crowdsourced Annotations in the Cultural Heritage Domain. - Archana Nottamkandath; Jasper Oosterman; Davide Ceolin; Wan J. Fokkink (URSW, 2014)

CIF 3: Model-Based Engineering of Supervisory Controllers. - D. A. van Beek; Wan J. Fokkink; Dennis Hendriks; Albert T. Hofkamp; Jasen Markovski; Joanna M. van de Mortel-Fronczak; Michel A. Reniers (TACAS, 2014)

Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. - Allan van Hulst; Michel A. Reniers; Wan J. Fokkink (WODES, 2014)

Multi-valued Abstraction Using Lattice Operations. - Stefan Vijzelaar; Wan J. Fokkink (ACSD, 2015)

Predicting Quality of Crowdsourced Annotations Using Graph Kernels. - Archana Nottamkandath; Jasper Oosterman; Davide Ceolin; Gerben Klaas Dirk de Vries; Wan J. Fokkink (IFIPTM, 2015)

Maximally Permissive Controlled System Synthesis for Modal Logic. - Allan van Hulst; Michel A. Reniers; Wan J. Fokkink (SOFSEM, 2015)

On the Axiomatizability of Impossible Futures. - Taolue Chen 001; Wan J. Fokkink; Rob J. van Glabbeek (Log. Methods Comput. Sci., 2015)

Maximal Synthesis for Hennessy-Milner Logic. - Allan C. van Hulst; Michel A. Reniers; Wan J. Fokkink (ACM Trans. Embed. Comput. Syst., 2015)

Divide and Congruence II: Delay and Weak Bisimilarity. - Wan J. Fokkink; Rob J. van Glabbeek (LICS, 2016)

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. - Lennart Swartjes; Michel A. Reniers; D. A. van Beek; Wan J. Fokkink (WODES, 2016)

Model checking mobile ad hoc networks. - Fatemeh Ghassemi; Wan J. Fokkink (Formal Methods Syst. Des., 2016)

Combining User Reputation and Provenance Analysis for Trust Assessment. - Davide Ceolin; Paul Groth; Valentina Maccatrozzo; Wan J. Fokkink; Willem Robert van Hage; Archana Nottamkandath (ACM J. Data Inf. Qual., 2016)

Formal specification and verification of TCP extended with the Window Scale Option. - Lars Lockefeer; David M. Williams; Wan J. Fokkink (Sci. Comput. Program., 2016)

Divide and Congruence III: Stability & Divergence. - Wan J. Fokkink; Rob J. van Glabbeek; Bas Luttik (CONCUR, 2017)

Precongruence Formats with Lookahead through Modal Decomposition. - Wan J. Fokkink; Rob J. van Glabbeek (CSL, 2017)

Creating Büchi Automata for Multi-valued Model Checking. - Stefan J. J. Vijzelaar; Wan J. Fokkink (FORTE, 2017)

Maximally permissive controlled system synthesis for non-determinism and modal logic. - A. C. van Hulst; Michel A. Reniers; Wan J. Fokkink (Discret. Event Dyn. Syst., 2017)

Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. - Wan J. Fokkink; Rob J. van Glabbeek (Inf. Comput., 2017)

Model-based design of supervisory controllers for baggage handling systems. - Lennart Swartjes; D. A. van Beek; Wan J. Fokkink; J. A. W. M. van Eekelen (Simul. Model. Pract. Theory, 2017)

Multi-valued Simulation and Abstraction Using Lattice Operations. - Stefan Vijzelaar; Wan J. Fokkink (ACM Trans. Embed. Comput. Syst., 2017)

Motif-Aware PRALINE: Improving the alignment of motif regions. - Maurits J. J. Dijkstra; Punto Bawono; Sanne Abeln; K. Anton Feenstra; Wan J. Fokkink; Jaap Heringa (PLoS Comput. Biol., 2018)

Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size. - Wan J. Fokkink; Guus Samsom (The Art of Modelling Computational Systems, 2019)

Deducing causes for the absence of states in supervised systems. - Lennart Swartjes; Michel A. Reniers; Wan J. Fokkink (CoDIT, 2019)

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. - Martijn A. Goorden; Calvin Dingemans; Michel A. Reniers; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (ECC, 2019)

Modeling Guidelines for Component-Based Supervisory Control Synthesis. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (FACS, 2019)

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (FMICS, 2019)

Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkit. - Maurits J. J. Dijkstra; Atze van der Ploeg; K. Anton Feenstra; Wan J. Fokkink; Sanne Abeln; Jaap Heringa (Bioinform., 2019)

Reliable Restricted Process Theory. - Fatemeh Ghassemi; Wan J. Fokkink (Fundam. Informaticae, 2019)

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence. - Wan J. Fokkink; Rob van Glabbeek; Bas Luttik (Inf. Comput., 2019)

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. - Lars Moormann; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (CASE, 2020)

SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions. - Radhesh Krishnan Konoth; Björn Fischer; Wan J. Fokkink; Elias Athanasopoulos; Kaveh Razavi; Herbert Bos (EuroS&P, 2020)

A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. - Clemens Grabmayer; Wan J. Fokkink (LICS, 2020)

The Road Ahead for Supervisor Synthesis. - Martijn A. Goorden; Lars Moormann; Ferdie F. H. Reijnen; J. J. Verbakel; D. A. van Beek; Albert T. Hofkamp; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda; L. F. P. Etman (SETTA, 2020)

Congruence from the operator's point of view. - Maciej Gazda; Wan J. Fokkink; Vittorio Massaro (Acta Informatica, 2020)

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Martin Fabian; Wan J. Fokkink; Jacobus E. Rooda (CoRR, 2020)

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (IEEE Trans. Autom. Control., 2020)

A configurator for supervisory controllers of roadside systems. - J. J. Verbakel; M. E. W. Vos de Wael; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (CASE, 2021)

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? - Luca Aceto; Valentina Castiglioni; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (CSL, 2021)

Fault-Tolerant Termination Detection with Safra's Algorithm. - Georgios Karlos; Wan J. Fokkink; Per Fuchs (NETYS, 2021)

Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. - Ferdie F. H. Reijnen; Eva-Britt Leliveld; Joanna M. van de Mortel-Fronczak; John van Dinther; Jacobus E. Rooda; Wan J. Fokkink (Comput. Ind., 2021)

Compositional coordinator synthesis of extended finite automata. - Martijn A. Goorden; Martin Fabian; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2021)

Detecting useless transitions in pushdown automata. - Evangelos Chatzikalymnios; Wan J. Fokkink; Dick Grune; Brinio Hond; Peter Rutgers (Inf. Comput., 2021)

A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. - Saidgani Musaev; Wan J. Fokkink (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Supervisor Synthesis: Bridging Theory and Practice. - Wan J. Fokkink; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Ferdie F. H. Reijnen; Jacobus E. Rooda (Computer, 2022)

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? - Luca Aceto; Valentina Castiglioni; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (ACM Trans. Comput. Log., 2022)

Legend Pattern Calculation for Dynamic Traffic Management Using ILP. - J. J. Verbakel; Jeroen van Meurs; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (CASE, 2023)

Validating communication of a dynamic traffic management system. - J. J. Verbakel; Wan J. Fokkink; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICECCS, 2023)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - Wan J. Fokkink; Martijn A. Goorden; Dennis Hendriks; D. A. van Beek; Albert T. Hofkamp; Ferdie F. H. Reijnen; L. F. P. Etman; Lars Moormann; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda; Bram van der Sanden; et al. (TACAS (2), 2023)

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays. - Lars Moormann; Reinier H. J. Schouten; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (IEEE Trans Autom. Sci. Eng., 2023)

Offline supervisory control synthesis: taxonomy and recent developments. - Wan J. Fokkink; Martijn A. Goorden (Discret. Event Dyn. Syst., 2024)

From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. - Maarten Schröder; Machiel van der Bijl; Wan J. Fokkink (Rebeca for Actor Analysis in Action, 2025)

A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines. - Samina Kanwal; Wan J. Fokkink (FSEN, 2025)