Wan Fokkink

Cited by

	All	Since 2018
Citations	5224	1147
h-index	39	13
i10-index	118	29

280

140

210

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 46 70 64 53 69 70 129 101 120 137 230 198 258 235 256 214 210 231 264 260 256 230 236 207 203 264 232 219 21

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Jun PangUniversity of LuxembourgVerified email at uni.lu
Joanna M. van de Mortel-FronczakProfessor of Mechanical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Davide CeolinTenured Researcher, CWI AmsterdamVerified email at cwi.nl
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Rena BakhshiVU University AmsterdamVerified email at bakhshi.org
Archana NottamkandathPhD student Vrije University Amsterdam NetherlandsVerified email at vu.nl
j.e. roodahoogleraar Systems Engineering, Eindhoven University of TechnologyVerified email at tue.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
Martijn GoordenAssistant Professor, Distributed, Embedded and Intelligent Systems group, Aalborg UniversityVerified email at cs.aau.dk
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Willem Robert van HageNetherlands eScience CenterVerified email at esciencecenter.nl
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
Elzbieta KrepskaVU University AmsterdamVerified email at vu.nl

Wan Fokkink

Professor of Computer Science, Vrije Universiteit Amsterdam

Verified email at vu.nl - Homepage

concurrency theory protocol verification supervisory control distributed algorithms


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Introduction to Process Algebra W Fokkink Springer, 2000	631*	2000
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of Process Algebra, 197-292, 2001	403	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	227	2001
Distributed Algorithms: An Intuitive Approach W Fokkink MIT Press, 2013	103	2013
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	102	2014
Modelling Distributed Systems W Fokkink Springer, 2007	93	2007
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	90	1994
Precongruence formats for decorated trace semantics B Bloom, W Fokkink, R van Glabbeek ACM Transactions on Computational Logic 5 (1), 26-78, 2004	76	2004
Some trends in formal methods applications to railway signaling A Fantechi, W Fokkink, A Morzenti Formal Methods for Industrial Critical Systems: A Survey of Applications, 63-84, 2013	75	2013
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	68	2009
A conservative look at operational semantics with variable binding W Fokkink, C Verhoef Information and Computation 146 (1), 24-54, 1998	67	1998
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	61	2009
Verification of interlockings: From control tables to ladder logic diagrams W Fokkink, P Hollingshead Formal Methods for Industrial Critical Systems (FMICS), 171-185, 1998	61	1998
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	60	1996
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	59*	2006
Rooted branching bisimulation as a congruence W Fokkink Journal of Computer and System Sciences 60 (1), 13-37, 2000	59	2000
Within ARM's reach: Compilation of left-linear rewrite systems via minimal rewrite systems W Fokkink, J Kamperman, P Walters ACM Transactions on Programming Languages and Systems 20 (3), 679-706, 1998	59*	1998
Restricted broadcast process theory F Ghassemi, W Fokkink, A Movaghar Software Engineering and Formal Methods (SEFM), 345-354, 2008	58	2008
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	58	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

Follow

Cited by

Co-authors