RSMM: A Framework to Assess Maturity of Research Software Project.
CoRR, 2024
FAIRSECO: An Extensible Framework for Impact Measurement of Research Software.
Proceedings of the 19th IEEE International Conference on e-Science, 2023
DIANNA: Deep Insight And Neural Network Analysis.
J. Open Source Softw., December, 2022
Community membership consistency applied to corporate board interlock networks.
J. Comput. Soc. Sci., May, 2022
Structured and Unstructured Teams for Research Software Development at The Netherlands eScience Center.
Comput. Sci. Eng., 2022
Interactive Web-Based Visualization of Multidimensional Physical and Astronomical Data.
Frontiers Big Data, 2021
Community membership consistency in corporate board interlock networks.
CoRR, 2020
Transducer degrees: atoms, infima and suprema.
Acta Informatica, 2020
spot: Open Source framework for scientific data repository and interactive visualization.
SoftwareX, 2019
Detecting high indoor crowd density with Wi-Fi localization: a statistical mechanics approach.
J. Big Data, 2019
Modeling and Matching Digital Data Marketplace Policies.
Proceedings of the 15th International Conference on eScience, 2019
Examining key features and platforms of IoT.
CoRR, 2018
SPOT: Open Source Visual Data Analytics Platform for High-Dimensional Scientific Data.
Proceedings of the 14th IEEE International Conference on e-Science, 2018
Clustering image noise patterns by embedding and visualization for common source camera detection.
Digit. Investig., 2017
Parallel Post-Processing of the Earth Climate Model Output.
Proceedings of the International Conference on Computational Science, 2017
On the complexity of stream equality.
J. Funct. Program., 2014
Reliable localised event detection in a wireless distributed radio telescope.
Int. J. Sens. Networks, 2013
Toward a next generation of network models for the web.
Proceedings of the Web Science 2013 (co-located with ECRC), 2013
Exploring Design Tradeoffs Of A Distributed Algorithm For Cosmic Ray Event Detection
CoRR, 2012
Scalable Analysis for Large Social Networks: The Data-Aware Mean-Field Approach.
Proceedings of the Social Informatics, 2012
Mechanized Extraction of Topology Anti-patterns in Wireless Networks.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
On the complexity of equivalence of specifications of infinite objects.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Reliable Localized Event Detection in a Wireless Distributed Radio Telescope.
Proceedings of the 21st International Conference on Computer Communications and Networks, 2012
Mean-field framework for performance evaluation of push-pull gossip protocols.
Perform. Evaluation, 2011
Fast leader election in anonymous rings with bounded expected delay.
Inf. Process. Lett., 2011
A Modeling Framework for Gossip-based Information Spread.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Asynchronous Bounded Expected Delay Networks
CoRR, 2010
Automating the Mean-Field Method for Large Dynamic Gossip Networks.
Proceedings of the QEST 2010, 2010
Brief announcement: asynchronous bounded expected delay networks.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
An analytical model of information dissemination for a gossip-based protocol.
Comput. Networks, 2009
On the Impact of Modelling Choices for Distributed Information Spread.
Proceedings of the QEST 2009, 2009
Mean-Field Analysis for the Evaluation of Gossip Protocols.
Proceedings of the QEST 2009, 2009
MeanField analysis for the evaluation of gossip protocols.
SIGMETRICS Perform. Evaluation Rev., 2008
Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
Formal analysis techniques for gossiping protocols.
ACM SIGOPS Oper. Syst. Rev., 2007
Verification of Peer-to-peer Algorithms: A Case Study.
Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006