Federico Buti

According to our database, Federico Buti authored at least 10 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.

Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2011

Towards Abstraction-Based Verification of Shape Calculus.

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

A Uniform Multiscale Meta-model of BioShape.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

Multiscale Modelling: A Mobile Membrane Approach

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei

CoRR, 2011

Automated Analysis of MUTEX Algorithms with FASE

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of Second International Symposium on Games, 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

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.

Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the End-User Development - Third International Symposium, 2011

2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the International Conference on Computational Science, 2010

Bone Remodelling in BioShape.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

An Individual-based Probabilistic Model for Fish Stock Simulation

Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010