Ludovica Luisa Vissat

According to our database, Ludovica Luisa Vissat authored at least 8 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Simulation and Analysis of Animal Movement Paths Using Numerus Model Builder.

Wayne M. Getz, Ludovica Luisa Vissat, Richard M. Salter

Proceedings of the Spring Simulation Conference, 2020

2019

Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions.

Ludovica Luisa Vissat, Jane Hillston, Anna Williams

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Modelling and spatio-temporal analysis of spatial stochastic systems.

Ludovica Luisa Vissat

PhD thesis, 2019

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

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

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

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

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

MELA: Modelling in Ecology with Location Attributes.

Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

2014

Finding Optimal Timetables for Edinburgh Bus Routes.

Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014