17
Publications
434
Citations
14
H-Index
2001
Active since
Affiliations
Luca Tesei is an author at Università di Camerino specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationBiophysicsVerificationSystems BiologyAutomated ReasoningSystems EngineeringCryptography
Publications per year
2001–2020
17
17
Topological Characterization of Complex Systems: Using Persistent Entropy
Emanuela Merelli, Matteo Rucco, P.M.A. Sloot et al. · Entropy · 2015 · 62 citations · Full text
Topological classifier for detecting the emergence of epileptic seizures
Marco Piangerelli, Matteo Rucco, Luca Tesei et al. · BMC Research Notes · 2018 · 54 citations · Full text
Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo et al. · Natural Computing · 2010 · 49 citations
An algebraic language for RNA pseudoknots comparison
Michela Quadrini, Luca Tesei, Emanuela Merelli · BMC Bioinformatics · 2019 · 28 citations · Full text
Timed automata with urgent transitions
Roberto Barbuti, Luca Tesei · Acta Informatica · 2004 · 27 citations
Rows per page
1–5 of 17