1993 …2019
If you made any changes in Pure these will be visible here soon.

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 JournalArticleAcademicpeer-review

Communication
Network protocols
Network Protocols
Axiomatization
Multi-hop
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 ThesisPhD Thesis - Research VU, graduation VUAcademic

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 JournalArticleAcademicpeer-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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

Information and Computation (Journal)

L. Aceto (Member of editorial board), W.J. Fokkink (Member of editorial board)
2004

Activity: Peer review and Editorial workEditorial workAcademic