| Topological characterization of complex systems: Using persistent entropy E Merelli, M Rucco, P Sloot, L Tesei Entropy 17 (10), 6872-6892, 2015 | 84 | 2015 |
| Spatial P systems R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei Natural Computing 10 (1), 3-16, 2011 | 63 | 2011 |
| Topological classifier for detecting the emergence of epileptic seizures M Piangerelli, M Rucco, L Tesei, E Merelli BMC research notes 11, 1-7, 2018 | 61 | 2018 |
| Shape Calculus. A Spatial Mobile Calculus for 3D Shapes E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei Scientific Annals of Computer Science 20 (1), 1-31, 2010 | 46* | 2010 |
| Timed automata with urgent transitions R Barbuti, L Tesei Acta Informatica 40, 317-347, 2004 | 39 | 2004 |
| A decidable notion of timed non-interference R Barbuti, L Tesei Fundamenta Informaticae 54 (2-3), 137-150, 2003 | 32 | 2003 |
| A notion of non-interference for timed automata R Barbuti, N De Francesco, A Santone, L Tesei Fundamenta Informaticae 51 (1-2), 1-11, 2002 | 31 | 2002 |
| Adaptability checking in complex systems E Merelli, N Paoletti, L Tesei Science of Computer Programming 115, 23-46, 2016 | 29 | 2016 |
| An algebraic language for RNA pseudoknots comparison M Quadrini, L Tesei, E Merelli BMC bioinformatics 20, 1-18, 2019 | 28 | 2019 |
| BioShape: a spatial shape-based scale-independent simulation environment for biological systems F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei Procedia Computer Science 1 (1), 827-835, 2010 | 28 | 2010 |
| Detecting synchronisation of biological oscillators by model checking E Bartocci, F Corradini, E Merelli, L Tesei Theoretical Computer Science 411 (20), 1999-2018, 2010 | 27 | 2010 |
| Abstract interpretation and model checking for checking secure information flow in concurrent systems N De Francesco, A Santone, L Tesei Fundamenta Informaticae 54 (2-3), 195-211, 2003 | 25 | 2003 |
| A multi-level model for self-adaptive systems E Merelli, N Paoletti, L Tesei arXiv preprint arXiv:1209.1628, 2012 | 23 | 2012 |
| A graph grammar for modelling RNA folding AL Mamuye, E Merelli, L Tesei arXiv preprint arXiv:1612.01639, 2016 | 21 | 2016 |
| A constrained ECA language supporting formal verification of WSNs F Corradini, R Culmone, L Mostarda, L Tesei, F Raimondi 2015 IEEE 29th International Conference on Advanced Information Networking …, 2015 | 21 | 2015 |
| Model checking biological oscillators E Bartocci, F Corradini, E Merelli, L Tesei Electronic Notes in Theoretical Computer Science 229 (1), 41-58, 2009 | 20 | 2009 |
| Timed Operational Semantics and Well-Formedness of Shape Calculus E Bartocci, DR Cacciagrano, MR Di Berardini, E Merelli, L Tesei Scientific Annals of Computer Science 20 (1), 33-52, 2010 | 17 | 2010 |
| Encoding timed models as uniform labeled transition systems M Bernardo, L Tesei European Workshop on Performance Engineering, 104-118, 2013 | 15 | 2013 |
| Quality of service in e-government underlines the role of information usability F Corradini, A Polzonetti, B Re, L Tesei International Journal of Information Quality 2 (2), 133-151, 2008 | 15 | 2008 |
| Timed automata with non-instantaneous actions R Barbuti, N De Francesco, L Tesei Fundamenta Informaticae 47 (3-4), 189-200, 2001 | 15 | 2001 |
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
