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
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
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
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
Motif-Aware PRALINE: Improving the alignment of motif regions: Improving the alignment of motif regions
Dijkstra, M., Bawono, P., Abeln, S., Feenstra, K. A., Fokkink, W. & Heringa, J., 1 Nov 2018, In : PLoS Computational Biology. 14, 11, p. 1-19 19 p., e1006547.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access
Sequence Alignment
sequence alignment
Alignment
Multiple Sequence Alignment
Benchmarking
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
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)2008
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)2008
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)2007
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)2004
Activity: Peer review and Editorial work › Editorial work › Academic