W.J. Fokkink — Vrije Universiteit Amsterdam

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Semantics Engineering & Materials Science

Algebra Engineering & Materials Science

Axiomatization Mathematics

Process Algebra Mathematics

Model checking Engineering & Materials Science

Network protocols Engineering & Materials Science

Model Checking Mathematics

Bisimulation Mathematics

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

Research Output 2002 2018

106 Article
31 Conference contribution
8 PhD Thesis - Research VU, graduation VU
7 PhD Thesis - Research external, graduation VU
10 More

Formal Modeling and Analysis of Mobile Ad hoc Networks

Ghassemi Esfahani, F., 2018, 232 p.

Research output: PhD Thesis › PhD Thesis - Research VU, graduation VU › Academic

Open Access

File

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

Dijkstra, M. J. J., Fokkink, W. J., Heringa, J., van Dijk, E. & Abeln, S., 13 Jul 2018, (Accepted/In press) In : Molecular Physics. p. 1-8 8 p.

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

globules

folding

Molten materials

Hot Temperature

proteins

Creating Büchi automata for multi-valued model checking

Vijzelaar, S. J. J. & Fokkink, W. J., 2017, Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Springer/Verlag, Vol. 10321 LNCS, p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS)

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

Model checking

Model Checking

Automata

Logic

Kripke Models

Detecting useless transitions in pushdown automata

Grune, D., Fokkink, W., Chatzikalymnios, E., Hond, B. & Rutgers, P., 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer/Verlag, Vol. 10168 LNCS, p. 421-434 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS)

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

Pushdown Automata

Finite automata

Finite Automata

Automata

Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity

Fokkink, W. & van Glabbeek, R., 1 Dec 2017, In : Information and Computation. 257, p. 79-113 35 p.

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

Preservation

Congruence

Divides

Decomposition Method

Decomposition

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), Fokkink, W. J. (Member of editorial board), A. Ingolfsdottir (Member of editorial board), U. Nestmann (Member of editorial board)

2009