| |
Author |
Title |
Year  |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Linearising Discrete Time Hybrid Systems |
2017 |
IEEE Transactions on Automatic Control |
|
0018-9286 |
|
10.1109/TAC.2017.2694559 |
62 |
5357-5364 |
|
|
|
Leeners, B.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. |
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles |
2017 |
Frontiers in Behavioral Neuroscience |
|
1662-5153 |
|
10.3389/fnbeh.2017.00120 |
11 |
120 |
|
|
|
Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. |
On minimising the maximum expected verification time |
2017 |
Information Processing Letters |
|
|
|
10.1016/j.ipl.2017.02.001 |
|
|
|
|
|
Hengartner, M. P.; Kruger, T. H. C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Ehrig, R.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Leeners, B. |
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles |
2017 |
Journal of Psychosomatic Research |
|
|
|
10.1016/j.jpsychores.2017.05.018 |
99 |
21-27 |
|
|
|
Mancini, T.; Massini, A.; Tronci, E. |
Parallelization of Cycle-Based Logic Simulation |
2017 |
Parallel Processing Letters |
|
|
|
10.1142/S0129626417500037 |
27 |
|
|
|
|
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. |
Residential Demand Management using Individualised Demand Aware Price Policies |
2017 |
IEEE Transactions On Smart Grid |
|
|
|
10.1109/TSG.2016.2596790 |
8 |
1284-1294 |
|
|
|
Driouich, Y.; Parente, M.; Tronci, E. |
Modeling cyber-physical systems for automatic verification |
2017 |
14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) |
|
|
|
10.1109/SMACD.2017.7981621 |
|
1-4 |
|
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks |
2018 |
Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
|
|
|
10.1007/978-3-030-01851-1_29 |
|
302-312 |
|
|
|
Driouich, Y.; Parente, M.; Tronci, E. |
A methodology for a complete simulation of Cyber-Physical Energy Systems |
2018 |
EESMS 2018 – Environmental, Energy, and Structural Monitoring Systems, Proceedings |
|
|
|
10.1109/EESMS.2018.8405826 |
|
1-5 |
|
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
Parallel Statistical Model Checking for Safety Verification in Smart Grids |
2018 |
2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) |
|
|
|
10.1109/SmartGridComm.2018.8587416 |
|
1-6 |
|
