| |
Author |
Title  |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 1 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00105-0 |
160 |
145-184 |
|
|
|
Tronci, Enrico |
Equational Programming in lambda-calculus |
1991 |
Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1991.151644 |
|
191-202 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
|
|
Tronci, Enrico |
Defining Data Structures via Böhm-Out |
1995 |
J. Funct. Program. |
|
|
|
10.1017/S0956796800001234 |
5 |
51-64 |
|
|
|
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 |
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
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 |
|
