Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 10 di 10
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
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
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
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
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
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
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
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 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
Mostrati risultati da 1 a 10 di 10
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile