An Individual-based Probabilistic Model for Fish Stock Simulation - Federico Buti; Flavio Corradini; Emanuela Merelli; Elio Paschini; Pierluigi Penna; Luca Tesei (AMCA-POP, 2010)

Bone Remodelling in BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei; M. Pani (CS2Bio, 2010)

BioShape: a spatial shape-based scale-independent simulation environment for biological systems. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (ICCS, 2010)

BIOSHAPE textsc{BioShape}: End-User Development for Simulating Biological Systems. - Federico Buti; Diletta Cacciagrano; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (IS-EUD, 2011)

Evaluating the Efficiency of Asynchronous Systems with FASE - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CoRR, 2011)

Automated Analysis of MUTEX Algorithms with FASE - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (GandALF, 2011)

Multiscale Modelling: A Mobile Membrane Approach - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (CoRR, 2011)

A Uniform Multiscale Meta-model of BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (CS2Bio@DisCoTec, 2011)

Towards Abstraction-Based Verification of Shape Calculus. - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (SASB, 2011)

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. - Federico Buti; Flavio Corradini; Emanuela Merelli; Luca Tesei (SIMULTECH, 2012)