Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
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
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
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
Model Checking Biological Oscillators 1-gen-2009 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista
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
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
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
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
Mostrati risultati da 1 a 11 di 11
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