BioShape: a spatial shape-based scale-independent simulation environment for biological systems F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei
Procedia Computer Science 1 (1), 827-835, 2010
28 2010 Bone remodelling in BioShape F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei, M Pani
Electronic Notes in Theoretical Computer Science 268, 17-29, 2010
14 2010 : End-User Development for Simulating Biological Systems F Buti, D Cacciagrano, M Callisto De Donato, F Corradini, E Merelli, ...
International Symposium on End User Development, 379-382, 2011
5 2011 Automated Analysis of MUTEX Algorithms with FASE F Buti, MC De Donato, F Corradini, MR Di Berardini, W Vogler
arXiv preprint arXiv:1106.1231, 2011
5 2011 A uniform multiscale meta-model of BioShape F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei
Electronic Notes in Theoretical Computer Science 277, 15-27, 2011
3 2011 An individual-based probabilistic model for fish stock simulation F Buti, F Corradini, E Merelli, E Paschini, P Penna, L Tesei
arXiv preprint arXiv:1008.3303, 2010
3 2010 A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. F Buti, F Corradini, E Merelli, L Tesei
SIMULTECH, 218-227, 2012
2 2012 Evaluating the Efficiency of Asynchronous Systems with FASE F Buti, MC De Donato, F Corradini, MR Di Berardini, W Vogler
arXiv preprint arXiv:1105.1369, 2011
2 2011 Towards abstraction-based verification of Shape Calculus F Buti, MC De Donato, F Corradini, MR Di Berardini, E Merelli, L Tesei
Electronic Notes in Theoretical Computer Science 284, 23-34, 2012
1 2012 BioShape-a 3D Modelling and Simulator Environment for Biological Systems F Buti, F Corradini, E Merelli, L Tesei
Book of Abstracts of the 2nd Scientific Day of School of Science and …, 2012
2012 Multiscale Modelling: A Mobile Membrane Approach F Buti, MC De Donato, F Corradini, E Merelli, L Tesei
arXiv preprint arXiv:1108.3434, 2011
2011 : End-User Development for Simulating Biological SystemsF Buti, D Cacciagrano, MC De Donato, F Corradini, E Merelli, L Tesei
End-User Development, 0
Evaluating the Efficiency of Asynchronous Systems with❋❆❙❊ F Buti, M Callisto, F Corradini, MR Di Berardini
Simulation of Multiphysics Multiscale Systems, 7th International Workshop. In International Conference on Computational Science, ICCS 2010 BioShape: a spatial shape-based scale … F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei
BioShape: a Uniform Multiscale Approach to Biological System Simulation F Buti, D Cacciagrano, L Tesei