All Stories

  1. Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

    Article • ACM Transactions on Computational Logic, October 2022, ACM (Association for Computing Machinery)

    Wan Fokkink

  2. A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

    Article • May 2020, ACM (Association for Computing Machinery)

    Wan Fokkink

  3. Reliable Restricted Process Theory

    Article • Fundamenta Informaticae, February 2019, IOS Press

    Wan Fokkink, Fatemeh Ghassemi

  4. The characteristics of molten globule states and folding pathways strongly depend on the sequence of a protein

    Article • Molecular Physics, July 2018, Taylor & Francis

    Wan Fokkink, Dr. Sanne Abeln

  5. Multi-valued Simulation and Abstraction Using Lattice Operations

    Article • ACM Transactions on Embedded Computing Systems, April 2017, ACM (Association for Computing Machinery)

    Wan Fokkink

  6. Combining User Reputation and Provenance Analysis for Trust Assessment

    Article • Journal of Data and Information Quality, June 2016, ACM (Association for Computing Machinery)

    Wan Fokkink

  7. Maximal Synthesis for Hennessy-Milner Logic

    Article • ACM Transactions on Embedded Computing Systems, January 2015, ACM (Association for Computing Machinery)

    Wan Fokkink, Michel Reniers