Pubblicazioni

• 61 . Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach
  Tesei, Luca
  2010;Pages:73 -79 [ Contributo in atto di convegno su volume ]
• 62 . Timed Operational Semantics and Well-Formedness of Shape Calculus
  Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
  SCIENTIFIC ANNALS OF COMPUTER SCIENCE;2010;Vol. 20;Pages:33 -52 [ Articolo ]
• 63 . A Shape Calculus for Biological Processes
  Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
  2009;Pages:30 -33 [ Contributo in atto di convegno su volume ]
• 64 . Model Checking Biological Oscillators
  Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
  ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE;2009;Vol. 229;Pages:41 -58 [ Contributo in atto di convegno su rivista ]
• 65 . Shape Calculus: A spatial calculus for 3D colliding shapes
  Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
  2009;Vol. TR 2009/01;Pages:1 -29 [ Altro ]