Federico Buti

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Concurrent Systems

Arbitrarily Shaped

Face Verification

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
Towards Abstraction-Based Verification of Shape Calculus. Electron. Notes Theor. Comput. Sci. 284 (2012)
Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH (2012)
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD (2011)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Evaluating the Efficiency of Asynchronous Systems with FASE CoRR (2011)
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
A Uniform Multiscale Meta-model of BioShape. Electron. Notes Theor. Comput. Sci. 277 (2011)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Automated Analysis of MUTEX Algorithms with FASE GandALF (2011)
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
Multiscale Modelling: A Mobile Membrane Approach CoRR (2011)
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei
An Individual-based Probabilistic Model for Fish Stock Simulation AMCA-POP (2010)
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani
Bone Remodelling in BioShape. Electron. Notes Theor. Comput. Sci. 268 (2010)
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS (1) (2010)