BARTOCCI, Ezio

BARTOCCI, Ezio  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells 15-gen-2009 Bartocci, Ezio Doctoral Thesis
A GRID-based multilayer architecture for bioinformatics 1-gen-2006 Bartocci, Ezio; Cacciagrano, Diletta Romana; Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; L., Milanesi; P., Romano Altro
A Shape Calculus for Biological Processes 1-gen-2009 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su volume
Detecting Synchronisation of Biological Oscillators by Model Checking 1-gen-2010 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Articolo
Model Checking Biological Oscillators 1-gen-2009 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista
Online monitoring of spatio-temporal properties for imprecise signals 1-gen-2021 Visconti, E.; Bartocci, E.; Loreti, M.; Nenzi, L. Contributo in atto di convegno su volume
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 1-gen-2010 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Articolo
Shape Calculus: A spatial calculus for 3D colliding shapes 1-gen-2009 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Altro
Shape Calculus: Timed Operational Semantics and Well-Formedness 1-gen-2010 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Altro
Timed Operational Semantics and Well-Formedness of Shape Calculus 1-gen-2010 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Articolo
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments 1-gen-2012 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Vito, Leonardo Articolo