BARTOCCI, Ezio
BARTOCCI, Ezio
Scuola di Scienze e Tecnologie
A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells
2009-01-15 Bartocci, Ezio
A GRID-based multilayer architecture for bioinformatics
2006-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; L., Milanesi; P., Romano
A Shape Calculus for Biological Processes
2009-01-01 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Detecting Synchronisation of Biological Oscillators by Model Checking
2010-01-01 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Model Checking Biological Oscillators
2009-01-01 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Online monitoring of spatio-temporal properties for imprecise signals
2021-01-01 Visconti, E.; Bartocci, E.; Loreti, M.; Nenzi, L.
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
2010-01-01 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Shape Calculus: A spatial calculus for 3D colliding shapes
2009-01-01 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Shape Calculus: Timed Operational Semantics and Well-Formedness
2010-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Timed Operational Semantics and Well-Formedness of Shape Calculus
2010-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
2012-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Vito, Leonardo
| 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 |