| Author |
Title  |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni |
Collaboration on ISS Experiment Data and Knowledge Representation |
2012 |
Proc. of IAC 2012 |
|
|
|
|
D.5.11 |
|
| Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Leeners, B. |
Complete populations of virtual patients for in silico clinical trials |
2021 |
Bioinformatics |
|
1367-4803 |
|
10.1093/bioinformatics/btaa1026 |
|
1-8 |
| Intrigila, Benedetto; Melatti, Igor; Tofani, Alberto; Macchiarelli, Guido |
Computational models of myocardial endomysial collagen arrangement |
2007 |
Computer Methods and Programs in Biomedicine |
Elsevier North-Holland, Inc. |
0169-2607 |
|
10.1016/j.cmpb.2007.03.004 |
86 |
232-244 |
| Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti |
Computing Biological Model Parameters by Parallel Statistical Model Checking |
2015 |
International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) |
|
|
|
10.1007/978-3-319-16480-9_52 |
9044 |
542-554 |
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, S.; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, B. |
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction |
2018 |
25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) |
|
|
|
10.29007/g864 |
|
|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Control Software Visualization |
2012 |
Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation |
ThinkMind |
978-1-61208-226-4 |
|
|
|
15-20 |
| Tronci, Enrico |
Defining Data Structures via Böhm-Out |
1995 |
J. Funct. Program. |
|
|
|
10.1017/S0956796800001234 |
5 |
51-64 |
| Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J. K.; Hayes, B.; Elmegaard, L. |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids |
2014 |
Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On |
|
|
|
10.1109/SmartGridComm.2014.7007745 |
|
|
| Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe |
Disk Based Software Verification via Bounded Model Checking |
2007 |
APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference |
IEEE Computer Society |
0-7695-3057-5 |
|
10.1109/APSEC.2007.43 |
|
358-365 |
| Martinelli, Marco; Tronci, Enrico; Dipoppa, Giovanni; Balducelli, Claudio |
Electric Power System Anomaly Detection Using Neural Networks |
2004 |
8th International Conference on: Knowledge-Based Intelligent Information and Engineering Systems (KES) |
Springer |
3-540-23318-0 |
|
10.1007/978-3-540-30132-5_168 |
|
1242-1248 |
