| Titolo |
Pubblicato in |
Anno |
| Characterising Spectra of Equivalences for Event Structures, Logically |
INFORMATION AND COMPUTATION |
2022 |
| Behavioural Logics for Configuration Structures |
THEORETICAL COMPUTER SCIENCE |
2022 |
| Polynomial recognition of vulnerable multi-commodities |
INFORMATION PROCESSING LETTERS |
2022 |
| Visualisation of Control Software for Cyber-Physical Systems |
INFORMATION |
2021 |
| Conflict vs Causality in Event Structures |
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
2020 |
| A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs |
ALGORITHMICA |
2019 |
| Conflict vs causality in event structures |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
2019 |
| Inefficiencies in network models: a graph-theoretic perspective |
INFORMATION PROCESSING LETTERS |
2018 |
| 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 |
| 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 |
| Depletable channels: dynamics, behaviour, and efficiency in network design |
ACTA INFORMATICA |
2018 |
| Graph theoretic detection of inefficiencies in network models |
CEUR Workshop ProceedingsCEUR Workshop Proceedings |
2018 |
| Three Euler's Sieves and a Fast Prime Generator (Functional Pearl) |
|
2018 |
| On minimising the maximum expected verification time |
INFORMATION PROCESSING LETTERS |
2017 |
| Linearising discrete time hybrid systems |
IEEE TRANSACTIONS ON AUTOMATIC CONTROL |
2017 |
| 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 |
| 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 |
| User flexibility aware price policy synthesis for smart grids |
Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 |
2015 |
