1

Dipartimento Di Scienze Dell'Informazione www.dsi.unimi.it

Indirizzo: Via Comelico, 39/41 - Milano Telefono: 0250316200 Fax: 0250316201 E-Mail: segreteriadsi@dsi.unimi.it Direttore: Prof.ssa Elisa Bertino Macro-Settore: Ingegneria Industriale e dell'Informazione Area di afferenza 1: Scienze Informatiche

1. Organico assegnato e altri collaboratori alla ricerca afferenti alla struttura

1.1 Personale docente

Professori di I fascia a tempo pieno Apolloni Bruno tel. 0250316284 apolloni@dsi.unimi.it Bertino Elisa " 0250316227 bertino@dsi.unimi.it Bertoni Alberto " 0250316236 bertoni@dsi.unimi.it Campadelli Paola " 0250316231 campadelli@dsi.unimi.it Castano Silvana " 0250316319 castano@dsi.unimi.it De Falco Diego " 0250316240 defalco@dsi.unimi.it Ghilardi Silvio " 0250316217 ghilardi@dsi.unimi.it Haus Goffredo " 0250316222 haus@dsi.unimi.it Italiani Mario " 0250316237 italiani@dsi.unimi.it Martella Giancarlo " 0250316245 martella@dsi.unimi.it Mundici Daniele " 0250316247 mundici@dsi.unimi.it Pighizzini Giovanni " 0250316303 pighizzini@dsi.unimi.it Valle Giorgio " 0250316242 valle@dsi.unimi.it Professori di I fascia a tempo definito Bruschi Danilo tel. 0250316260 bruschi@dsi.unimi.it Rossi Gian Paolo " 0250316272 rossi@dsi.unimi.it Professori di II fascia a tempo pieno Alberti Maria Alberta tel. 0250316311 alberti@dsi.unimi.it Angeleri Emanuele " 0250316283 angeleri@dsi.unimi.it Bellettini Carlo " 0250316269 bellettini@dsi.unimi.it Benassi Mario " 0250316235 benassi@dico.unimi.it Bettini Claudio " 0250316281 bettini@dsi.unimi.it Borghese Nunzio Alberto " 0250316325 borghese@dsi.unimi.it Cerri Stefano Alessandro " 0250316256 cerri@dsi.unimi.it D'Antona Ottavio " 0250316323 dantona@dsi.unimi.it De Cindio Fiorella " 0250316288 fiorella.decindio@dsi.unimi.it Goldwurm Massimiliano " 0250316233 goldwurm@dsi.unimi.it Marini Daniele " 0250316358 marini@dsi.unimi.it Mereghetti Carlo " 0250316261 mereghetti@dsi.unimi.it Ornaghi Mario " 0250316331 ornaghi@dsi.unimi.it

2

Pagnoni Astasia Carla " 0250316301 pagnoni@dsi.unimi.it Prini Gianfranco " 0250316279 gfp@dsi.unimi.it Rosti Emilia " 0250316258 rose@dsi.unimi.it Torelli Mauro " 0250316232 torelli@dsi.unimi.it Trubian Marco " 0250316230 trubian@dsi.unimi.it Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti Agostini Alessandra tel. Aguzzoli Stefano " 0250316356 aguzzoli@dsi.unimi.it Biondo Loris " 0250316234 biondo@dsi.unimi.it Boldi Paolo " 0250316305 boldi@dsi.unimi.it Bracalini Paolo " 0250316382 bracalini@dico.unimi.it Bucalo Anna " 0250316283 bucalo@dsi.unimi.it Capra Lorenzo " 0250316256 capra@dsi.unimi.it Ferrara Alfio " 0250316225 ferrara@dico.unimi.it Ferrari Mauro " 0250316259 ferrari@dsi.unimi.it Fiorentini Camillo " 0250316269 fiorentini@dsi.unimi.it Gaito Sabrina Tiziana " 0250316282 gaito@dsi.unimi.it Grossi Giuliano " 0250316262 grossi@dsi.unimi.it Maggiorini Dario " 0250316306 maggiorini@dico.unimi.it Malcangi Mario Natalino " 0250316278 malcangi@dico.unimi.it Malchiodi Dario " 0250316338 malchiodi@dsi.unimi.it Marcante Andrea " 0250316330 marcante@dsi.unimi.it Marra Vincenzo " 0250316296 marra@dsi.unimi.it Morpurgo Anna Chiara Giovanna " 0250316316 morpurgo@dsi.unimi.it Pagani Elena " 0250316271 pagani@dsi.unimi.it Palano Beatrice Santa " 0250316254 palano@dsi.unimi.it Pancini Massimiliano " 0250316382 pancini@dsi.unimi.it Parasiliti Provenza Loredana " 0250316290 parasiliti@dico.unimi.it Perego Andrea " 0250316330 perego@dsi.unimi.it Perlasca Paolo " 0250316322 perlasca@dico.unimi.it Sacchetti Lorenzo " 0250316331 sacchetti@dsi.unimi.it Silvano Cristina " 0250316306 silvano@dsi.unimi.it Trentini Andrea " 0250316313 trentini@dico.unimi.it Trombetta Alberto " 0250316322 trombetta@dsi.unimi.it Valtolina Stefano " 0250316322 valtolina@dico.unimi.it Vigna Sebastiano " 0250316324 vigna@dsi.unimi.it Visconti Andrea " 0250316377 visconti@dico.unimi.it Zanaboni Anna Maria " 0250316329 zanaboni@dsi.unimi.it 1.2 Personale tecnico - amministrativo

Personale amministrativo-contabile e tecnici di categoria D - EP Angelillo Filomena tel. 0250316216 angelillo@dsi.unimi.it Arona Arianna " 0250316405 arona@dsi.unimi.it Bignami Guido Maria " 0250316248 bignami@dsi.unimi.it Casella Giulio Francesco " 0250316392 casella@dsi.unimi.it Chierchini Cristina " 0250316207 chierchi@dsi.unimi.it Ferrazzi Davide " 0250316291 ferrazzi@dsi.unimi.it Giudici Stefano " 0250316200 giudici@dsi.unimi.it Malchiodi Dario " 0250316338 malchiodi@dsi.unimi.it

3

Orovas Christos " Poletti Giusi " 0250316362 poletti@dsi.unimi.it Reggio Marco " 0250316332 marco.reggio@unimi.it Sensalari Michele " 0250316394 sensalari@dsi.unimi.it Tanzi Dante " 0250316408 tanzi@dsi.unimi.it Personale amministrativo-contabile e tecnici di categoria B - C Abitante Angelo tel. 0250316396 abitante@dsi.unimi.it Borrelli Alessandro " 0250316270 sandro.borrelli@unimi.it Carbonaro Claudio " 0250316398 carbonaro@dsi.unimi.it Carrozza Anna " 0250316213 carrozza@dsi.unimi.it Cieri Elena " 0250316211 cieri@dsi.unimi.it Ciliento Giuseppina " 0250316393 ciliento@dsi.unimi.it De Stasio Sergio " 0250316210 destasio@dsi.unimi.it Di Fiore Salvatore " 0250316343 difiore@dsi.unimi.it Froio Emanuela Fiorenza " 0250316224 froio@dsi.unimi.it Gazzillo Isidora Vincenza " 0250316214 gazzillo@dsi.unimi.it Giambanco Salvatore " 0250316372 giambanc@dsi.unimi.it Gioffre' Claudio " 0250316387 gioffre@dsi.unimi.it Lanzi Andrea " 0250316362 lanzi@dsi.unimi.it Liberali Giuseppe " 0250316206 liberali@dsi.unimi.it Mara Alberto " 0250316326 mara@dsi.unimi.it Martignoni Lorenzo " 0250316362 martignoni@dsi.unimi.it Masiero Stefano Aristide " 0250316362 masiero@dsi.unimi.it Mileo Alessandra " 0250316250 mileo@dsi.unimi.it Missaglia Sandro " 0250316386 sandro@dsi.unimi.it Pepe Marialuisa " 0250316250 pepe@dsi.unimi.it Pignataro Giuseppe " 0250313694 pignataro@dsi.unimi.it Senatore Vincenzo " 0250316396 senatore@dsi.unimi.it Tallarico Francesca " 0250316410 tallarico@dsi.unimi.it Valcamonica Norberto " 1.3 Dottorandi, specializzandi e borsisti

Dottorandi attivi, nell'anno, presso la struttura Andric Adreja tel. 0250316297 aandreja@dico.unimi.it Astaneh Sadegh " 0250316299 sadegh@dico.unimi.it Baccichet Pierpaolo " baccichet@dico.unimi.it Bernareggi Cristian " bernareggi@dsi.unimi.it Bertolo Maresa " 0250316299 bertolo@dsi.unimi.it Besozzi Daniela " besozzi@dsi.unimi.it Bianchessi Nicola " bianchessi@dsi.unimi.it Camossi Elena " camossi@disi.unige.it Carminati Barbara " 0250316295 carminati@dsi.unimi.it Casiraghi Elena " 0250316293 casiraghi@dsi.unimi.it Ceravolo Paolo " 0550330214 ceravolo@dsi.unimi.it Ceselli Alberto " 0373898045 ceselli@dsi.unimi.it Cino Giovanni " 0373898204 cino@dsi.unimi.it Civati Giovanni " gcivati@crema.unimi.it Conconi Alex " 0250316296 conconi@dsi.unimi.it Dennunzio Alberto " 0264487861 denni@fislab.disco.unimib.it

