W.J. Fokkink

prof. dr.

Full Professor, Faculty of Science, Theoretical Computer Science
Full Professor, Network Institute
Full Professor, Theoretical Computer Science

Emailw.j.fokkink@vu.nl

If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where W.J. Fokkink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

Semantics Engineering & Materials Science

Axiomatization Mathematics

Algebra Engineering & Materials Science

Specifications Engineering & Materials Science

Bisimulation Mathematics

Equivalence Mathematics

Preorder Mathematics

Congruence Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1993 2019

125 Article
44 Conference contribution
8 PhD Thesis - Research VU, graduation VU
7 PhD Thesis - Research external, graduation VU
11 More

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence

Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Oct 2019, In : Information and Computation. 268, p. 1-31 31 p., 104435.

Research output: Contribution to Journal › Article › Academic › peer-review

Preservation

Congruence

Divides

Divergence

Semantics

Reliable Restricted Process Theory

Ghassemi, F. & Fokkink, W., 14 Feb 2019, In : Fundamenta Informaticae. 165, 1, p. 1-41 41 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

Communication

Network protocols

Network Protocols

Axiomatization

Multi-hop

Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkit

Dijkstra, M. J. J., van der Ploeg, A. J., Feenstra, K. A., Fokkink, W. J., Abeln, S. & Heringa, J., 1 Aug 2019, In : Bioinformatics. p. 1-3 3 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Multiple Sequence Alignment

Workflow

Sequence Alignment

Work Flow

Alignment

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W. & Rooda, J., 2019, Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Springer Verlag, p. 76-92 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Supervisory Control

Supervisory personnel

Synthesis

Requirements

Control theory

Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size

Fokkink, W. & Samsom, G., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 3-13 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Message Complexity

Ring

Computing

Monte Carlo Algorithm

Activities 2004 2009

5 Editorial work

Journal of Logic and Algebraic Programming (Journal)

L. Aceto (Member of editorial board), J.C.M. Baeten (Member of editorial board), W.J. Fokkink (Member of editorial board), A. Ingolfsdottir (Member of editorial board), U. Nestmann (Member of editorial board)

2009