Sfoglia per Autore
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records
2014 Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille
SyLVaaS: system level formal verification as a service
2015 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Simulator semantics for system level formal verification
2015 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Computing biological model parameters by parallel statistical model checking
2015 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine
2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
2016 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
SyLVaaS: System level formal verification as a service
2016 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Parallelization of cycle-based logic simulation
2017 Mancini, Toni; Massini, Annalisa; Tronci, Enrico
On minimising the maximum expected verification time
2017 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction.
2018 Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B.
Massive NGS data analysis reveals hundreds of potential novel gene fusions in human cell lines
2018 Gioiosa, Silvia; Bolis, Marco; Flati, Tiziano; Massini, Annalisa; Garattini, Enrico; Chillemi, Giovanni; Fratelli, Maddalena; Castrignanò, Tiziana
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking
2020 Calabrese, A.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.
Hybrid Solver for Quasi Block Diagonal Linear Systems
2020 Arrigoni, Viviana; Massini, Annalisa
Optimal all-To-All personalized communication on Butterfly networks through a reduced Latin square
2020 Izzi, D.; Massini, A.
In silico clinical trials through AI and statistical model checking
2020 Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.
Monte carlo based statistical model checking of cyber-physical systems: A review
2020 Pappagallo, A.; Massini, A.; Tronci, E.
On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography
2020 Bartolini, N.; He, T.; Arrigoni, V.; Massini, A.; Trombetti, F.; Khamfroush, H.
A New Perspective for Rearrangeability of MINs
2021 Gerald Cabangcla, Fitz; Izzi, Daniele; Massini, Annalisa
On checking equivalence of simulation scripts
2021 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification
2021 Arrigoni, V.; Bartolini, N.; Massini, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records | 2014 | Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille | |
SyLVaaS: system level formal verification as a service | 2015 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Simulator semantics for system level formal verification | 2015 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Computing biological model parameters by parallel statistical model checking | 2015 | Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor | |
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine | 2016 | Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B | |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation | 2016 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
SyLVaaS: System level formal verification as a service | 2016 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Parallelization of cycle-based logic simulation | 2017 | Mancini, Toni; Massini, Annalisa; Tronci, Enrico | |
On minimising the maximum expected verification time | 2017 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. | 2018 | Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B. | |
Massive NGS data analysis reveals hundreds of potential novel gene fusions in human cell lines | 2018 | Gioiosa, Silvia; Bolis, Marco; Flati, Tiziano; Massini, Annalisa; Garattini, Enrico; Chillemi, Giovanni; Fratelli, Maddalena; Castrignanò, Tiziana | |
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking | 2020 | Calabrese, A.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. | |
Hybrid Solver for Quasi Block Diagonal Linear Systems | 2020 | Arrigoni, Viviana; Massini, Annalisa | |
Optimal all-To-All personalized communication on Butterfly networks through a reduced Latin square | 2020 | Izzi, D.; Massini, A. | |
In silico clinical trials through AI and statistical model checking | 2020 | Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. | |
Monte carlo based statistical model checking of cyber-physical systems: A review | 2020 | Pappagallo, A.; Massini, A.; Tronci, E. | |
On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography | 2020 | Bartolini, N.; He, T.; Arrigoni, V.; Massini, A.; Trombetti, F.; Khamfroush, H. | |
A New Perspective for Rearrangeability of MINs | 2021 | Gerald Cabangcla, Fitz; Izzi, Daniele; Massini, Annalisa | |
On checking equivalence of simulation scripts | 2021 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification | 2021 | Arrigoni, V.; Bartolini, N.; Massini, A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile