Sfoglia per Autore 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
Model Checking Biological Oscillators
2009-01-01 Bartocci, Ezio; Corradini, Flavio; 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
A Shape Calculus for Biological Processes
2009-01-01 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells
2009-01-15 Bartocci, Ezio
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
Detecting Synchronisation of Biological Oscillators by Model Checking
2010-01-01 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
2010-01-01 Bartocci, Ezio; Corradini, Flavio; 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
Online monitoring of spatio-temporal properties for imprecise signals
2021-01-01 Visconti, E.; Bartocci, E.; Loreti, M.; Nenzi, L.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 | |
Model Checking Biological Oscillators | 1-gen-2009 | Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
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 | |
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 | |
A Formal Framework for Modeling, Simulating and Analyzing Networks of Excitable Cells | 15-gen-2009 | Bartocci, Ezio | Doctoral Thesis | |
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 | |
Detecting Synchronisation of Biological Oscillators by Model Checking | 1-gen-2010 | Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Articolo | |
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 | |
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 | |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile