Wan Fokkink

Cituota

	Visi	Nuo 2019
Šaltiniai	5653	1322
h-rodyklė	39	15
i10-rodyklė	129	36

280

140

210

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 43 62 66 51 81 73 129 111 124 164 231 199 267 241 261 218 197 231 271 241 257 242 228 203 208 253 211 236 221 190

Viešas pasiekiamumas

Peržiūrėti viską

9 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaPatvirtintas el. paštas ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityPatvirtintas el. paštas ru.is
Rob van GlabbeekUNSWPatvirtintas el. paštas cs.stanford.edu
Joanna M. van de Mortel-FronczakProfessor of Mechanical Engineering, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Jun PangUniversity of LuxembourgPatvirtintas el. paštas uni.lu
M.A. ReniersTU/ePatvirtintas el. paštas tue.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
Davide CeolinTenured Researcher, CWI AmsterdamPatvirtintas el. paštas cwi.nl
j.e. roodahoogleraar Systems Engineering, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Rena BakhshiVU University AmsterdamPatvirtintas el. paštas bakhshi.org
Martijn GoordenAssistant Professor, Control Systems Technology group, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Archana NottamkandathPhD student Vrije University Amsterdam NetherlandsPatvirtintas el. paštas vu.nl
Fatemeh GhassemiUniversity of TehranPatvirtintas el. paštas ut.ac.ir
Henri BalVU University AmsterdamPatvirtintas el. paštas cs.vu.nl
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonPatvirtintas el. paštas bbk.ac.uk
Willem Robert van HageNetherlands eScience CenterPatvirtintas el. paštas esciencecenter.nl
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranPatvirtintas el. paštas sharif.edu
Elzbieta KrepskaVU University AmsterdamPatvirtintas el. paštas vu.nl

Stebėti

Wan Fokkink

Professor of Computer Science, Vrije Universiteit Amsterdam

Patvirtintas el. paštas vu.nl - Pagrindinis puslapis

concurrency theory formal methods supervisory control distributed algorithms


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Introduction to Process Algebra W Fokkink Springer, 2000	678*	2000
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of Process Algebra, 197-292, 2001	421	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	239	2001
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	130	2014
Distributed Algorithms: An Intuitive Approach W Fokkink MIT Press, 2013	128	2013
Modelling Distributed Systems W Fokkink Springer, 2007	102	2007
Basic process algebra with iteration: Completeness of its equational axioms W Fokkink, H Zantema The Computer Journal 37 (4), 259-267, 1994	100	1994
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, R van Glabbeek Information and Computation 126 (1), 1-10, 1996	95	1996
Precongruence formats for decorated trace semantics B Bloom, W Fokkink, R van Glabbeek ACM Transactions on Computational Logic 5 (1), 26-78, 2004	80	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	71	2009
A conservative look at operational semantics with variable binding W Fokkink, C Verhoef Information and Computation 146 (1), 24-54, 1998	68	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	64	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	62*	2006
Rooted branching bisimulation as a congruence W Fokkink Journal of Computer and System Sciences 60 (1), 13-37, 2000	62	2000
Verification of interlockings: From control tables to ladder logic diagrams W Fokkink, P Hollingshead Formal Methods for Industrial Critical Systems (FMICS), 171-185, 1998	62	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	60	2009
Restricted broadcast process theory F Ghassemi, W Fokkink, A Movaghar Software Engineering and Formal Methods (SEFM), 345-354, 2008	59	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
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	57	2005

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai