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.
- 2 Similar Profiles
Semantics
Engineering & Materials Science
Axiomatization
Mathematics
Algebra
Engineering & Materials Science
Specifications
Engineering & Materials Science
Bisimulation
Mathematics
Equivalence
Mathematics
Preorder
Mathematics
Model checking
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1993 2019
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
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.Research output: Contribution to Journal › Article › Academic › peer-review
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
Open Access
Sequence Alignment
sequence alignment
Alignment
Multiple Sequence Alignment
Benchmarking
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