Verification of Peer-to-peer Algorithms: A Case Study. - Rena Bakhshi; Dilian Gurov (CoOrg/MTCoord@COORDINATION, 2006)

Formal analysis techniques for gossiping protocols. - Rena Bakhshi; François Bonnet 001; Wan J. Fokkink; Boudewijn R. Haverkort (ACM SIGOPS Oper. Syst. Rev., 2007)

Leader Election in Anonymous Rings: Franklin Goes Probabilistic. - Rena Bakhshi; Wan J. Fokkink; Jun Pang 001; Jaco van de Pol (IFIP TCS, 2008)

MeanField analysis for the evaluation of gossip protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (SIGMETRICS Perform. Evaluation Rev., 2008)

An Analytical Model of Information Dissemination for a Gossip-Based Protocol. - Rena Bakhshi; Daniela Gavidia; Wan J. Fokkink; Maarten van Steen (ICDCN, 2009)

Mean-Field Analysis for the Evaluation of Gossip Protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (QEST, 2009)

On the Impact of Modelling Choices for Distributed Information Spread. - Rena Bakhshi; Ansgar Fehnker (QEST, 2009)

Brief announcement: asynchronous bounded expected delay networks. - Rena Bakhshi; Jörg Endrullis; Wan J. Fokkink; Jun Pang 001 (PODC, 2010)

Automating the Mean-Field Method for Large Dynamic Gossip Networks. - Rena Bakhshi; Jörg Endrullis; Stefan Endrullis; Wan J. Fokkink; Boudewijn R. Haverkort (QEST, 2010)

Asynchronous Bounded Expected Delay Networks - Rena Bakhshi; Jörg Endrullis; Wan J. Fokkink; Jun Pang 001 (CoRR, 2010)

A Modeling Framework for Gossip-based Information Spread. - Rena Bakhshi; Daniela Gavidia; Wan J. Fokkink; Maarten van Steen (QEST, 2011)

Fast leader election in anonymous rings with bounded expected delay. - Rena Bakhshi; Jörg Endrullis; Wan J. Fokkink; Jun Pang 001 (Inf. Process. Lett., 2011)

Mean-field framework for performance evaluation of push-pull gossip protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (Perform. Evaluation, 2011)

Reliable Localized Event Detection in a Wireless Distributed Radio Telescope. - Suhail Yousaf; Rena Bakhshi; Maarten van Steen (ICCCN, 2012)

On the complexity of equivalence of specifications of infinite objects. - Jörg Endrullis; Dimitri Hendriks; Rena Bakhshi (ICFP, 2012)

Mechanized Extraction of Topology Anti-patterns in Wireless Networks. - Matthias Woehrle; Rena Bakhshi; Mohammad Reza Mousavi 001 (IFM, 2012)

Scalable Analysis for Large Social Networks: The Data-Aware Mean-Field Approach. - Julie M. Birkholz; Rena Bakhshi; Ravindra Harige; Maarten van Steen; Peter Groenewegen (SocInfo, 2012)

Exploring Design Tradeoffs Of A Distributed Algorithm For Cosmic Ray Event Detection - Suhail Yousaf; Rena Bakhshi; Maarten van Steen; Spyros Voulgaris; John L. Kelley (CoRR, 2012)

Toward a next generation of network models for the web. - Hans Akkermans; Rena Bakhshi (WebSci, 2013)

Reliable localised event detection in a wireless distributed radio telescope. - Suhail Yousaf; Rena Bakhshi; Maarten van Steen (Int. J. Sens. Networks, 2013)

On the complexity of stream equality. - Jörg Endrullis; Dimitri Hendriks; Rena Bakhshi; Grigore Rosu (J. Funct. Program., 2014)

Parallel Post-Processing of the Earth Climate Model Output. - Gijs van den Oord; Rena Bakhshi (ICCS, 2017)

Clustering image noise patterns by embedding and visualization for common source camera detection. - Sonja Georgievska; Rena Bakhshi; Anand K. Gavai; Alessio Sclocco; Ben van Werkhoven (Digit. Investig., 2017)

SPOT: Open Source Visual Data Analytics Platform for High-Dimensional Scientific Data. - Faruk Diblen; Jisk Attema; Rena Bakhshi; Bob Stienen; Luc Hendriks; Sascha Caron (eScience, 2018)

Examining key features and platforms of IoT. - Rena Bakhshi; Mary Hester; Jeroen Schot; Lode Kulik (CoRR, 2018)

Modeling and Matching Digital Data Marketplace Policies. - Sara Shakeri; Valentina Maccatrozzo; Lourens E. Veen; Rena Bakhshi; Leon Gommans; Cees de Laat; Paola Grosso (eScience, 2019)

Detecting high indoor crowd density with Wi-Fi localization: a statistical mechanics approach. - Sonja Georgievska; Philip Rutten; Jan Amoraal; Elena Ranguelova; Rena Bakhshi; Ben L. de Vries; Michael Lees; Sander Klous (J. Big Data, 2019)

spot: Open Source framework for scientific data repository and interactive visualization. - Faruk Diblen; Jisk Attema; Rena Bakhshi; Sascha Caron; Luc Hendriks; Bob Stienen (SoftwareX, 2019)

Transducer degrees: atoms, infima and suprema. - Jörg Endrullis; Jan Willem Klop; Rena Bakhshi (Acta Informatica, 2020)

Community membership consistency in corporate board interlock networks. - Dafne E. van Kuppevelt; Rena Bakhshi; Eelke M. Heemskerk; Frank W. Takes (CoRR, 2020)

Interactive Web-Based Visualization of Multidimensional Physical and Astronomical Data. - Faruk Diblen; Luc Hendriks; Bob Stienen; Sascha Caron; Rena Bakhshi; Jisk Attema (Frontiers Big Data, 2021)

Structured and Unstructured Teams for Research Software Development at The Netherlands eScience Center. - Carlos Martinez-Ortiz; Rena Bakhshi; Yifat Dzigan; Nicolas Renaud; Faruk Diblen; Berend Weel; Maarten A. J. van Meersbergen; Niels Drost; Sven van der Burg; Fakhereh Alidoost (Comput. Sci. Eng., 2022)

Community membership consistency applied to corporate board interlock networks. - Dafne E. van Kuppevelt; Rena Bakhshi; Eelke M. Heemskerk; Frank W. Takes (J. Comput. Soc. Sci., 2022)

DIANNA: Deep Insight And Neural Network Analysis. - Elena Ranguelova; Christiaan Meijer; Leon C. Oostrum; Yang Liu 304; Patrick Bos; Giulia Crocioni; Matthieu Laneuville; Bryan Cardenas Guevara; Rena Bakhshi; Damian Podareanu (J. Open Source Softw., 2022)

FAIRSECO: An Extensible Framework for Impact Measurement of Research Software. - Deekshitha; Siamak Farshidi; Jason Maassen; Rena Bakhshi; Rob van Nieuwpoort; Slinger Jansen (e-Science, 2023)

Decoding Research Software Impact. - Deekshitha; Rena Bakhshi; Rob van Nieuwpoort; Slinger Jansen (ICSOB Companion, 2024)

RSMM: A Framework to Assess Maturity of Research Software Project. - Deekshitha; Rena Bakhshi; Jason Maassen; Carlos Martinez-Ortiz; Rob van Nieuwpoort; Slinger Jansen (CoRR, 2024)