Articles with public access mandates - Federico MariLearn more
Available somewhere: 12
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
Mandates: Government of Italy
Parallel statistical model checking for safety verification in smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2018 IEEE International Conference on Communications, Control, and Computing …, 2018
Mandates: Government of Italy
Model-based synthesis of control software from system-level formal specifications
F Mari, I Melatti, I Salvo, E Tronci
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-42, 2014
Mandates: Government of Italy
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners
Fundamenta Informaticae 174 (3-4), 283-310, 2020
Mandates: Government of Italy
A two-layer near-optimal strategy for substation constraint management via home batteries
I Melatti, F Mari, T Mancini, M Prodanovic, E Tronci
IEEE Transactions on Industrial Electronics 69 (8), 8566-8578, 2021
Mandates: Government of Spain, Government of Italy
An efficient algorithm for network vulnerability analysis under malicious attacks
T Mancini, F Mari, I Melatti, I Salvo, E Tronci
Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018
Mandates: Government of Italy
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
F Mari, I Melatti, E Tronci, A Finzi
Mobile Information Systems 9 (3), 261-280, 2013
Mandates: Austrian Science Fund
A constraint optimization–based sense and Response system for interactive business performance management
F Mari, A Massini, I Melatti, E Tronci
Applied Artificial Intelligence 35 (5), 353-372, 2021
Mandates: Government of Italy
On checking equivalence of simulation scripts
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Journal of Logical and Algebraic Methods in Programming 120, 100640, 2021
Mandates: Government of Italy
Visualisation of Control Software for Cyber-Physical Systems
I Melatti, F Mari, I Salvo, E Tronci
Information 12 (5), 178, 2021
Mandates: Government of Italy
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners
OVERLAY, 59-64, 2020
Mandates: Government of Italy
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
I Melatti, V Alimguzhin, F Mari, M Prodanovic, BP Hayes
OVERLAY, 71-76, 2020
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program