| Titolo |
Pubblicato in |
Anno |
| 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 |
| 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 |
| 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 |
| Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
MICROPROCESSORS AND MICROSYSTEMS |
2016 |
| An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine |
BIOMAT 2015 - Proceedings of the International Symposium on Mathematical and Computational Biology |
2016 |
| SyLVaaS: System level formal verification as a service |
FUNDAMENTA INFORMATICAE |
2016 |
| Now or never: negotiating efficiently with unknown or untrusted counterparts |
FUNDAMENTA INFORMATICAE |
2016 |
| Experimental evaluation of algorithms for solving problems with combinatorial explosion |
AI COMMUNICATIONS |
2016 |
| SyLVaaS: system level formal verification as a service |
Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) |
2015 |
| 20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” |
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE |
2015 |
| Computing biological model parameters by parallel statistical model checking |
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. |
2015 |
