| Mean-field analysis for the evaluation of gossip protocols R Bakhshi, L Cloth, W Fokkink, B Haverkort 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 66 | 2009 |
| Verification of peer-to-peer algorithms: A case study R Bakhshi, D Gurov Electronic Notes in Theoretical Computer Science 181, 35-47, 2007 | 47 | 2007 |
| Formal analysis techniques for gossiping protocols R Bakhshi, F Bonnet, W Fokkink, B Haverkort ACM SIGOPS Operating Systems Review 41 (5), 28-36, 2007 | 45 | 2007 |
| Mean-field framework for performance evaluation of push–pull gossip protocols R Bakhshi, L Cloth, W Fokkink, BR Haverkort Performance Evaluation 68 (2), 157-179, 2011 | 38 | 2011 |
| An analytical model of information dissemination for a gossip-based protocol R Bakhshi, D Gavidia, W Fokkink, M Van Steen Computer Networks 53 (13), 2288-2303, 2009 | 29 | 2009 |
| Automating the mean-field method for large dynamic gossip networks R Bakhshi, J Endrullis, S Endrullis, W Fokkink, B Haverkort 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 28 | 2010 |
| Leader election in anonymous rings: Franklin goes probabilistic R Bakhshi, W Fokkink, J Pang, J Van De Pol Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 24 | 2008 |
| Gossiping models R Bakhshi Formal Analysis of Epidemic Protocols, 2011 | 14* | 2011 |
| Clustering image noise patterns by embedding and visualization for common source camera detection S Georgievska, R Bakhshi, A Gavai, A Sclocco, B van Werkhoven Digital Investigation 23, 22-30, 2017 | 13 | 2017 |
| HighResMIP versions of EC-Earth: EC-Earth3P and EC-Earth3P-HR–description, model computational performance and basic validation R Haarsma, M Acosta, R Bakhshi, PA Bretonnière, LP Caron, M Castrillo, ... Geoscientific Model Development 13 (8), 3507-3527, 2020 | 11 | 2020 |
| HighResMIP versions of EC-Earth: EC-Earth3P and EC-Earth3P-HR. Description, model performance, data handling and validation R Haarsma, M Acosta, R Bakhshi, PAB Bretonnière, LP Caron, M Castrillo, ... Geoscientific Model Development Discussions 2020, 1-37, 2020 | 11 | 2020 |
| On the impact of modelling choices for distributed information spread R Bakhshi, A Fehnker 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 11 | 2009 |
| HighResMIP versions of EC-Earth: EC-Earth3P and EC-Earth3P-HR–description, model computational performance and basic validation, Geosci. Model Dev., 13, 3507–3527 R Haarsma, M Acosta, R Bakhshi, PA Bretonnière, LP Caron, M Castrillo, ... | 10 | 2020 |
| HighResMIP versions of EC-Earth: EC-Earth3P and EC-Earth3P-HR, Description, model performance, data handling and validation, Geosci. Model Dev. Discuss R Haarsma, M Acosta, R Bakhshi, PAB Bretonniére, LP Caron, M Castrillo, ... | 10 | 2020 |
| Mechanized extraction of topology anti-patterns in wireless networks M Woehrle, R Bakhshi, MR Mousavi International Conference on Integrated Formal Methods, 158-173, 2012 | 9 | 2012 |
| Fast leader election in anonymous rings with bounded expected delay R Bakhshi, J Endrullis, W Fokkink, J Pang Information Processing Letters 111 (17), 864-870, 2011 | 9* | 2011 |
| A modeling framework for gossip-based information spread R Bakhshi, D Gavidia, W Fokkink, M Van Steen 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 9 | 2011 |
| Detecting high indoor crowd density with Wi-Fi localization: A statistical mechanics approach S Georgievska, P Rutten, J Amoraal, E Ranguelova, R Bakhshi, ... Journal of Big Data 6 (1), 1-23, 2019 | 6 | 2019 |
| SPOT: Open Source framework for scientific data repository and interactive visualization F Diblen, J Attema, R Bakhshi, S Caron, L Hendriks, B Stienen SoftwareX 9, 328-331, 2019 | 6 | 2019 |
| On the complexity of equivalence of specifications of infinite objects J Endrullis, D Hendriks, R Bakhshi Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 6 | 2012 |
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