4

Diana Loretta " 0250316257 loretta@dico.unimi.it Fantasia Giovanni Andrea " 0250316299 fantasia@dsi.unimi.it Ferrante Alberto " ferrante@dsi.unimi.it Ferrara Alfio " 0250316225 ferrara@dico.unimi.it Gatta Carlo " gatta@dti.unimi.it Jocher Udo " 0264487861 udo-dotto@fislab.disco.unimib.it Lanzarotti Raffaella " 0250316293 lanzarotti@dsi.unimi.it Leporati Alberto Ottavio " 0264487877 alberto.leporati@unimib.it Leporini Roberto " 0264487861 leporini@disco.unimib.it Lonati Violetta " 0250316294 lonati@dsi.unimi.it Longari Maurizio " 0250316296 longari@dsi.unimi.it Maggiorini Dario " 025031 maggiorini@dico.unimi.it Manara Corrado " 0250316313 manara@dsi.unimi.it Manzoni Sara Lucia " 0264487857 manzoni@disco.unimib.it Marchi Massimo " 0250316290 marchi@dsi.unimi.it Marra Vincenzo " 0250316296 marra@dsi.unimi.it Mazzoleni Pietro " 0250316298 mazzoleni@dico.unimi.it Mella Giovanni " 0250316295 mella@dico.unimi.it Mera Filippo " mera@dico.unimi.it Mileo Alessandra " 0250316250 mileo@dico.unimi.it Nai Fovino Igor " nai@dico.unimi.it Novakovic Vladimir " novakovic@dsi.unimi.it Nucita Andrea " 0250316295 nucita@dico.unimi.it Ornetti Giorgio Carlo " 0250316295 giorgio.ornetti@dsi.unimi.it Parasiliti Loredana " 0250316290 parasiliti@dico.unimi.it Parisi Salvatore Antonio " 0250316351 parisi@dsi.unimi.it Pavesi Giulio " 0264487857 pavesi@disco.unimib.it Perego Andrea " 0250316330 perego@dico.unimi.it Perlasca Paolo " 0250316295 perlasca@dsi.unimi.it Pollastri Emanuele " 0250316297 pollastri@dsi.unimi.it Pozzi Sergio " 0250316296 pozzi@dsi.unimi.it Radicioni Roberto " 0250316285 radicioni@dsi.unimi.it Rebatto Davide " 0250317623 rebatto@dsi.unimi.it Reggio Caterina " 0250317623 reggio@dico.unimi.it Ripamonti Laura Anna " 0250316327 ripamonti@dico.unimi.it Rossi Maurizio " 0250316339 maurizio.rossi@dsi.unimi.it Salani Matteo " 0373898093 msalani@crema.unimi.it Selmo Davide Matteo " davide.selmo@dico.unimi.it Squicciarini Anna " 0250316298 squicciarini@dico.unimi.it Trucco Gabriella " trucco@dsi.unimi.it Visconti Andrea " 0250316377 visconti@dsi.unimi.it

Organico

Personale docente No. Professori I fascia a tempo pieno 13No. Professori I fascia a tempo definito 2No. Professori II fascia a tempo pieno 18No. Professori II fascia a tempo definito 0

5

No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti 34No. Ricercatori universitari, assistenti di ruolo e assimilati a tempo definito 0

Personale tecnico-amministrativo No. Personale amministrativo-contabile e tecnici di categoria D - EP 13No. Altri collaboratori di ricerca con contratti di collaborazione coordinata e continuativa 0No. Personale amministrativo-contabile e tecnici di categoria B - C 24

Dottorandi, specializzandi e borsisti No. Dottorandi attivi, nell'anno, presso la struttura 57No. Borsisti di Training and Mobility of Research della C.E. e No. borsisti post-dottorato attivi, nell'anno, presso la struttura 0No. Altri borsisti con laurea e specializzandi attivi, nell'anno, presso la struttura 0

2. Dati economico finanziari

(Gli importi sono espressi in Euro)

2.1 Finanziamenti per la ricerca Finanziamento complessivo per progetti di Ricerca da fondi di Ateneo 108.533,00 Finanziamento complessivo da fondi MURST 89.345,00 Finanziamento complessivo da contributi CNR 21.041,00 Finanziamento complessivo da altri organismi pubblici nazionali e da contratti CNR 0,00 Finanziamento complessivo da altri organismi privati e imprese nazionali 338.227,00 Finanziamento complessivo da Commissione Europea 0,00 Finanziamento complessivo da altri organismi pubblici internazionali 0,00 Finanziamento complessivo da altri organismi privati e imprese internazionali 0,00 Totale 557.146,00 2.2 Dati relativi alle spese per la ricerca Somme pagate Somme impegnateSpese annuali complessive della struttura 1.700.980,00 1.915.658,00Spese annuali della struttura esclusivamente per ricerca 552.910,00 595.612,00

2.3 Attrezzature scientifiche e materiale bibliotecario Spesa totale annuale per attrezzature scientifiche 675.397,00 Spesa totale annuale per materiale bibliotecario 204.872,00 2.4 Finanziamenti per ricerca gestiti sul bilancio di altri enti e resi disponibili per la strutturaFinanziamenti complessivi messi a disposizione da enti pubblici nazionali 0,00 Altri finanziamenti 0,00

3. Progetti di ricerca in corso presso la struttura, finanziati da enti esterni

No. contratto 1 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR - progetti di Ricerca di Interesse Nazionale (ex 40%)

6

Titolo del progetto tecniche di controllo della qualità di servizio in rete IP multi-dominio per traffico multicast Finanziamento complessivo (Euro) 94.000,00

Responsabile del progetto ROSSI GIAN PAOLO No. contratto 2 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Middleware per servizi evoluti su sistemi distribuiti wired-wireless di grandi dimensioni Finanziamento complessivo (Euro) 705.000,00

Responsabile del progetto BETTINI CLAUDIO No. contratto 3 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto ROBOCARE Finanziamento complessivo (Euro) 36.000,00

Responsabile del progetto BORGHESE NUNZIO ALBERTO No. contratto 4 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente CE Titolo del progetto ORESTEIA Finanziamento complessivo (Euro) 199.969,00

Responsabile del progetto APOLLONI BRUNO No. contratto 5 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente CNR Titolo del progetto Web learning per la qualità del capitale umano Finanziamento complessivo (Euro) 7.747,00

Responsabile del progetto MARINI DANIELE No. contratto 6 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR

Titolo del progetto Implementazione pilota di un sistema per la descrizione e l'archiviazione di materiali multimediale relativo a beni monumentali Finanziamento complessivo (Euro) 13.944,00

Responsabile del progetto ALBERTI MARIA ALBERTA No. contratto 7 Durata (mesi) 12 Tipologia del contraente Enti privati Contraente Fondazione Milano per la Scala Titolo del progetto Finanziamento complessivo (Euro) 10.329,00

7

Responsabile del progetto HAUS GOFFREDO No. contratto 8 Durata (mesi) 12 Tipologia del contraente Enti privati Contraente Fondazione Teatro alla Scala Titolo del progetto Finanziamento complessivo (Euro) 15.494,00

Responsabile del progetto HAUS GOFFREDO No. contratto 9 Durata (mesi) 12 Tipologia del contraente Enti privati Contraente Inspiring Software Titolo del progetto Finanziamento complessivo (Euro) 10.000,00

Responsabile del progetto CASTANO SILVANA No. contratto 10 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Linguaggi formali ed automi:teoria ed applicazioni. Finanziamento complessivo (Euro) 77.000,00

Responsabile del progetto BERTONI ALBERTO No. contratto 8 Durata (mesi) 11 Tipologia del contraente Enti privati Contraente Fondazione Teatro alla Scala Titolo del progetto Informatizzazione e conservazione degli archivi multimediali del Teatro alla Scala Finanziamento complessivo (Euro) 25.000,00

Responsabile del progetto HAUS GOFFREDO

4. Elenco delle iniziative scientifiche organizzate e gestite nell'ambito della struttura (congressi, convegni, cicli di conferenze e/o seminari, workshop, mostre ed altre

iniziative)

SEMINARI

Data Luogo Titolo Relatore Docente Responsabile

15/1/2002 DSI Ragionamento automatico in ontologie Enrico Franconi University of Manchester Claudio Bettini

31/1/2002 DSI "A Rewriting Approach to Satisfiability Procedures"

Ing. Silvio Renise Dipartimento di Informatica, Sistemistica e Telematica della Facoltà di Ingegneria

Silvio Ghilardi

8

SEMINARI

Data Luogo Titolo Relatore Docente Responsabile

dell'Università di Genova

