 |
Ezio Bartocci - PhD Candidate |
 |
 |
Menù
Home
Curriculum
Publications
Research interests
Talks
Stage/Thesis
Developed Software
Teaching
Photo gallery
Blog
Random Picture
Last papers 
A Shape Calculus for Biological Processes
Model Checking Biological Oscillators
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
CellExcite: An Efficient Simulation Environment for Excitable Cells
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
BioWMS: a web-based Workflow Management System for bioinformatics
Biowep: a workflow enactment portal for bioinformatics applications
An Agent-based Multilayer Architecture for Bioinformatics Grids
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Random Poster
Links
PhD Stuff
ADI - Italian PhD Association
Fullbright scolarships
Marie Curie Fellowship Association
My University
University of Camerino
Department of Mathematics and Computer Science
UNICAM - Computer Science
CERCODI UNICAM
Research Projects
Oncology Over Internet
Litbio Project
Litbio CoSy Group
BioAgent Project
Hermes Project
Bioinformatics Stuff
NETTAB
Bioinformatics Italian Society
Free time
Musicamdo
Counter and browser compatibility
