Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. - Luca Bortolussi; Rytis Paskauskas (QEST, 2014)

Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems. - Mieke Massink; Rytis Paskauskas (ITSC, 2015)

Exploring Spatio-temporal Properties of Bike-Sharing Systems. - Vincenzo Ciancia; Diego Latella; Mieke Massink; Rytis Paskauskas (SASO Workshops, 2015)

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. - Vincenzo Ciancia; Diego Latella; Mieke Massink; Rytis Paskauskas; Andrea Vandin (ISoLA (1), 2016)

TinyML4D: Scaling Embedded Machine Learning Education in the Developing World. - Brian Plancher; Sebastian Büttrich; Jeremy Ellis; Neena Goveas; Laila D. Kazimierski; Jesús Alfonso López Sotelo; Milan Lukic; Diego Mendez 001; Rosdiadee Nordin; Andrés Oliva Trevisan; Massimo Pavan; Manuel Roveri; et al. (AAAI Spring Symposia, 2024)