31/1/2002 DSI Ontologie per l’integrazione di sorgenti informative eterogenee e distribuite

Prof.ssa S. Castano DSI D. Beneventano Università di Modena e Reggio Emilia

Silvana Castano

18/2/2002 DSI "Data Integration Needs an Industrial Revolution" Arnon Rosenthal The MITRE Corporation Silvana Castano

14/3/2002 DSI "Reconfigurable, distributed and intelligent video surveillance networks"

Dr. Franco Oberti Department of Biophysical and Electronic Engineering (DIBE) - University of Genoa

Paola Campadelli

20/3/2002 DSI "Role of gravity in the organization and production of human gait."

Prof. Thierry Pozzo Universite Bourgogne -Dijon, France

N. Alberto Borghese, Giorgio Valle

27/3/2002 DSI "Statistiche sufficienti e loro estensioni"

Dr. Nicola Iannizzi Dipartimento di Matematica ed Applicazioni dell' Università della Bicocca

Bruno Apolloni

10/4/2002 DSI "Il Modello e-Company di Cisco"

Dr. Nicola Villa Internet Business Solutions Group EMEA - Cisco Systems

Silvana Castano

19/4/2002 DSI "Digital Natural Language Watermarking"

Prof. Victor Raskin Purdue University West Lafayette, Indiana

Emilia Rosti

23/4/2002 DSI "Il Workflow Management nel quadro delle strategie per l'E-Government: un caso specifico"

Dr. Enrico Sartirana Consulente Provincia di Milano

Silvana Castano

7/05/2002 DSI “Dinamiche di sviluppo del software nelle Comunità della Apache Software Foundation”

Dr. Stefano Mazzocchi APACHE

Fiorella De Cindio, Carlo Bellettini

9/5/2002 DSI "Progettazione di videogiochi" NEW BABILON, S.n.c. Giovanni Degli Antoni

21/5/2002 DSI "Community Mining"

Dr.ssa Antonietta Grasso Gruppo Contextual Computing del Xerox Research Center Europe di Grenoble

Fiorella De Cindio

23/5/2002 DSI

"L’affermazione della meccanica quantistica tra il 1918 e il 1927 Sviluppo scientifico e contesto culturale europeo"

Prof. Pasquale Tucci Istituto di Fisica Generale Applicata

Emanuele Angeleri

24/5/2002 DSI 'La modularità di impresa: esperienze ed implicazioni concettuali'

Prof. Mario Benassi Professore Associato di Economia e Gestione di Imprese presso la Facoltà di

Gian Paolo Rossi

9

SEMINARI

Data Luogo Titolo Relatore Docente Responsabile

Economia della Università di Trento

28/5/2002 DSI "I sistemi ERP in azienda: funzionalita', architetture e approcci alla realizzazione"

Ing. Livio Barone Accenture Silvana Castano

29/5/2002 12:30 "Datawarehouse aziendali: un caso di studio per analisi di marketing" Dr.ssa Monica Fontana Concept s.r.l. Silvana Castano

4/6/2002 DSI

"Dalle applicazioni di Online Recommendation alle Comunità virtuali 3D:esempi di applicazioni personalizzate per l'utente.

Massimo Maffioli Massimo Bertolucci Technology Reply - Creative Reply

Fiorella De Cindio

4/6/2002 DSI "Logical frameworks and algebraic models for game analysis"

Prof. V. Goranko Rand Afrikaans University di Johannesburg

Silvio Ghilardi

5/6/2002 DSI "Coalition game logics and alternating temporal logics"

Prof. V. Goranko Rand Afrikaans University di Johannesburg

Silvio Ghilardi

6/6/2002 DSI "FINCUBE: il tema della comunita' virtuali all'interno di un'azienda" Ing. Dario Conserva Societa' IrisCube Fiorella De Cindio

14/6/2002 DSI "Mac Neille Completions of Heyting Algebras" (joint work with John Harding)

Prof. G. Bezhanishvili New Mexico State University di Las Cruces

Silvio Ghilardi

17/6/2002 DSI "Topo-canonicity and topo-definability in intuitionistic logic"

Prof. G. Bezhanishvili New Mexico State University di Las Cruces

Silvio Ghilardi

18/6/2002 DSI “Book thickness of graphs”

Prof. Paul C. Kainen Department of Mathematics, Georgetown University, Washington, DC, USA

Ottavio Mario D'Antona

1/7/2002 DSI “The Logic of Finite Information” Prof. Rohit Parikh City University of New York Daniele Mundici

2/7/2002 DSI “Tone Mapping”

Alessandro Artusi Institute of Computer Graphics and Algorithms University of Technology Vienna

Daniele Marini

5/7/2002 DSI “Database Biologici e Tecniche di Data Mining”

Dr. Sergio Pozzi Dottorando in Informatica XV ciclo

Elisa Bertino

24/7/2002 DSI “Minimum-distance-to-means clustering for vector quantization: New algorithms and applications”

Dr. Andrea Baraldi ricercatore presso l'istituto ISAC-CNR di Bologna

Paola Campadelli

26/7/2002 DSI “Knowledge Organization and Management with Knowlets”

Franz Kurfess California State Polytechnic University San Luis Obispo, CA

Bruno Apolloni

10

SEMINARI

Data Luogo Titolo Relatore Docente Responsabile

19/9/2002 DSI “A Proposal for a Regular Grammar To Parse Jazz Chords Notation”

Denis Baggi Institute CIMSI of SUPSI Scuola Universitaria Professionale della Svizzera Italiana.

Maurizio Longari

19/9/2002 DSI “Framework for a music markup language” Jaques Steyn Consultant Maurizio Longari

19/9/2002 DSI “Prepared Piano Notation in XML” Pino Devita Compositore di Musica per Piano Preparato.

Maurizio Longari

27/9/2002 DSI “Relazioni e influenze tra Musica POP Contemporanea e Musica Elettronica”

Cuadrelli Minu Paine' Compositore Goffredo Haus

29/10/2002 DSI “Fasci e Topologia Algebrica” Prof. Maurizio Giovanni Citterio, Politecnico di Milano

Silvio Ghilardi

31/10/2002 DSI “Multi-Level Reasoning with Higher-Order Syntax"

Dr. A. Momigliano Department of Mathematics and Computer Science, University of Leicester

Mario Ornaghi

6/11/2002 DSI

“Presentazione di un progetto per la diffusione dei concetti base di Quantum Computing e Meccanica Quantistica con le moderne tecniche multimediali.”

Prof. Emanuele Angeleri DSI Dr. Erika Cabej

Emanuele Angeleri

14/11/2002 DSI “Controllo degli Accessi in un linguaggio con Distribuzione e Mobilità di codice”

Dr. Daniele Gorla Università degli Studi di Firenze

Elisa Bertino

19/11/2002 DSI “Dependability:minacce e contromisure”

Ing. Alberto Sanna Scientific Institute H San Raffaele

Elisa Bertino

3/12/2002 DSI “ERW una suite di strumenti opensource” Prof. Sebastiano Vigna DSI Claudio Bettini

5/12/2002 DSI “Embedded vision, current trends and future advances”

Stephanie McBader Researcher/Design Engineer NeuriCam S.p.A Via S M Maddalena 12 38100 Trento TN, Italy

Paola Campadelli

5/12/2002 DSI “Tre: una panoramica dei servizi offerti e cenni di architettura applicativa”

Cristiano Sala Responsabile tecnico dello sviluppo dei servizi per il portale mobile di Tre

Claudio Bettini, Nicolò Cesa-Bianchi

10/12/2002 DSI “Strumenti Oracle per il deployment su dispositivi mobili” Simone Pugiotto Oracle Italia Claudio Bettini

12/12/2002 DSI “Strumenti per la creazione e deployment di web services” Paolo Ramasso Oracle Italia Claudio Bettini

11

SEMINARI

Data Luogo Titolo Relatore Docente Responsabile

18/12/2002 DSI “Algoritmica per il Web” Dr. Massimo Santini Università di Modena e Reggio Emilia

Claudio Bettini

CICLI DI SEMINARI

Titolo Relatore Data e Luogo Docente Responsabile

“Introduzione al m-calcolo" -Prof. Luigi Santocanale LaBRI Università di Bordeaux 1

12/11/02- DSI 13/11/02- DSI 15/11/02- DSI

- Silvio Ghilardi

"Applicazioni per la manipolazione dinamica dei dati"

-Dr. Sadegh Astaneh -Dr. Paolo Perlasca DSI

Gennaio 2002- DSI

- Elisa Bertino - Giovanni Degli Antoni

WORKSHOP

Titolo Relatore Data e Luogo Docente Responsabile

“Conferenza DSP Application Day 2002” - Vari 23/09/2002 DSI - Mario Malcangi

“Musical Application using XML MAX 2002”

-Giorgio Zoia -France Champagne -Jaques Steyn -Denis L. Baggi -Maurizio Longari -Markus Lepper -Gustavo C.S. Frederico-Michael Good -Perry Roland -Pino Devita

23/09/2002 DSI

- Goffredo Haus

INIZIATIVE

