Wan Fokkink - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	4322	1079
Índice h	36	15
Índice i10	99	35

280

140

210

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202016 53 64 62 53 70 70 114 99 121 148 230 181 260 233 251 194 211 233 263 233 241 226 219 165 201 26

Coautores

Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaDirección de correo verificada de ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityDirección de correo verificada de ru.is
Rob van GlabbeekData61, CSIRO and UNSWDirección de correo verificada de cs.stanford.edu
Jun PangUniversity of LuxembourgDirección de correo verificada de uni.lu
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Davide CeolinTenure-track Researcher, CWI AmsterdamDirección de correo verificada de cwi.nl
Rena BakhshiVU University AmsterdamDirección de correo verificada de bakhshi.org
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eDirección de correo verificada de tue.nl
Archana NottamkandathPhD student Vrije University Amsterdam NetherlandsDirección de correo verificada de vu.nl
Fatemeh GhassemiUniversity of TehranDirección de correo verificada de ut.ac.ir
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Henri BalVU University AmsterdamDirección de correo verificada de cs.vu.nl
Taolue ChenDepartment of Computer Science and Information Systems, Birkbeck, University of LondonDirección de correo verificada de dcs.bbk.ac.uk
Willem Robert van HageNetherlands eScience CenterDirección de correo verificada de esciencecenter.nl
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of TechnologyDirección de correo verificada de sharif.edu
Elzbieta KrepskaVU University AmsterdamDirección de correo verificada de vu.nl
Thilo KielmannAssociate Professor of Computer Science, Vrije Universiteit, AmsterdamDirección de correo verificada de vu.nl
Jaap HeringaProfessor of Bioinformatics, Vrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Anton FeenstraAssistant professor of Bioinformatics, IBIVU Centre for Integrative Bioinformatics, VU UniversityDirección de correo verificada de vu.nl

Wan Fokkink

Professor of Computer Science, Vrije Universiteit Amsterdam

Dirección de correo verificada de vu.nl - Página principal

concurrency theory distributed algorithms protocol verification


Título	Citado por	Año
Introduction to Process Algebra W Fokkink Springer, 2000	511*	2000
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of Process Algebra, 197-292, 2001	364	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	218	2001
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, R van Glabbeek Information and Computation 126 (1), 1-10, 1996	93	1996
Basic process algebra with iteration: Completeness of its equational axioms W Fokkink, H Zantema The Computer Journal 37 (4), 259-267, 1994	83	1994
Modelling Distributed Systems W Fokkink Springer, 2007	75	2007
Precongruence formats for decorated trace semantics B Bloom, W Fokkink, R van Glabbeek ACM Transactions on Computational Logic 5 (1), 26-78, 2004	73	2004
Lazy rewriting on eager machinery W Fokkink, J Kamperman, P Walters ACM Transactions on Programming Languages and Systems 22 (1), 45-86, 2000	68*	2000
Distributed Algorithms: An Intuitive Approach W Fokkink MIT Press, 2013	67	2013
A conservative look at operational semantics with variable binding W Fokkink, C Verhoef Information and Computation 146 (1), 24-54, 1998	67	1998
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	63	2009
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	57	2009
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	57	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	54*	2011
Restricted broadcast process theory F Ghassemi, W Fokkink, A Movaghar Software Engineering and Formal Methods (SEFM), 345-354, 2008	54	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	54	2005
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	53	2014
Verification of interlockings: From control tables to ladder logic diagrams W Fokkink, P Hollingshead Formal Methods for Industrial Critical Systems (FMICS), 171-185, 1998	52	1998
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	51*	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	50	2004

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores