| 2 | -- | 0 | Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen. Quantitative analysis of gossiping protocols |
| 3 | -- | 6 | Joost-Pieter Katoen. How to model and analyze gossiping protocols? |
| 7 | -- | 16 | Pepijn Crouzen, Jaco van de Pol, Arend Rensink. Applying formal methods to gossiping networks with mCRL and groove |
| 17 | -- | 22 | Marta Z. Kwiatkowska, Gethin Norman, David Parker. Analysis of a gossip protocol in PRISM |
| 23 | -- | 30 | Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle. A view-probability-matrix approach to the modelling of gossiping protocols |
| 31 | -- | 39 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort. MeanField analysis for the evaluation of gossip protocols |
| 40 | -- | 49 | Trilce Estrada, Olac Fuentes, Michela Taufer. A distributed evolutionary method to design scheduling policies for volunteer computing |
| 50 | -- | 57 | Wesley M. Eddy. Basic properties of the IPv6 AS-level topology |