Titolo Relatore Data E Luogo Docente Responsabile

"Presentazione del Progetto Unimpresa"

-Dr. Terragni (ASNM) -Prof. G. Sironi (Preside della Facoltà di Scienze M.M.F.F.N.N.)

11/10/2002 DSI

- Elisa Bertino - Gian Paolo Rossi

Congressi, convegni, conferenze, workshops organizzati da membri della struttura Goffredo Haus, Maurizio Longari: • First International Conference "MAX 2002 - Music Application using XML" Milano, settembre 2002.

12

Mario Malcangi • 3° Workshop "DSP Application Day" Milano, settembre 2002. Carlo Bellettini • Giornata.Net, aula Magna Ateneo, 6 settembre 2002.

INFORMAZIONI ANALITICHE

Afferenze a consorzi o reti di ricerca nazionali

Gian Paolo Rossi, Elena Pagani: • TECNICHE PER IL CONTROLLO DELLA QUALITA' DI SERVIZIO IN RETI IP MULTI-DOMINIO. Progetto Co-finanziato dal MIUR per il biennio 2001-2002, responsabile il Prof.Marco Listanti dell'Università La Sapienza di Roma. L'unita' di ricerca di Milano, di cui e' responsabile il Prof. Gian Paolo Rossi e a cui afferisce la Dr.ssa Elena Pagani, ha il compito di progettare, realizzare e valutare protocolli per il trasporto multicast di dati con vincoli di ritardo massimo di consegna, su reti di tipo best effort, in accordo al modello Diff-Serv. Bruno Apolloni: • Presidente della SIREN (Sopcietà Italiana Reti Neuroniche), società fondata nel 1988 dal Prof. Edoardo Caianiello

per lo studio delle reti neurali sia come paradigma di calcolo che come modello computazionale delle attività cerebrali.

Afferenze a consorzi o reti di ricerca internazionali Elisa Bertino:

• afferente al consorzio EUFORBIA finanziato dalla EU - L'obiettivo delle attività del consorzio è lo sviluppo di tecniche di controllo degli accessi e di filtering per pagine web;

• afferente al consorzio PANDA finanziato dalla EU - L'obiettivo delle attività del consorzio è lo sviluppo di tecniche di modellazione e di gestione di patterns in ambito basi di dati.

Partecipazioni a valutazioni di progetti di ricerca nazionali Gian Paolo Rossi • valutazione Progetti E-Government. Membri di comitati editoriali di riviste e/o collane scientifiche internazionali Elisa Bertino Membro dei comitati editoriali delle seguenti riviste internazionali: • Data & Knowledge Engineering journal (Elsevier Science Publishers); • Parallel and Distributed Database Journal (Kluwer Publ.); • International Journal of Information Technology (World Scientific); • International Journal of Cooperative Information Systems (World Scientific); • ACM Transactions on Information and Systems Security (ACM Press); • Science of Computer Programming (North-Holland); • IEEE Internet Computing (IEEE Computer Society Press); • International Journal of Information Security (Springer). Membro dell'advisory board delle seguenti riviste: • Journal of Computer Security (IOS Press); • IEEE Transactions on Knowledge and Data Engineering (IEEE Computer Society Press). Daniele Marimi • Computer & Graphics, Elsevier Science; Alberto Bertoni

13

Membro dell'Editorial Board della Rivista Internazionale: • Theoretical Informatics and Applications, EDP Sciences. Pubblicazioni recensite da membri della struttura Elena Pagani • Web Engineering Workshop, nell'ambito della Networking 2002 Conference (maggio 2002); • Symposium on Performance Evaluation of Computer and Telecommunication Systems Support 2002 (luglio 2002); • IEEE Infocom 2003 (aprile 2003); • IEEE International Conference on Communications (maggio 2003); • Journal of System Architecture; • 2nd International Workshop on QoS in Multi-Service IP Networks (febbraio 2003); • International Workshop on Wireless, Mobile and Ad Hoc Networks (aprile 2003). Gian Paolo Rossi • Symposium on Performance Evaluation of Computer and Telecommunication; • Systems Support 2002 (luglio 2002); • IEEE Infocom 2003 (aprile 2003); • IEEE International Conference on Communications (maggio 2003); • 2nd International Workshop on QoS in Multi-Service IP Networks (febbraio 2003); • IEEE Vehicular Technology Spring Conference (aprile 2003). Posizioni di responsabilità: coordinatori programmi ricerca nazionali Giorgio Valle • Coordinatore del programma di ricerca nazionale”Modelli e tecnologie per una mobilità personale compatibile:

studio di un sistema innovativo di trasporto condiviso”. Lo studio di un modello di mobilità personale compatibile nelle aree urbane, alternativo a quello attuale basato sull' impiego dell'automobile privata ha forti motivazioni motivazioni ambientali. In sintesi, la ricerca tratta di come offrire un trasporto con posto prenotato su autoveicoli di piccola capienza, che garantisca al passeggero un orario di arrivo predeterminato all'indirizzo desiderato ed in funzione del quale viene indicato all' utente l' orario di partenza. Questo vale sia per il traffico dei pendolari durante la settimana lavorativa sia per quello di svago durante il fine-settimana.

Alberto Bertoni • Coordinatore locale del progetto Cofin "Linguaggi Formali e Automi: teoria ed applicazioni. Giovanni Pighizzini • Coordinatore progetto FIRB del MIUR "Complessità descrizionale di automi e strutture correlate”. Bruno Apolloni • Coordinatore locale del progetto ex 40% dal titolo Processi Stocastici che riunisce più sedi nazionali sotto il

coordinamento del Prof. Gandolfi (Università di Milano Bicocca) per lo studio dei Processi Stocastici sul piano sia teorico che applicativo, con particolare riferimento ad applicazioni nel campo informatico. Tali applicazioni riguardano sia i processi di apprendimento che il Quantum Computing.

Posizioni di responsabilità: coordinatori programmi ricerca internazionali Bruno Apolloni • Coordinatore locale del progetto UE ORESTEIA. Tale progetto rientra nel V programma quadro, nel filone del

Diappearing Computer, ed è volto allo studio ed implementazione prototipale di cloni elettronici in grado di replicare attività umane abitudinarie e ripetitive. Ciò è reso possibile da nanotecnologie che consentono di dotare l'utente di microsensori e low power transmitters che rilevino segnali biologici rilevanti (wearable non invasive computer) e dall'implementazione di tecniche di intelligenza artificiale che consentano a microcalcolatori di apprendere le abitudini e preferenze degli utenti nonchè di reagire in maniera efficace agli stimoli ambientali ed alle risposte fisiologiche dell' utente. Fanno parte del consorzio il King College di Londra, l' Imperial College di Londra, Il Queen College di Belfast, lo NTUA di Atene e la ST di Agrate Brianza.

Goffredo Haus

14

• Vice-chair IEEE Computer Society Technical Committee on Computer Generated Music. Comitato tecnico per la promozione e il coordinamento della formazione, della ricerca e delle applicazioni delle tecnologie informatiche in campo musicale.

• Official reporter IEEE Standards Association Working Group on "Music Application of XML". Gruppo di lavoro per la definizione di un documento di Recommended Practice per la rappresentazione multistrato di informazione musicale mediante codifica XML.

5. Direzione di riviste, collane o rilevanti opere collettive a carattere scientifico che fanno capo a docenti della struttura;

partecipazioni a comitati scientifici responsabili di iniziative editoriali

Goffredo Haus e Maurizio Longari • Proceedings of the First International Conference "MAX 2002 - Music Application using XML" IEEE Computer Society Press Milano.

6. Risultati dell'attività di ricerca

Riassunto Macro-Settore Ingegneria Industriale e dell'Informazione

Articoli in atti di congresso E 18Articoli in atti di congresso I 1Articoli su rivista di livello elevato 7Articoli su rivista di livello medio 3Capitoli di libro E 1Capitoli di libro I 1Curatele di collane di atti di convegni partecipazioni a comitati di redazione 1N. di brevetti E 1

Macro-Settore Scienze Matematiche e Informatiche

Articoli completi in atti di congresso con revisori E 23Articoli completi in atti di congresso con revisori I 1Articoli su altre riviste E 4Articoli su altre riviste I 1Articoli su rivista di livello elevato E 12Articoli su rivista di livello elevato I 2Articoli su rivista di livello medio E 2Capitoli di libro, monografie enciclopediche E 5Cura di libri edizioni di testi con introduzione e traduzione 1Libri scientifici E 2Rapporti finali di ricerca pubblicati e disponibili al pubblico I 2

Elenco Altri lavori -Pagnoni Astasia Carla, Parisi Salvatore Antonio, Visconti Andrea; Progetto Domino; 2002; Contratto di RicercaMURST/IMI.

Riviste

15

- Agostini Alessandra, Giannella V.; Beyond PC: Information Technology Strategies for Supporting RealCommunities; URBANISTICA; 2002; URBANISTICA.

