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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Semantics Engineering & Materials Science
Algebra Engineering & Materials Science
Axiomatization Mathematics
Bisimulation Mathematics
Process Algebra Mathematics
Specifications Engineering & Materials Science
Equivalence Mathematics
Congruence Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1993 2018

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

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

The characteristics of molten globule states and folding pathways strongly depend on the sequence of a protein

Dijkstra, M. J. J., Fokkink, W. J., Heringa, J., van Dijk, E. & Abeln, S., 13 Jul 2018, (Accepted/In press) In : Molecular Physics. p. 1-8 8 p.

Research output: Contribution to JournalArticleAcademicpeer-review

globules
folding
Molten materials
Hot Temperature
proteins

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: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Automata
Logic
Kripke Models

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: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Pushdown Automata
Finite automata
Finite Automata
Automata

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), Fokkink, W. J. (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), Fokkink, W. J. (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), Fokkink, W. J. (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), Fokkink, W. J. (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), Fokkink, W. J. (Member of editorial board)
2004

Activity: Peer review and Editorial workEditorial workAcademic