Research Output per year
Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
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-review › Conference 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-review › Conference 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-review › Article
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, 15Research output: Scientific - peer-review › Conference 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-review › Article