- Agostini Alessandra, De Michelis G., Divitini M., Grasso M.A, Snowdon D.; Design and Deployment of Community Systems: Reflections on the Campiello Experience; Interacting with Computers. The interdisciplinary journal ofHuman-Computer Interaction; 2002; Elsevier Science; vol. 14; pagg. 691-714.

- Aguzzoli Stefano, Brunella Gerla; Finite-Valued Reductions of Infinite-Valued Logics; Archive for Mathematical Logic; 2002; Springer; vol. 41; pagg. 361-399.

- Aguzzoli Stefano, Brunella Gerla; On Countermodels in Basic Logic; Neural Network World; 2002; vol. 12; pagg. 407-420.

- Apolloni Bruno, Malchiodi Dario, Orovas Christos, Palmas Giorgio, Palmas Giorgio; From synapses to rules;Cognitive Systems Research; 2002; Elsevier; vol. 2; pagg. 167-201.

- Apolloni Bruno, De Falco Diego; The clock of a quantum computer; Journal of Physics A: Matematatical and General; 2002; vol. 35; pagg. 10033-10051.

- Bertino Elisa, Castano Silvana, Elena Ferrari, Mesiti Marco; Protection and administration of XML data sources;Data & Knowledge Engineering; 2002; Elsevier; vol. 3; pagg. 237-260.

- Bertino Elisa, Ferrari Elena; Secure and selective dissemination of XML documents.; ACM Transactions on information and System Secutity.; 2002; vol. 5; pagg. 290-331.

- Bertoni Alberto, Campadelli Paola, Grossi Giuliano; A Neural Algorithm for the Maximum Clique Problem:Analysis, Experiments and Circuit Implementation; Algoritmica; 2002; Springer; vol. 33; pagg. 71-88.

- Bettini Claudio, Angelo Montanari; Research Issues and Trends in Spatial and Temporal Granularities; Annals of Mathematics and Artificial Intelligence; 2002; Kluwer; vol. 36; pagg. 1-4.

- Bettini Claudio, Jajodia Sushil, Wang X. Sean, X. Wang, S. Jajodia; Solving Multi-Granularity Temporal Constraint Networks; Artificial Intelligence; 2002; Elsevier; vol. 140; pagg. 107-152.

- Bettini Claudio, Jajodia Sushil, Wang X. Sean, X. Wang, S. Jajodia; Temporal Reasoning in Workflow Systems;Distributed and Parallel Databases; 2002; Kluwer; vol. 11; pagg. 269-306.

- Boldi Paolo, Vigna Sebastiano; Fibrations of Graphs; Discrete Mathematics; 2002; Elsevier; vol. 243; pagg. 21-66. - Boldi Paolo, Vigna Sebastiano, Santini Massimo, Massimo Santini; Measuring with Jugs; Theoretical Computer Science; 2002; Elsevier; vol. 289.

- Borghese Nunzio Alberto, Paolo Rigiroli; Fuzzy connections in Realistic Real-time Facial Animation,; Proc. XI WIRN; 2002; pagg. 207-211.

- Borghese Nunzio Alberto, Piuri Vincenzo, Ferrari Stefano; Real-time Surface Reconstruction through HRBF Networks; Proceedings HAVE2002; 2002; pagg. 19-25.

- Borghese Nunzio Alberto, Paolo Rigiroli; Tracking Densely Moving Markers; Proc. 1st IEEE Int. Symposium on 3D Data Processing and Transmission; 2002; pagg. 690-693.

- Castano Silvana, Ronaldo Dos Santos Mello, Carlos A. Heuser; Method for the Unification of XML Schemata;Information & Software Technology; 2002; vol. 44; pagg. 241-249.

- Castano Silvana, O. Boucelma, C. Goble, V. Josifovski, Z. Lacroix, B. Ludascher; Report on the EDBT'02 Panel onScientific Data Integration; SIGMOD RECORD; 2002; ACM; vol. 31; pagg. 107-112.

- Cerveri Pietro, Ferrigno Giancarlo, Borghese Nunzio Alberto, Cerveri Pietro, Forlani Christian, Ferrigno Giancarlo;Distortion correction for X-ray image intensifiers: a comparison between local un-warping polynomials and adaptive neural networks.; Medical Physics; 2002; pagg. 1759-1771.

- Choffrut Christian, Pighizzini Giovanni, Distances between languages and reflexivity of relations; Theoretical Computer Science; 2002; vol. 286; pagg. 117-138.

- D'Antona Ottavio, 2; On the Equivalence and Range of Applicability of Graph-based representations of Logic Programs.; Information processing letters; 2002; vol. 84-5; pagg. 7.

- Ferrari Mauro, Fiorentini Camillo, Ornaghi Mario; Extracting Exact Time Bounds from Logical Proofs; Logic Based Program Synthesis and Transformation, 11th Int. Workshop, LOPSTR 2001; 2002; Springer-Verlag; vol. 2372; pagg. 245-265.

- Ferrari Mauro, Fiorentini Camillo, Fiorino Guido; On the Complexity of Disjunction and Explicit DefinabilityProperties in Some Intermediate Logics; LPAR 2002: Logic for Programming Artificial Intelligence and Reasoning; 2002; Springer-Verlag; vol. 2514; pagg. 175-189.

- Ferrari Mauro, Fiorentini Camillo, Fiorino Guido; Tableau calculi for the logics of finite k-ary trees; TABLEAUX 2002, Automated Reasoning with Analytic Tableaux and Related Methods; 2002; Springer-Verlag; vol. 2381; pagg. 115 - 129.

- Ghilardi Silvio; A Resolution/Tableaux Algorithm for Projective Approximations in IPC; Logic Journal of the IGPL; 2002; Oxford University Press; vol. 3; pagg. pp. 227-242.

- Lanzarotti Raffaella, Campadelli Paola, Casiraghi Elena; Detection of facial features; Lectures Notes in Computer Science 2486; 2002; Springer; pagg. 124-131.

- Marra Vincenzo, Mundici Daniele; Combinatorial fans, l-groups and their neighbours, a short excursion; Semin. Lothar. de Combinatoire, an electronic journal; 2002; vol. 47; pagg. Article B47f.

- Pighizzini Giovanni, Shallit Jeffrey - Domaratzki Mike; Simulating finite automata with context-free grammars; Information Processing Letters; 2002; vol. 84; pagg. 339-344.

16

- Pighizzini Giovanni, Shallit Jeffrey - Wang Ming-Way; Unary Context-Free Grammars and Pushdown Automata, Descriptional Complexity and Auxiliary Space Lower Bounds; Journal of Computer and System Sciences; 2002; vol. 65; pagg. 393-414.

- Pighizzini Giovanni, Shallit Jeffrey; Unary Language Operations, State Complexity and Jacobsthal's Function;International Journal of Foundations of Computer Science; 2002; vol. 13; pagg. 145-159.

- Rosti Emilia, Bruschi Danilo; A quantitative study of Public Key Infrastructures; Computers & Security; 2002; Elsevier/United Kingdom; vol. 22.

- Rosti Emilia, G. Serazzi, E. Smirni, M.S. Squillante; Models and evaluation of parallel programs with largecomputation and I/O requirements; IEEE Transactions on Software engineering; 2002; IEEE; vol. 28; pagg. 286-307.

- Rosti Emilia, Bruschi Danilo; Secure Multicast in wireless networks: protocols and issues; Mobile Networks and applications; 2002; Kluver Academic Publishers/ The Netherlands; vol. 7.

- Tanzi Dante; Ag Üstünde Zaman, Yakinlik ve Anlam; Cogito; 2002; Yapi Kredi Yayinlan; vol. 30; pagg. 217-225. - Vigna Sebastiano, Boldi Paolo; Universal dynamic synchronous self-stabilization; Distributed Computing; 2002; Springer-Verlag; vol. 15.

Libri - Ghilardi Silvio, Zawadowski Marek; Sheaves, Games and Model Completions; 2002; Kluwer / Dordrecht; Trends inLogic / 1-243.

Contributi in Volume (anche Curatele e Editor) - Apolloni Bruno, Gaito Sabrina Tiziana, Malchiodi Dario, Bassis Simone, Bassis Simone; Cooperative games in astochastic environment; From synapses to rules. Discovering symbolic rules from neural processed data; 2002.

- Apolloni Bruno, Malchiodi Dario, Orovas Christos, Zanaboni Anna Maria; Fuzzy methods for simplifying a Booleanformula inferred from examples; From synapses to rules. Discovering symbolic rules from neural processed data; 2002.

- Apolloni Bruno, Malchiodi Dario, Gaito Sabrina Tiziana; Learning and checking confidence regions for the hazardfunction of biomedical data; From synapses to rules. Discovering symbolic rules from neural processed data; 2002.

- Apolloni Bruno, Gaito Sabrina Tiziana, Malchiodi Dario, Iannizzi Domenico, Iannizzi Domenico; Learningregression functions; From synapses to rules. Discovering symbolic rules from neural processed data; 2002; Kluwer Academic/Plenum Publishers, New York.

