Didattica (Corso di Laurea in Informatica Applicata, sede di Comiso)
Ingegneria del software , AA 2009-10, II semestre.Note delle lezioni 1-12 di Ingegneria del software .
Archivio di precedenti edizioni dei corsi a Comiso.
Ricerca
Poster al Workshop finale dei progetti Grid del PON Ricerca 2000-2006 - Avviso 1575 , Catania, 10-12/02/2009:.Results and programming techniques from the CR3x+1 project
abstract (PDF)
articolo (preprint) .
Presentazione al Convegno Grid Open Days all'Università di Palermo , 6/12/2007:.Looking for Class Records in the 3x+1 problem
by means of the Cometa grid
handout (PDF)
presentazione .
Seminario al DMI, 3/7/2006:Recurrence and attractors in state transition dynamics:
a relational view
handout (PDF stampabile)
presentazione (PDF, 1.3MB) .
Presentazione a 8th Congress SIMAI, 25/5/2006:State transition models of biomolecular dynamics:
a few research questions
handout (PDF stampabile)
presentazione (PDF, 0.7MB) .
Seminario al DMI, 2/12/2005:Simulazione discreta di sistemi dinamici
con sistemi di riscrittura, finitari e non
handout (PDF stampabile)
presentazione (PDF, 1.4MB) .
Pubblicazioni recenti .
Convegni
Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 2008) .
Frauenwörth, Germany, 7-11 April 200812th International Conference on
Algebraic Methodology and Software Technology (AMAST 2008) .
Urbana, Illinois, USA, 28-31 July 2008
Posta
Richieste di correzione di informazione presente in questo sito vanno inviate per posta elettronica .
Altri siti
Home page al DMI .
Data: Lunedì 15 Marzo 2010
Indice dei corsi
Indice dell'archivio
Testo semplice di questa pagina .