Ludovica Luisa Vissat
Ludovica Luisa Vissat
University of Berkeley
E-mail megerősítve itt: berkeley.edu
Cím
Hivatkozott rá
Hivatkozott rá
Év
Finding optimal timetables for Edinburgh bus routes
L Luisa Vissat, A Clark, S Gilmore
Electronic Notes in Theoretical Computer Science 310, 179-199, 2015
152015
MELA: Modelling in ecology with location attributes
L Luisa Vissat, J Hillston, G Marion, MJ Smith
arXiv preprint arXiv:1610.08171, 2016
92016
Three-valued spatio-temporal logic: A further analysis on spatio-temporal properties of stochastic systems
L Luisa Vissat, M Loreti, L Nenzi, J Hillston, G Marion
International Conference on Quantitative Evaluation of Systems, 317-332, 2017
32017
Analysis of spatio-temporal properties of stochastic systems using TSTL
L Luisa Vissat, M Loreti, L Nenzi, J Hillston, G Marion
ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-24, 2019
22019
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic
L Luisa Vissat, J Hillston, M Loreti, L Nenzi
Proceedings of the 11th EAI International Conference on Performance …, 2017
22017
Simulation and analysis of animal movement paths using numerus model builder
W Getz, L Luisa Vissat, R Salter
SpringSim '20: Proceedings of the 2020 Spring Simulation Conference, 2020
12020
A Contact-Explicit Covid-19 Epidemic and Response Assessment Model
WM Getz, L Luisa Vissat, R Salter
medRxiv, 2020
12020
A Versatile Web App for Identifying the Drivers of COVID-19 Epidemics
WM Getz, R Salter, LL Vissat, N Horvitz
medRxiv, 2020
2020
Characterization of Israeli COVID-19 Outbreak Drivers and Forecasting Using a Versatile Web App
WM Getz, R Salter, N Horvitz, L Luisa Vissat
medRxiv, 2020
2020
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions
L Luisa Vissat, J Hillston, A Williams
Automated Reasoning for Systems Biology and Medicine, 299-326, 2019
2019
Modelling disease spread in CARMA
L Luisa Vissat, CD Williams
2015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–11