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

Unicam Blog


Research Projects

Oncology Over Internet
Litbio Project
Litbio CoSy Group
BioAgent Project
Hermes Project


Bioinformatics Stuff

NETTAB

Bioinformatics Italian Society

BMC Bioinformatics

Bioinformatics Oxford Journal



Free time

Musicamdo

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


Teaching:



    A.A. 2009/2010

  1. Project Distributed Calculus and Coordination, I° year, I° semester - Master's degree in Computer Science (Class LM-18),
    Faculty of Science and Technology, University of Camerino
  2. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 31),
    Faculty of Science and Technology, University of Camerino


  3. A.A. 2008/2009

  4. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 26),
    Faculty of Science and Technology, University of Camerino


  5. A.A. 2007/2008

  6. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 26),
    Faculty of Science and Technology, University of Camerino


A.A. 2006/2007

  1. LABORATORIO DI ALGORITMI E STRUTTURE DATI, II° year, I° semester - Bachelor's degree in Computer Science (Class 26),
    Faculty of Science and Technology, University of Camerino

A.A. 2005/2006

  1. FONDAMENTI DI INFORMATICA 1, I° year, III° period - Bachelor's degree in Biothecnology (Class 1),
    Faculty of Science and Technology, University of Camerino