Finding Optimal Timetables for Edinburgh Bus Routes. - Ludovica Luisa Vissat; Allan Clark; Stephen Gilmore (PASM, 2014)

MELA: Modelling in Ecology with Location Attributes. - Ludovica Luisa Vissat; Jane Hillston; Glenn Marion; Matthew J. Smith (QAPL, 2016)

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (QEST, 2017)

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. - Ludovica Luisa Vissat; Jane Hillston; Michele Loreti; Laura Nenzi (VALUETOOLS, 2017)

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (ACM Trans. Model. Comput. Simul., 2019)

Modelling and spatio-temporal analysis of spatial stochastic systems. - Ludovica Luisa Vissat (2019)

Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. - Ludovica Luisa Vissat; Jane Hillston; Anna Williams (Automated Reasoning for Systems Biology and Medicine, 2019)

Simulation and Analysis of Animal Movement Paths Using Numerus Model Builder. - Wayne M. Getz; Ludovica Luisa Vissat; Richard M. Salter (SpringSim, 2020)