Luca Tesei
Luca Tesei
Assistant Professor of Computer Science, University of Camerino
Email verificata su unicam.it - Home page
TitoloCitata daAnno
Spatial P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei
Natural Computing 10 (1), 3-16, 2011
532011
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54 (6), 589-623, 2017
502017
Timed automata with urgent transitions
R Barbuti, L Tesei
Acta Informatica 40 (5), 317-347, 2004
372004
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
35*2010
Topological characterization of complex systems: Using persistent entropy
E Merelli, M Rucco, P Sloot, L Tesei
Entropy 17 (10), 6872-6892, 2015
222015
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
202010
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
202003
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
192002
A multi-level model for self-adaptive systems
E Merelli, N Paoletti, L Tesei
arXiv preprint arXiv:1209.1628, 2012
172012
A decidable notion of timed non-interference
R Barbuti, L Tesei
Fundamenta Informaticae 54 (2-3), 137-150, 2003
172003
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
142010
Detecting synchronisation of biological oscillators by model checking.
E Bartocci, F Corradini, E Merelli, L Tesei
Theor. Comput. Sci. 411 (20), 1999-2018, 2010
132010
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
132008
Timed automata with non-instantaneous actions
R Barbuti, N De Francesco, L Tesei
Fundamenta Informaticae 47 (3-4), 189-200, 2001
132001
Model checking biological oscillators
E Bartocci, F Corradini, E Merelli, L Tesei
Electronic Notes in Theoretical Computer Science 229 (1), 41-58, 2009
122009
Timed P automata
R Barbuti, A Maggiolo-Schettini, P Milazzo, L Tesei
Fundamenta Informaticae 94 (1), 1-19, 2009
122009
Multiscale bone remodelling with spatial p systems
DR Cacciagrano, F Corradini, E Merelli, L Tesei
Proceedings Compendium of the 4th Workshop on Membrane Computing andá…, 2010
112010
Bone remodelling in BioShape
F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei, M Pani
Electronic Notes in Theoretical Computer Science 268, 17-29, 2010
102010
A Shape Calculus for Biological Processes.
E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei
ICTCS 2009, 30-33, 2009
102009
Adaptability checking in complex systems
E Merelli, N Paoletti, L Tesei
Science of Computer Programming 115, 23-46, 2016
92016
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20