| Titolo |
Pubblicato in |
Anno |
| MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks |
FUNDAMENTA INFORMATICAE |
2020 |
| Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins |
FUNDAMENTA INFORMATICAE |
2020 |
| Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective |
FRONTIERS IN PSYCHOLOGY |
2020 |
| Monte carlo based statistical model checking of cyber-physical systems: A review |
INFORMATION |
2020 |
| AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials |
CEUR Workshop Proceedings |
2020 |
| Associations between natural physiological and supraphysiological estradiol levels and stress perception |
FRONTIERS IN PSYCHOLOGY |
2019 |
| SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems |
BIOINFORMATICS |
2019 |
| Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. |
Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 |
2018 |
| A methodology for a complete simulation of Cyber-Physical Energy Systems |
EESMS 2018 - Environmental, Energy, and Structural Monitoring Systems, Proceedings |
2018 |
| Preface for the special issue GandALF 2015 |
Preface for the special issue GandALF 2015 |
2018 |
| Optimal fault-tolerant placement of relay nodes in a mission critical wireless network |
Proceedings of the 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2018) |
2018 |
| An efficient algorithm for network vulnerability analysis under malicious attacks |
Foundations of Intelligent Systems - 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
2018 |
| Parallel statistical model checking for safety verification in smart grids |
Proceedings of IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) |
2018 |
| Residential demand management using individualised demand aware price policies |
IEEE TRANSACTIONS ON SMART GRID |
2017 |
| On minimising the maximum expected verification time |
INFORMATION PROCESSING LETTERS |
2017 |
| Linearising discrete time hybrid systems |
IEEE TRANSACTIONS ON AUTOMATIC CONTROL |
2017 |
| Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles |
JOURNAL OF PSYCHOSOMATIC RESEARCH |
2017 |
| Parallelization of cycle-based logic simulation |
PARALLEL PROCESSING LETTERS |
2017 |
| Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles |
FRONTIERS IN BEHAVIORAL NEUROSCIENCE |
2017 |
| Modeling cyber-physical systems for automatic verification |
SMACD 2017 - 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design |
2017 |
