BUTI, Federico

BUTI, Federico  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
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; Massimo Callisto De, Donato; Corradini, Flavio; DI BERARDINI, Maria Rita; Walter, Vogler 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
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
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
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