Search results for: Simona Bernardi
Macromolecular Bioscience > 19 > 8 > n/a - n/a
Macromolecular Bioscience > 19 > 8 > n/a - n/a
Information Systems Frontiers > 2019 > 21 > 1 > 67-85
Empirical Software Engineering > 2018 > 23 > 6 > 3394-3441
Software & Systems Modeling > 2019 > 18 > 3 > 2241-2264
Journal of Translational Medicine > 2017 > 15 > 1 > 1-10
BMC Bioinformatics > 2016 > 17 > 12 > 27-35
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 1: Ram Evaluation 1 > 15-28
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 50-53
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 36-51
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2013 > 43 > 5 > 1167 - 1181
Discrete Event Dynamic Systems > 2012 > 22 > 2 > 163-178