Research Output per year
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
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1993 2019
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
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
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
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
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
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)Activity: Peer review and Editorial work › Editorial work › Academic
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), M. Bravetti (Member of editorial board), W.J. Fokkink (Member of editorial board), A.D. Gordon (Member of editorial board)Activity: Peer review and Editorial work › Editorial work › Academic
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), M. Bravetti (Member of editorial board), W.J. Fokkink (Member of editorial board), A.D. Gordon (Member of editorial board)Activity: Peer review and Editorial work › Editorial work › Academic
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), M. Bravetti (Member of editorial board), W.J. Fokkink (Member of editorial board), A.D. Gordon (Member of editorial board)Activity: Peer review and Editorial work › Editorial work › Academic
Information and Computation (Journal)
L. Aceto (Member of editorial board), W.J. Fokkink (Member of editorial board)Activity: Peer review and Editorial work › Editorial work › Academic