Personal profile

Ancillary activities

No ancillary activities

Last update Ancillary Activities: Amsterdam (2018-01-23)

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

Research Output 2002 2017

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewArticle

Divide and congruence III: Stability & divergence

Fokkink, W., Glabbeek, R. V. & Luttik, B. 1 Aug 2017 28th International Conference on Concurrency Theory, CONCUR 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 85, 15

Research output: Scientific - peer-reviewConference contribution

Maximally permissive controlled system synthesis for non-determinism and modal logic

van Hulst, A. C., Reniers, M. A. & Fokkink, W. J. 1 Mar 2017 In : Discrete Event Dynamic Systems. 27, 1, p. 109-142 34 p.

Research output: Scientific - peer-reviewArticle