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 |