Multiscale Modelling: A Mobile Membrane Approach
Buti, Federico, De Donato, Massimo Callisto, Corradini, Flavio, Merelli, Emanuela, Tesei, Luca
Year of Publication 17.08.2011
Year of Publication 17.08.2011
Get full text
Journal Article
Evaluating the Efficiency of Asynchronous Systems with FASE
Buti, Federico, De Donato, Massimo Callisto, Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Year of Publication 06.05.2011
Year of Publication 06.05.2011
Get full text
Journal Article
An Individual-based Probabilistic Model for Fish Stock Simulation
Buti, Federico, Corradini, Flavio, Merelli, Emanuela, Paschini, Elio, Penna, Pierluigi, Tesei, Luca
Published in arXiv.org (19.08.2010)
Published in arXiv.org (19.08.2010)
Get full text
Paper
Journal Article
Automated Analysis of MUTEX Algorithms with FASE
Buti, Federico, Massimo Callisto De Donato, Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Published in arXiv.org (07.06.2011)
Published in arXiv.org (07.06.2011)
Get full text
Paper
Journal Article
documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\textsc{BioShape}$\end{document}: End-User Development for Simulating Biological Systems
Buti, Federico, Cacciagrano, Diletta, Callisto De Donato, Massimo, Corradini, Flavio, Merelli, Emanuela, Tesei, Luca
Published in End-User Development
Published in End-User Development
Get full text
Book Chapter