Titolo	Data di pubblicazione	Autori	File
1	U-Check: Model Checking and Parameter Synthesis Under Uncertainty	2015	BORTOLUSSI, LUCA  ; Milios, Dimitrios; Sanguinetti, Guido	Open Access
2	The importance of being (a little bit) discrete	2009	BORTOLUSSI, LUCA  ; POLICRITI A.	-
3	Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients	2014	S. Bufo; E. Bartocci; G. Sanguinetti; BORELLI, MASSIMO  ; LUCANGELO, UMBERTO  ; BORTOLUSSI, LUCA	-
4	Tales of Spatiality in stochastic Concurrent Constraint Programming	2009	BORTOLUSSI, LUCA  ; POLICRITI A.	-
5	System design of stochastic models using robustness of temporal properties	2015	Bartocci, Ezio; BORTOLUSSI, LUCA  ; NENZI, LAURA  ; Sanguinetti, Guido	Solo autorizzati
6	Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic	2015	Bartocci, Ezio; BORTOLUSSI, LUCA  ; Milios, Dimitrios; NENZI, LAURA  ; Sanguinetti, Guido	Open Access
7	Studying cancer-cell populations by programmable models of networks	2012	BORTOLUSSI, LUCA  ; A. Policriti	-
8	Stochastic Programs and Hybrid Automatafor (Biological) Modeling.	2009	BORTOLUSSI, LUCA  ; POLICRITI A.	-
9	Stochastic Process Algebra and Stability Analysis of Collective Systems	2013	BORTOLUSSI, LUCA  ; D. Latella; M. Massink	-
10	Stochastic Concurrent Constraint Programming and Differential Equations	2007	BORTOLUSSI, LUCA  ; POLICRITI A.	-
11	Stochastic Concurrent Constaint Programming	2006	BORTOLUSSI, LUCA	-
12	Stochastic Approximation of Global Reachability Probabilities of Markov Population Models	2014	BORTOLUSSI, LUCA  ; Roberta Lanciani	-
13	Statistics and histopathology: a mixed-effects model approach to digital image analysis	2012	BORELLI, MASSIMO  ; ZANCONATI, FABRIZIO  ; BORTOLUSSI, LUCA  ; GIUDICI, FABIOLA  ; BARBATI, GIULIA  ; TORELLI, LUCIO	-
14	Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic	2015	NENZI, LAURA  ; BORTOLUSSI, LUCA	Open Access
15	Spearman Permutation Distances and Shannon's Distinguishability	2012	BORTOLUSSI, LUCA  ; L. P. Dinu; SGARRO, ANDREA	-
16	Smoothed Model Checking for Uncertain Continuous-Time Markov Chains	2016	BORTOLUSSI, LUCA  ; Milios, Dimitrios; Sanguinetti, Guido	riservati
17	Size expansions of mean field approximation: Transient and steady-state analysis	2019	Gast, Nicolas; BORTOLUSSI, LUCA  ; Tribastone, Mirco	riservati
18	Size expansions of mean field approximation: Transient and steady-state analysis	2019	Gast, Nicolas; BORTOLUSSI, LUCA  ; TRIBASTONE, MIRCO	Solo autorizzati
19	Signal Convolution Logic	2018	SILVETTI, SIMONE  ; NENZI, LAURA  ; Bartocci, Ezio; BORTOLUSSI, LUCA	Solo autorizzati
20	Scoring predictive models using a reduced representation of proteins: model and energy definition	2007	FOGOLARI F; PIERI L; DOVIER A; BORTOLUSSI, LUCA  ; GIUGLIARELLI G; CORAZZA A; ESPOSITO G; VIGLINO P.	-