- Apolloni Bruno, Morpurgo Anna Chiara Giovanna, Agnati Luigi F., Benfenati F., Santarossa L.M., Ferri M., Fuxe K.,Agnati L.F., Santarossa Lm., Benfenati F., Ferri M., Fuxe K.; Molecular Basis of Learning and Memory: ModellingBased on Receptor Mosaics; From Synapses to Rules; 2002; Kluwer Academic Plenum Publishers / New York; 169-195.

- Apolloni Bruno, Morpurgo Anna Chiara Giovanna, Agnati Luigi F., Agnati L.F.; Physiological and Logical BrainFunctionalities: A Hypothesis for a Self-referential Brain Activity; From Synapses to Rules; 2002; Kluwer Academic Plenum Publishers / New York; 197-218.

- Apolloni Bruno, Gaito Sabrina Tiziana, Malchiodi Dario, Bassis Simone, Bassis Simone; Statistical bases forlearning; From synapses to rules. Discovering symbolic rules from neural processed data; 2002; Kluwer Academic/Plenum Publishers, New York.

- Bertoni Alberto, Palano Beatrice Santa; Structural complexity and neural networks; LNCS; 2002; Springer Verlag; 190-216.

- Bettini Claudio, Montanari Angelo; Editor of Special Issue; Research Issues and Trends in Spatial and Temporal Granularity; 2002; Baltzer.

- Castano Silvana, De Antonellis Valeria, De Capitani Di Vimercati Sabrina, Melchiori Michele; Data SchemaIntegration in Web-Enabled Systems; Chapter III of Web-enabled Systems Integration: practices and challenges; 2002; Idea-Group Publishing Company; 41-65.

- Castano Silvana, Elena Ferrari; Protecting Datasources over the Web: Policies, Models, and Mechanisms; Web-Powered Databases; 2002; Idea-Group Publishing Company.

- Ghilardi Silvio, Zawadowski Marek; From Bisimulation Quantifiers to Classifying Toposes; Advances in Modal Logic; 2002; World Scientific / New Jersey; pp. 193-220.

- Kurfess Franz, Apolloni Bruno, Franz Kurfess; From Synapses to rules; From synapses to rules; 2002; Kluwer Academic/Plenum Press London; 388.

- Pagnoni Astasia Carla, Visconti Andrea; Detection and Analysis of Unexpected State Components in Biological Systems; Computational Methods in Systems Biology; 2002; Springer-Verlag/Berlin, etc.; LNCS2602/172.

- Palmas Giorgio, Baraghini Fabio, Apolloni Bruno, G. Palmas, F. Baraghini; PAC meditation on Boolean formulas; Abstraction, Reformulation and Approximation; 2002; Springer New York; LNAI.

- Rosti Emilia, Poletti Giusi; e-vote and PKI's: a need, a bliss, or a curse?; Secure electronic voting; 2002; Kluwer Academic Publishers / The Netherlands.

Relazioni ai Congressi/Abstract

17

- Agostini Alessandra, Divitini Monica; Communityware goes to school: Impacts on learning communities; CSCL2002; Computer Support for Collaborative Learning; 2002; Boulder, Colorado, USA.

- Aguzzoli Stefano, Paolo Avesani, Paolo Massa; Collaborative Case-Based Recommender Systems; ECCBR 2002; Lecture Notes in Computer Science; 2002; Aberdeen, Scotland, UK; Springer; pagg. 460-474.

- Alberti Maria Alberta, Maggiorini Dario, Trapani Paola; A semiotic approach to narrative manipulation; ACM-SIGGRAPH 2002; Conference Abstarct and Applications; 2002; San Antonio, TX-USA.

- Alberti Maria Alberta, Trapani Paola, Maggiorini Dario, Maria A. Alberti, Dario Maggiorini, Paola Trapni; NarToo: atool based on semiotics to support the manipulation of a narrative; COSIGN02; Computational Semiotics for gamesand new media; 2002; Augsburg, D.

- Apolloni Bruno, Malchiodi Dario, Gaito Sabrina Tiziana, Bassis Simone, Bassis Simone; Cooperative games in a stochastic environment; KES'2002; Proceedings of KES'2002: Sixth International Conference on Knowledge-Based Intelligent Information &; 2002; Crema; IOS Press/OHMSHA, Amsterdam; pagg. 296-300.

- Apolloni Bruno, Malchiodi Dario, Zanaboni Anna Maria, Orovas Christos; Fuzzy methods for simplifying a Booleanformula inferred from examples; Fuzzy Systems and Knowledge Discovery; Proceedings of the First InternationalConference on Fuzzy Systems and Knowledge Discovery; 2002; Singapore; pagg. 554-558.

- Bertino Elisa, Carminati Barbara, Ferrari Elena; A temporal key management scheme for secure broadcasting of XMLdocuments.; 9 ACM Conference on Computer and communi; 2002; Washington; ACM Press.

- Bettini Claudio, Ruffini Simone; Deriving abstract views of multi-granularity temporal constraint networks; Database and Expert Systems Applications; Proc. of the 13th International Conference on Database and Expert SystemsApplications (DEXA); 2002; Aix en Provence, Francia; Springer; LNCS 2453 pagg. 454--463.

- Bettini Claudio, Ruffini Simone; Direct Conversions among Multi-Granularity Temporal Constraints; AAAI WS Spatial and Temporal Reasoning; 2002; Edmonton, Canada; AAAI Press; Technical Report WS-02-17.

- Bettini Claudio, S. Jajodia, X. S. Wang, D. Wijesekera; Obligation Monitoring in Policy Management; POLICY; Proc. of the Third International Workshop on Policies for Distributed Systems and Networks; 2002; San Diego, CA;IEEE Computer Society; pagg. 2-13.

- Bettini Claudio, S. Jajodia, X. S. Wang, D. Wijesekera; Provisions and Obligations in Policy Rule Management and Security Applications; VLDB; Proc. of the 28th International Conference on Very Large Data Bases; 2002; HongKong.

- Boldi Paolo, Vigna Sebastiano; Holographic Trees; LATIN 2002; LATIN 2002; 2002; Springer-Verlag; LNCS pagg. 465-478.

- Boldi Paolo, Santini Massimo, Vigna Sebastiano, Massimo Santini, Bruno Codenotti; UbiCrawler: A scalable fullydistributed web crawler; AusWeb 2002; Proc. AusWeb02. The Eighth Australian World Wide Web Conference; 2002.

- Campadelli Paola, Gaetano Baldini, Massimo Fradegrada; Biomass Burning Monitoring by Scene Analysis;Visualization,Imaging & Image Processing; Proceedings of the 2° IASTED INTERNATIONAL CONFERENCE; 2002; Malaga; J.J Villanueva; pagg. 312-317.

- Campadelli Paola, Lanzarotti Raffaella; Localization of Facial Features and Fiducial Points; Visuallization,Imaging&Image Processing; Proccedings of the 2° IASTED International Conference; 2002; Malaga; J.J Villanueva; pagg.491-495.

- Castano Silvana, Ferrara Alfio, De Antonellis Valeria, G. S. Kuruvilla Ottathycal; A Disciplined Approach for theIntegration of Heterogeneous XML Datasources; ”, IEEE Proc. of DEXA WEBS First International Workshop on Web Semantics; 2002; Aix-en-Provence, France; pagg. 103-110.

- Castano Silvana, Ferrara Alfio; Knowledge Representation and Transformation in Ontology-based Data Integration; ECAI KTSW Workshop; Proc. of ECAI Workshop on Knowledge Transformation for the Semantic Web; 2002.

