Menù

Home
Curriculum
Publications
Research interests
Talks
Stages/Thesis
Developed Software
Photo gallery

Random Picture

Last papers                             

Runtime Verification with State Estimation


Toward Realtime Simulation of Cardiac Dynamics


From Cardiac Cells to Genetic Regulatory Networks


Modeling the cell cycle: From deterministic models to hybrid systems


Model Repair for Probabilistic Systems


Curvature Analysis of Cardiac Excitation Wavefronts


Shape Calculus. A Spatial Mobile Calculus for 3D Shapes


Timed Operational Semantics and Well-Formedness of Shape Calculus


Shape Calculus: Timed Operational Semantics and Well-formedness


Detecting synchronisation of biological oscillators by model checking


A Resourceome for the Automation of In-silico Biological Experiments


Random Poster

Links


PhD Stuff

ADI - Italian PhD Association
Fullbright scolarships
Marie Curie Fellowship Association


My University

SUNY in Stony Brook
Applied Math and Statistics
Computer Science


My Current Research Projects

CMACS
CMACS (AFIB)
Survaivable Software

Old Projects

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

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


LINK UTILISTAGE PROPOSTISCRIVERE LA TESI IN LATEXCREA FRONTESPIZIOTESI PROPOSTETESI TRIENNALITESI SPECIALISTICHE



LINK UTILI PER GLI STUDENTI DELLA LAUREA TRIENNALE

  1. Foglio Excel per il calcolo del voto finale
  2. Regolamento punteggio finale delle lauree triennali
  3. Regolamento Stage
  4. Banca Dati Stage


STAGE PROPOSTI

  1. Analisi delle caratteristiche di un workflow-managent-systems sviluppato nell'ambito del progetto FIRB-LITBIO (Cod. Riferimento 1965) - Assegnato
  2. Studio e realizzazione di un'interfaccia grafica per l'analisi di tessuti di sistemi cellulari (Cod. Riferimento 1967) - Assegnato
  3. Analisi delle caratteristiche di alcuni linguaggi di specifica di workflow e studio dei fattibilità di loro traduzione nell'ambito del progetto FIRB-LITBIO (Cod. Riferimento 1966) - Non assegnato
  4. Analisi e sviluppo di componenti JAVA nell'ambito del progetto FIRB-LITBIO (Cod. Riferimento 1968) - Non assegnato





SCRIVERE LA TESI IN LATEX

Di sguito trovate il template latex per scrivere la tesi, un paio di guide e alcuni link al software free disponibile per scriver il latex. Per ulteriori informazioni vi consiglio di consultare il sito del Gruppo utilizzatori italiani di Tex

CREA IL FRONTESPIZIO DELLA TESI (IN LATEX)

Laurea Triennale/Specialistica
Titolo della Tesi
Tipo Tesi
Materia
Nome Laureando/a
Cognome Laureando/a
Laureando o Laureanda
Titolo Relatore
Nome Relatore
Cognome Relatore
Titolo Correlatore
Nome Correlatore
Cognome Correlatore

TESI PROPOSTE



TESI TRIENNALI

  1. Progettazione di un'interfaccia web per la gestione del repository in Hermes,
    Laureando: Francesco Pirani
    Relatore Chiar.mo Prof. Corradini
    Correlatore Dott. Ezio Bartocci
    Data 21/02/2006


TESI SPECIALISTICHE

  1. Progettazione e sviluppo di un'interfaccia Web per la specifica, la gestione e l'esecuzione di workflow,
    Laureando: Lorenzo Scortichini
    Relatore Prof.ssa Merelli
    Correlatore Dott. Ezio Bartocci
    Data 15/04/2006