BUTI, Federico
BUTI, Federico
Scuola di Scienze e Tecnologie
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation
2012-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A Uniform Multiscale Meta-model of BioShape
2011-01-01 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
An Individual-based Probabilistic Model for Fish Stock Simulation
2010-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca
An Individual-based Probabilistic Model for Fish Stock Simulation
2010-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca
Automated Analysis of MUTEX Algorithms with FASE
2011-01-01 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, Walter
BioShape - a 3D Modelling and Simulator Environment for Biological Systems
2012-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
BioShape: a spatial shape-based scale-independent simulation environment for biological systems
2010-01-01 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
BIOSHAPE: End-User Development for Simulating Biological Systems
2011-01-01 Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Bone Remodelling in BioShape
2010-01-01 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca; Pani, Martino
Towards Abstraction-Based Verification of Shape Calculus
2012-01-01 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation | 1-gen-2012 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
A Uniform Multiscale Meta-model of BioShape | 1-gen-2011 | Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
An Individual-based Probabilistic Model for Fish Stock Simulation | 1-gen-2010 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca | Contributo in atto di convegno su rivista | |
An Individual-based Probabilistic Model for Fish Stock Simulation | 1-gen-2010 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca | Contributo in atto di convegno su volume | |
Automated Analysis of MUTEX Algorithms with FASE | 1-gen-2011 | Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, Walter | Contributo in atto di convegno su rivista | |
BioShape - a 3D Modelling and Simulator Environment for Biological Systems | 1-gen-2012 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Poster atto convegno su volume | |
BioShape: a spatial shape-based scale-independent simulation environment for biological systems | 1-gen-2010 | Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
BIOSHAPE: End-User Development for Simulating Biological Systems | 1-gen-2011 | Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
Bone Remodelling in BioShape | 1-gen-2010 | Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca; Pani, Martino | Contributo in atto di convegno su rivista | |
Towards Abstraction-Based Verification of Shape Calculus | 1-gen-2012 | Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista |