[PDF][PDF] Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.

E Bartocci, F Corradini, MR Di Berardini… - Scientific Annals of …, 2010 - info.uaic.ro
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape
forms a 3D process when combined with a behaviour. Behaviours are specified with a timed …

Agent-based models of cellular systems

N Cannata, F Corradini, E Merelli, L Tesei - … Toxicology: Volume II, 2013 - Springer
Software agents are particularly suitable for engineering models and simulations of cellular
systems. In a very natural and intuitive manner, individual software components are therein …

[PDF][PDF] Shape calculus: A spatial calculus for 3d colliding shapes

E Bartocci, F Corradini, MR Di Berardini, E Merelli… - 2009 - researchgate.net
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape
forms a 3D process when combined with a behaviour. Behaviours are specified with a timed …

[PDF][PDF] Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach

L Tesei - … of 6th Workshop on Computation of …, 2010 - computerscience.unicam.it
In Algorithmic (Computational) Systems Biology we want to use the computer science
approach of modeling (originally) software systems on biological systems Space, in …