- Castano Silvana, Ferrara Alfio, De Antonellis Valeria , G. S. Kuruvilla Ottathycal; Ontology-based Integration of Heterogeneous XML Datasources; SEBD 2002; 2002; Portoferraio (Isola d'Elba); pagg. 27-41.

- Castano Silvana, Ferrara Alfio, Ornetti Giorgio Carlo, Bergamaschi Sonia, Beneventano Domenico, De AntonellisValeria, Guerra Francesco, Federica Mandreoli, Vincini Maurizio; Semantic Integration and Query Optimization ofHeterogeneous Data Sources; Proc. of OOIS- EWIS Workshop on Efficient Web-based Information Systems; 2002; Montpellier, France.

- Castano Silvana, De Antonellis Valeria, De Capitani Di Vimercati Sabrina, Melchiori Michele, 3; Semi-automated Extraction of Ontological Knowledge from XML Datasources; DEXA-WEBH2002 Workshop; Proc. of DEXA conference; 2002; Aix-en-Provence, France; IEEE Computer Society; 852-860.

- Grossi Giuliano, Roberto Posenato; A distributed algorithm for max independent set problem based on hopfieldnetworks; WIRN; Neural Nets; 2002; Vietri sul Mare; M Marinaro, R. Tagliaferri; LNCS pagg. 64-74.

- Lanzarotti Raffaella, Borghese Nunzio Alberto, Campadelli Paola; Robust identification and matching of fiducailpoints for the reconstruction of 3D human faces from raw video sequences; 1° Int. Symposium on 3D data processing;Proc.1° Int. Symposium on 3D data processing visualization and transmission; 2002; Padova; IEEE ComputerSociety; 690-693.

- Marra Vincenzo, Mundici Daniele; Consequence and complexity in infinite-valued logic: a survey; IEEE ISMVL (2002); Proc. 32st IEEE Int. Symp. on Multiple-Valued Logic; 2002; Boston, USA; pagg. 104-114.

- Marra Vincenzo, Mundici Daniele; MV-algebras and abelian l-groups: a fruitful interaction; Ordered Algebraic Structures; Ordered Algebraic Structures, honoring Paul Conrad for his 80th Birthday; 2002; Kluwer; pagg. 57-88.

18

- Mundici Daniele; If-then-else and rule extraction from two sets of rules; From Synapses to Rules; From Synapses toRules; 2002; Erice, Italia; Kluwer/Plenum, New York, USA; pagg. 87-108.

- Pagani Elena, Rossi Gian Paolo; Distributed Bandwidth Broker for QoS Multicast Traffic; 22nd IEEE Intl.Conference ICDCS; Proceedings ICDCS 2002; 2002; Vienna (Austria); IEEE Computer Society; pagg. 319-326.

- Pagani Elena, Rossi Gian Paolo; Measurement-Based Admission Control for Dynamic Multicast Groups in Diff-Serv Networks; 2nd Intl. IFIP-TC6 Networking Conference; Lecture Notes in Computer Science; 2002; Pisa (Italy);Springer (Berlin); pagg. 1184-1189.

- Pagani Elena, Rossi Gian Paolo, Pierpaolo Baccichet; Quality of Service Multipath Multicast Protocol; 4th ACM Intl.Workshop NGC; Proceedings NGC 2002; 2002; Boston (USA); ACM; pagg. 123-129.

- Rosti Emilia, Bruschi Danilo, 1; Voice over IPSEC; ACSAC; 2002; Las Vegas; IEEE Computer Society; pagg. 433. - Tanzi Dante, Haus Goffredo, Pajuelo Pelegrin Maria Luisa, 1; Conservazione e Informatizzatione degli archivi fonicidei teatri Scala e Bolshoi; Incontro Biennale Internazionale sul Res; 2002; Università di Udine sede di Gorizia;Università di Udine.

- Tanzi Dante; Musical Experience and On-line Communication; British Forum for Ethnomusicology Annual; 2002;Edinburgh U.K..

- Vigna Sebastiano; Multirelational semantics for extended entity-relationship schemata with applications; ER2002; ER 2002. Proc. of the 21st International Conference on Conceptual Modeling; 2002; Tampere, Finlandia; LNCS.

Rapporti - Bertoni Alberto, Goldwurm Massimiliano, Lonati Violetta, Christian Choffrut; On the number of occurrences of asymbol in words of regular languages; 2002; Febbraio; Dip. Scienze dell'Informazione.

- Bertoni Alberto, Goldwurm Massimiliano, Lonati Violetta, Christian Choffrut; The symbol-periodicity of irreducible finite automata; 2002; Aprile; Dip. Scienze dell'Informazione.

7. Centri di ricerca con sede nel dipartimento o istituto, consorzi per la ricerca cui partecipa la struttura

1. RCM (resp. Prof.ssa De Cindio, F.) La Rete Civica di Milano (RCM) si pone l'obiettivo di mettere a disposizione dei cittadini milanesi un ambiente telematico efficace e facile da usare per favorire la comunicazione tra soggetti diversi: cittadini e loro associazioni di fatto e di diritto, Enti Pubblici e società che ne sono emanazione, aziende che operano nei vari settori di mercato, operatori dell'informazione. RCM e il Laboratorio di Informatica Civica hanno instaurato nel corso degli anni di attività dal '94 ad oggi feconde collaborazioni con la Pubblica Amministrazione Locale, tra cui quelle con Regione Lombardia, Provincia e Camera di Commercio di Milano, Direzione Scolastica della Lombardia e Comune di Milano. L'attività svolta ha contribuito ad ampliare gli spazi della democrazia, della trasparenza , della conoscenza e della collaborazione, richiamandosi alle radici più forti della tradizione municipale ambrosiana, e il riconoscimento di ciò da parte delle autorità cittadine, ha portato al conferimento dell'Ambrogino d'oro 2001 alla Prof.ssa Fiorella De Cindio, presindente della Fondazione RCM e responsabile del Laboratorio di Informatica Civica. 2. CERT-IT (resp. Prof.ssa Rosti, E. - Prof. Bruschi, D.) L'attività del CERT-IT, Computer Emergency Response Team Italiano, durante il 2002 è stata principalmente quella di gestione degli incidenti informatici e diffusione d'informazione riguardante la sicurezza informatica mediante la gestione di una mailing list d'interesse. In occasione delle segnalazioni di incidenti, il CERT-IT ha fornito supporto per via telematica del tutto gratuita ai gestori delle macchine attaccate sia nella fase di analisi dell'accaduto, sia in quella di ripristino dei servizi in modo sicuro. Inoltre, il CERT-IT è stato attivo presso il FIRST, il Forum of Incident Response and Security Teams, di cui è membro, partecipando alla selezione del programma tecnico della conferenza annuale del FIRST e partecipando allo Steering Committee dello stesso.

8. Partecipazione dei componenti della struttura ad organi di governo, coordinamento, gestione, ecc. della facoltà e/o dell'ateneo

NOMINATIVO ORGANO DI APPARTENENZA ELISA BERTINO - Commissione di Ateneo per le Strategie Informatiche.

19

GIAN PAOLO ROSSI - Presidenza del Consiglio di Coordinamento Didattico di Informatica. DANIELE MARINI - Consiglio Universitario Nazionale;

- Commissione per l'Incentivazione della Didattica, Facoltà di Scienze M.M.F.F.N.N.

ALBERTA M. ALBERTI - Commissione d’Ateneo Comitato per la disabilità e handycap; - Commissione Orientamento, Facoltà di Scienze M.M.F.F.N.N.

PAOLA CAMPADELLI - Commissione di ateneo per la ricerca scientifica. SILVANA CASTANO - Membro Comitato d'Area n. A06;

- Coordinatore Laurea Specialistica “Tecnologie dell’Informazione e della Comunicazione”.

DANIELE MARINI - Membro del Consiglio Universitario Nazionale. ALESSANDRA AGOSTINI - Commissione di Ateneo per le Strategie Informatiche;

- Commissione Informatica della Facoltà di Scienze Politiche.

ALBERTO BERTONI - Membro Comitato d'Area n. A06; - Coordinatore Laurea Specialistica “Tecnologie dell’Informazione e della Comunicazione”.

GOFFREDO HAUS - Membro comitato di redazione Sistema Università; - Membro comitato scientifico Centro APICE.

BRUNO APOLLONI - Responsabile Progetto ERASMUS – Area Informatica; - Commissione per l'Incentivazione della Didattica, Facoltà di Scienze M.M.F.F.N.N.

9. Dati di contesto didattico

No. totale insegnamenti tenuti da docenti afferenti alla struttura 127No. insegnamenti corsi di laurea 110No. insegnamenti corsi di diploma universitario 10No. insegnamenti corsi di scuole di specializzazione 7No. insegnamenti corsi di scuole di perfezionamento 0No. insegnamenti corsi di dottorati 7No. insegnamenti corsi di scuole post-laurea 4No. corsi di aggiornamento 0No. totale esami tenuti da docenti afferenti alla struttura 3415No. esami profitto corsi di laurea 3271No. esami profitto corsi di diploma universitario 144No. esami profitto scuole di specializzazione 0No. esami profitto scuole di perfezionamento 0No. tesi di laurea 251No. tesine di diploma 55No. tesi di specialità 0No. dottorati di ricerca con sede amministrativa presso la struttura 5No. dottorati di ricerca con sede amministrativa esterna 0No. dottori di ricerca che hanno conseguito il titolo 6No. di tirocinanti 95No. programmi di tutoraggio 0No. professori a contratto, lettori e docenti di corsi di sostegno 18

10. Commento conclusivo del direttore

Presentazione: Alla fine del 2002 afferivano al Dipartimento di Scienze dell’Informazione (DSI) 45 professori e ricercatori; il personale non docente del Dipartimento consisteva in 13 tecnici e 24 amministrativi.

20

Va qui rilevato il sensibile incremento di docenti o ricercatori afferenti (12% rispetto all’anno precedente), come risultato della politica di riequilibrio della nostra Università, di fronte alle pressanti richieste di formazione a carattere universitario cui la comunità informatica è chiamata a rispondere. Va ulteriormente rilevato che le differenziazioni nell’area informatica, create dalle grandi potenzialità di applicazioni delle Scienze e Tecnologie dell’Informazioni, hanno portato alla divisione del DSI con la formazione di un nuovo Dipartimento (Dipartimento di Informatica e Comunicazione), con sede nello stesso stabile in via Comelico 39, attivo dal 1.1.2003. Ricerca: Il DSI è sede di una intensa attività di ricerca nei principali settori delle Scienze e Tecnologie dell’Informazione e Comunicazione, riguardanti sia gli aspetti sistemistici, architetturali e applicativi dell’Informatica, sia quelli teorici e fondazionali. Più analiticamente, le principali attività di ricerca del DSI possono essere divise nei seguenti settori: • Sistemi Intelligenti La progettazione e la realizzazione di sistemi informatici complessi richiede l'introduzione di soluzioni dotate di alta flessibilità e adattività, sia in presenza ma anche in assenza di esempi di comportamento desiderato. Le tecniche basate sull'apprendimento sono particolarmente efficaci per questa problematica. In particolare, la ricerca ha riguardato tecniche per la costruzione di ipotesi (concetti) attraverso livelli di astrazione crescente, a partire dalla osservazione di un campione. Oltre agli aspetti di carattere teorico e metodologico, sono stati studiati anche aspetti di tipo tecnologico e applicativo, con specifico riferimento all'ambito del “disappearing computer” in cui un insieme di agenti specializzati su un tipo di segnale cooperano per produrre un quadro generale di una situazione. I metodi proposti sono stati applicati in vari ambiti, dalla biomedicina al controllo industriale. • Modelli di calcolo, Algoritmi e Complessità Un modello di calcolo viene specificato dalla relazione sistema-comportamento-risorse; le problematiche affrontate sono quelle di progettazione/analisi (correttezza, complessità concreta e strutturale). All'interno di questo quadro si sono sviluppate linee di ricerca per lo studio di modelli di calcolo non convenzionali (neurali, genetici) con applicazioni all'ottimizzazione e all'apprendimento. Sono state affrontate problematiche di sintesi e analisi su automi quantistici, di interesse per calcolatori ibridi. Si è analizzata la complessità descrizionale in vari modelli di automi a stati finiti unari, con implicazioni su questioni rilevanti di complessità strutturale. Nell’ambito dei modelli distribuiti, sono stati sviluppati modelli e algoritmi per il Web, basati sull'analisi strutturale del Web. Si sono approfonditi argomenti di crittografia e matematica combinatoria (costanti di connessione, politopi) e sviluppati metodi per la descrizione, conteggio e generazione casuale di strutture combinatorie, con ricadute sul riconoscimento di geni in sequenze di DNA. • Sistemi Distribuiti La ricerca nel campo dei sistemi distribuiti concerne la progettazione e analisi di algoritmi e protocolli di comunicazione che realizzano funzionalità a valore aggiunto per applicazioni basate su Internet. In questo ambito si sono progettati protocolli originali per il controllo di ammissione e l' instradamento del traffico generato da applicazioni multicast richiedenti alla rete garanzie di qualità di servizio. Si sono analizzate tecniche per la valutazione della vulnerabilità di sistemi e applicazioni, e si sono sviluppati strumenti originali per garantire la sicurezza delle comunicazioni in rete. Si sono studiate metodologie per la costruzione e la gestione di profili utente che descrivano le modalità di accesso ai servizi disponibili in Internet, in particolare per quanto riguarda utenti connessi in rete via dispositivi wireless (PDA, notebook), ai fini di supportarne la mobilità in modo trasparente. • Multimedialità La costruzione di sistemi interattivi multimediali richiede l'analisi automatica di segnali complessi (immagini, suoni, parlato) e la sintesi di scene che appaiano reali.. In questo contesto sono state svolte ricerche volte all'identificazione di persone da immagini di volti ed alla ricostruzione tridimensionale del volto. Per migliorare la resa grafica sono stati affrontati problemi di rendering in tempo reale e formulati modelli computazionali del colore. Nell'ambito dell'elaborazione del suono sono state svolte ricerche sul riconoscimento automatico di caratteristiche spettrali orientate all'indicizzazione automatica di materiali audio digitali. Nell'ambito dell'informatica musicale, è stata proposta una rappresentazione di informazione musicale basata su XML, si sono analizzati problemi di segmentazione automatica di partiture di elaborazione di informazione musicale direttamente in formato compresso. • Sistemi innovativi di gestione dei dati L'attività ha riguardato lo sviluppo di metodi e strumenti per la creazione di "viste riconciliate" di dati eterogenei e semistrutturati su Web. In particolare, è stata definita una metodologia per l'integrazione di sorgenti eterogenee, strutturate e semistrutturate mediante utilizzo di tecniche di clustering. E' stato sviluppato un ambiente CORBA di

21

ausilio al progettista nella costruzione di viste globali. E' stato studiato l'aspetto legato alla formalizzazione delle proprietà intensionali ed estensionali che caratterizzano le sorgenti da integrare e al loro utilizzo nel processo di schema matching e unificazione. Si sono sviluppate tecniche configurabili di schema matching e procedure rule-based per l'unificazione di candidati all'integrazione ottenuti dal processo di matching. Si sono sviluppate tecniche di wrapping per la rappresentazione dello schema integrato mediante formalismi di rappresentazione della conoscenza compatibili con il Semantic Web. • Dimostrazione Automatica in Logiche Multivalenti, Costruttive e Modali L'attività di ricerca si è concentrata su varie tematiche emergenti nella dimostrazione automatica, con particolare rilievo al settore delle logiche non classiche. La ricerca si è concentrata sulla derivazione di programmi corretti a partire da specifiche espresse nell'ambito di sistemi logici formalizzati e sul progetto di algoritmi (con analisi della loro complessità computazionali) per varie problematiche inerenti le logiche costruttive e modali. Sono stati inoltre proposti metodi per l'estrazione dell'informazione da prove in calcoli “costruttivi”, tecniche di dimostrazione automatica basate su combinazioni di procedure di decisione (problemi della parola, problemi di soddisfacibilità di vincoli), metodi per lo studio di forme normali in logiche a molti valori. Tra le applicazioni, si segnalano lo sviluppo di sistemi per l'analisi dei ritardi in circuiti combinatoriali e lo sviluppo di sistemi per il controllo fuzzy e il filtraggio. L’attività di ricerca è di livello molto buono, come documentato dalle pubblicazioni, collaborazioni, progetti, seminari e inviti presentati nella relazione. Molte attività di ricerca hanno immediate ricadute sul contesto industriale o sociale, come è dimostrato da associazioni o fondazioni che fanno capo al Dipartimento, quali il CERT-IT (Computer Emergency Response Team Italiano) e la Rete Civica di Milano. Didattica e formazione: Una caratteristica di rilievo è il contributo determinante del DSI all’organizzazione e attivazione di iniziative didattiche, in risposta alle nuove richieste di formazione poste dalla società. In particolare, i corsi di Informatica sono stati riorganizzati sulla base dei decreti d’area. Dei corsi preesistenti (Laurea quinquennale in Informatica – 468 iscritti, e Diploma triennale in Informatica – 203 iscritti) sono attivati dal 2002/03 solo gli anni a partire dal terzo. Nuovi corsi di studio che fanno capo al Dipartimento sono:

- Laurea triennale in Informatica (1593 iscritti, 2% incremento di immatricolazioni rispetto all’anno precedente); - Laurea triennale in Comunicazione Digitale (536 iscritti, 65.4% incremento di immatricolazioni rispetto

all’anno precedente). Sono stati inoltre progettati e attivati per l’A.A. 2002/2003 i corsi di laurea triennali in Scienze e Tecnologie per la Comunicazione Musicale (98 immatricolazioni) e Informatica per le Telecomunicazioni (51 immatricolazioni). Sono state proposte per l’attivazione per l’A.A. 2003/2004 le due lauree specialistiche in Informatica e Tecnologie dell’Informazione e Comunicazione. Sono stati attivati un Master in Esperto in Televisione Digitale e Tecnologie Interattive, e un Master in Sicurezza delle Tecnologie dell’Informazione e della Comunicazione. Il Dipartimento ha inoltre un ruolo di rilievo presso la SILSIS e sostiene attività didattiche presso altri corsi di studi, sia presso la Facoltà di Scienze MM.FF.NN. che presso le Facoltà Umanistiche e Medicina. Il DSI sostiene infine la formazione alla ricerca sia nel dottorato di Informatica che nel dottorato di Matematica per le Scienze Computazionali. Conclusioni: Le nuove richieste di formazione della società hanno portato alla progettazione e attivazione di iniziative, sempre sostenute con generosità dai colleghi docenti e dal personale tecnico-amministrativo, nonostante le difficili condizioni (rapporto docenti/studenti 1:60). Oltre ad un aumento dell’attività individuale, in parte compensata dalla politica di riequilibrio adottata dalla Facoltà di Scienze MM.FF.NN, questo sta portando ad una saturazione degli spazi. Pur essendo stati introdotti significativi miglioramenti nella dotazione, flessibilità e sicurezza del laboratorio didattico (SiLab) e delle aule didattiche informatizzate (aula alfa e beta), pur avendo ricavato due nuove aule (gamma e delta), tutte le strutture sono utilizzate ormai a ciclo continuo. Diventa urgente l’individuazione di una nuova sede per l’Informatica di Milano. Sono stati fatti importanti passi preliminari in questa direzione, e ci si augura che l’Amministrazione ci possa aiutare con coerenza su questo obbiettivo.