Wan Fokkink - Google Scholar Citations

Cited by

	All	Since 2014
Citations	4333	1292
h-index	36	16
i10-index	100	40

280

140

210

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201916 50 63 62 53 63 64 114 100 122 166 235 182 270 227 254 189 223 242 256 235 250 223 220 174 186

Co-authors

Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
Jun PangUniversity of LuxembourgVerified email at uni.lu
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Davide CeolinTenure-track Researcher, CWI AmsterdamVerified email at cwi.nl
Rena BakhshiVU University AmsterdamVerified email at bakhshi.org
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Archana NottamkandathPhD student Vrije University Amsterdam NetherlandsVerified email at vu.nl
Fatemeh GhassemiUniversity of TehranVerified email at ut.ac.ir
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Henri BalVU University AmsterdamVerified email at cs.vu.nl
Willem Robert van HageNetherlands eScience CenterVerified email at esciencecenter.nl
Taolue ChenDepartment of Computer Science and Information Systems, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of TechnologyVerified email at sharif.edu
Elzbieta KrepskaVU University AmsterdamVerified email at vu.nl
Thilo KielmannAssociate Professor of Computer Science, Vrije Universiteit, AmsterdamVerified email at vu.nl
Jaap HeringaProfessor of Bioinformatics, Vrije Universiteit AmsterdamVerified email at vu.nl
Anton FeenstraAssistant professor of Bioinformatics, IBIVU Centre for Integrative Bioinformatics, VU UniversityVerified email at vu.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl

Wan Fokkink

Professor of Computer Science, Vrije Universiteit Amsterdam

Verified email at vu.nl - Homepage

concurrency theory distributed algorithms protocol verification


Title	Cited by	Year
Introduction to Process Algebra W Fokkink Springer, 2000	510*	2000
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of Process Algebra, 197-292, 2001	366	2001
μCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I van Langevelde, B Lisser, J van de Pol Computer Aided Verification (CAV), 250-254, 2001	220	2001
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, R van Glabbeek Information and Computation 126 (1), 1-10, 1996	90	1996
Basic process algebra with iteration: Completeness of its equational axioms W Fokkink, H Zantema The Computer Journal 37 (4), 259-267, 1994	81	1994
Modelling Distributed Systems W Fokkink Springer, 2007	79	2007
Precongruence formats for decorated trace semantics B Bloom, W Fokkink, R van Glabbeek ACM Transactions on Computational Logic 5 (1), 26-78, 2004	72	2004
Distributed Algorithms: An Intuitive Approach W Fokkink MIT Press, 2013	69	2013
Lazy rewriting on eager machinery W Fokkink, J Kamperman, P Walters ACM Transactions on Programming Languages and Systems 22 (1), 45-86, 2000	67*	2000
Mean-field analysis for the evaluation of gossip protocols R Bakhshi, L Cloth, W Fokkink, B Haverkort Quantitative Evaluation of Systems (QEST), 247-256, 2009	65	2009
A conservative look at operational semantics with variable binding W Fokkink, C Verhoef Information and Computation 146 (1), 24-54, 1998	64	1998
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal E Bortnik, N Trčka, A Wijs, B Luttik, JM van de Mortel-Fronczak, J Baeten, ... Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005	56	2005
Axiomatizing prefix iteration with silent steps L Aceto, W Fokkink, R van Glabbeek, A Ingólfsdóttir Information and Computation 127 (1), 26-40, 1996	56	1996
HipG: parallel processing of large-scale graphs E Krepska, T Kielmann, W Fokkink, H Bal ACM SIGOPS Operating Systems Review 45 (2), 3-13, 2011	55*	2011
Restricted broadcast process theory F Ghassemi, W Fokkink, A Movaghar Software Engineering and Formal Methods (SEFM), 345-354, 2008	55	2008
Executing multicellular differentiation: Quantitative predictive modelling of C. elegans vulval development N Bonzanni, E Krepska, KA Feenstra, W Fokkink, T Kielmann, H Bal, ... Bioinformatics 25 (16), 2049-2056, 2009	54	2009
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM. W Fokkink, J Pang Journal of Universal Computer Science 12 (8), 981-1006, 2006	54*	2006
Verifying a sliding window protocol in μCRL W Fokkink, JF Groote, J Pang, B Badban, J van de Pol Algebraic Methodology and Software Technology (AMAST), 148-163, 2004	53	2004
CIF 3: Model-based engineering of supervisory controllers B van Beek, W Fokkink, D Hendriks, A Hofkamp, J Markovski, ... Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2014	49	2014
Verification of a sliding window protocol in μCRL and PVS B Badban, W Fokkink, JF Groote, J Pang, J van de Pol Formal Aspects of Computing 17 (3), 342-388, 2005	49	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors