Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298...

26
Dipartimento di Informatica e Comunicazione www.dico.unimi.it Indirizzo: Via Comelico,39 Telefono: 02/50316200 Fax: 02/50316201 E-Mail: [email protected] Direttore: Prof Goffredo Haus Macro-Settore: Scienze Matematiche e Informatiche 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 Bettini Claudio tel. 0250316281 [email protected] Castano Silvana " 0250316319 [email protected] D'Antona Ottavio " 0250316323 [email protected] Haus Goffredo " 0250316222 [email protected] Martella Giancarlo " 0250316245 [email protected] Mussio Piero " 0250316290 [email protected] Pighizzini Giovanni " 0250316303 [email protected] Professori di I fascia a tempo definito Bruschi Danilo tel. 0250316260 [email protected] Rossi Gian Paolo " 0250316272 [email protected] Professori di II fascia a tempo pieno Alberti Maria Alberta tel. 0250316311 [email protected] Bellettini Carlo " 0250316255 [email protected] Benassi Mario " 0250316235 [email protected] De Cindio Fiorella " 0250316288 [email protected] Marini Daniele " 0250316358 [email protected] Pagnoni Astasia Carla " 0250316301 [email protected] Prini Gianfranco " 0250316279 [email protected] Rosti Emilia " 0250316258 [email protected] Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti Agostini Alessandra tel. 0250316307 [email protected] Barate' Adriano " 0250316382 [email protected] Besozzi Daniela " 0250316274 [email protected] Capra Lorenzo " 0250316256 [email protected] Cazzola Walter " 0250316313 [email protected] Cirrincione Armando " Damiani Maria Luisa " 0250316313 [email protected] Dini Antonio " Drogo Maurizio Antonello "

Transcript of Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298...

Page 1: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Dipartimento di Informatica e Comunicazione www.dico.unimi.it

Indirizzo: Via Comelico,39 Telefono: 02/50316200 Fax: 02/50316201 E-Mail: [email protected] Direttore: Prof Goffredo Haus Macro-Settore: Scienze Matematiche e Informatiche 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 Bettini Claudio tel. 0250316281 [email protected]

Castano Silvana " 0250316319 [email protected]

D'Antona Ottavio " 0250316323 [email protected]

Haus Goffredo " 0250316222 [email protected]

Martella Giancarlo " 0250316245 [email protected]

Mussio Piero " 0250316290 [email protected]

Pighizzini Giovanni " 0250316303 [email protected]

Professori di I fascia a tempo definito Bruschi Danilo tel. 0250316260 [email protected]

Rossi Gian Paolo " 0250316272 [email protected]

Professori di II fascia a tempo pieno Alberti Maria Alberta tel. 0250316311 [email protected]

Bellettini Carlo " 0250316255 [email protected]

Benassi Mario " 0250316235 [email protected]

De Cindio Fiorella " 0250316288 [email protected]

Marini Daniele " 0250316358 [email protected]

Pagnoni Astasia Carla " 0250316301 [email protected]

Prini Gianfranco " 0250316279 [email protected]

Rosti Emilia " 0250316258 [email protected]

Ricercatori universitari, assistenti di ruolo e assimilati a tempo pieno, assegnisti Agostini Alessandra tel. 0250316307 [email protected]

Barate' Adriano " 0250316382 [email protected]

Besozzi Daniela " 0250316274 [email protected]

Capra Lorenzo " 0250316256 [email protected]

Cazzola Walter " 0250316313 [email protected]

Cirrincione Armando "

Damiani Maria Luisa " 0250316313 [email protected]

Dini Antonio "

Drogo Maurizio Antonello "

Page 2: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Ferrara Alfio " 0250316340 [email protected]

Franzoni Stefano " [email protected]

Gadia Davide " 0250316339 [email protected]

Maggiorini Dario " 0250316306 [email protected]

Malcangi Mario Natalino " 0250316278 [email protected]

Marra Vincenzo " 0250316330 [email protected]

Martin Alessandro " 0250316354 [email protected]

Mazzoleni Pietro " 0250316298 [email protected]

Mesiti Marco " 0250316340 [email protected]

Monga Mattia " 0250316313 [email protected]

Paci Federica Maria Francesca " 0250316273 [email protected]

Pagani Elena " 0250316271 [email protected]

Parasiliti Provenza Loredana " 0250316346 [email protected]

Pavesi Giulio " [email protected]

Perego Andrea " 0250316345 [email protected]

Perlasca Paolo " 0250316322 [email protected]

Racca Gianpaolo "

Ripamonti Laura Anna " 0250316221 [email protected]

Ronchetti Marco "

Selmo Davide Matteo " 0250316339 [email protected]

Tebaldi Stefano " 0250316413

Tesser Emanuela " 0250316234 [email protected]

Trentini Andrea " 0250316274 [email protected]

Valtolina Stefano " 0250316273 [email protected]

Visconti Andrea " 0250316351 [email protected]

1.2 Personale tecnico - amministrativo

Personale amministrativo-contabile e tecnici di categoria D - EP Chierchini Cristina tel. 0250316207 [email protected]

Martino Lorenzo Dario " [email protected]

Tanzi Dante " 0250316408 [email protected]

Personale amministrativo-contabile e tecnici di categoria B - C Bonfanti Marie Astrid tel. 0250316326 [email protected]

Carrozza Anna " 0250316213 [email protected]

Cieri Elena " 0250316211 [email protected]

Froio Emanuela Fiorenza " 0250316244 [email protected]

Liberali Giuseppe " 0250316206 [email protected]

Mara Alberto " [email protected]

Mileo Alessandra " 0250316252 [email protected]

Pepe Luigi " 0250316252 [email protected]

Pepe Marialuisa " 0250316250 [email protected]

Rossi Daniela " 0250316214 [email protected]

Altri borsisti con laurea e specializzandi attivi, nell'anno, presso la struttura Giudici Francesco tel.

Organico

Page 3: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Personale docente No. Professori I fascia a tempo pieno 7No. Professori I fascia a tempo definito 2No. Professori II fascia a tempo pieno 8No. Professori II fascia a tempo definito 0No. 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 3No. Altri collaboratori di ricerca con contratti di collaborazione coordinata e continuativa 0No. Personale amministrativo-contabile e tecnici di categoria B - C 10

Dottorandi, specializzandi e borsisti No. Dottorandi attivi, nell'anno, presso la struttura 0No. 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 1

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 86.201,00 Finanziamento complessivo da fondi MURST 27.000,00 Finanziamento complessivo da contributi CNR 0,00 Finanziamento complessivo da altri organismi pubblici nazionali e da contratti CNR 0,00 Finanziamento complessivo da altri organismi privati e imprese nazionali 21.811,00 Finanziamento complessivo da Commissione Europea 91.323,00 Finanziamento complessivo da altri organismi pubblici internazionali 0,00 Finanziamento complessivo da altri organismi privati e imprese internazionali 0,00 Totale 226.335,00 2.2 Dati relativi alle spese per la ricerca Somme pagate Somme impegnateSpese annuali complessive della struttura 746.167,00 818.048,00Spese annuali della struttura esclusivamente per ricerca 371.653,00 386.644,00

2.3 Attrezzature scientifiche e materiale bibliotecario Spesa totale annuale per attrezzature scientifiche 151.774,00 Spesa totale annuale per materiale bibliotecario 0,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

Page 4: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

No. contratto 1 Durata (mesi) 48 Tipologia del contraente Organismi internazionali Contraente IP VIRTHUALIS Titolo del progetto Virtual Reality and Huamn Factors Applications for Improving Safety Finanziamento complessivo (Euro) 216.216,00

Responsabile del progetto MARINI DANIELE No. contratto 10 Durata (mesi) 36 Tipologia del contraente Organismi internazionali Contraente EU

Titolo del progetto INTEROP Network of Eccellence Interoperability Research for Net worked Enterprises Applications and Software (FP6-contract n. 508011)

Finanziamento complessivo (Euro) 40.500,00

Responsabile del progetto CASTANO SILVANA No. contratto 11 Durata (mesi) 24 Tipologia del contraente Organismi internazionali Contraente EU SIAP Project 2003QL01 Titolo del progetto QUATRO - Quality Assurance and Content Description Finanziamento complessivo (Euro) 22.800,00

Responsabile del progetto MUSSIO PIERO No. contratto 12 Durata (mesi) 6 Tipologia del contraente Enti privati Contraente CESI-RICERCA

Titolo del progetto Metodi per l¿analisi della sicurezza informatica dei sistemi d¿automazione, protezione e controllo da considerare nelle future attività di s

Finanziamento complessivo (Euro) 8.000,00

Responsabile del progetto BRUSCHI DANILO No. contratto 13 Durata (mesi) 36 Tipologia del contraente Organismi internazionali Contraente Comunità Europea Titolo del progetto Tarchna - Towards archeological Heritage New Accessibilità Finanziamento complessivo (Euro) 200.000,00

Responsabile del progetto MAZZOLENI PIETRO No. contratto 14 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Sincronizzazione automatica di testi musicali e file audio relativi Finanziamento complessivo (Euro) 48.000,00

Responsabile del progetto HAUS GOFFREDO No. contratto 2 Durata (mesi) 24

Page 5: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Tipologia del contraente Enti pubblici Contraente Ministero dell'Istruzione, dell'Universita' e della Ricerca Titolo del progetto Cofin Linguaggi formali e automi: metodi, modelli e applicazioni Finanziamento complessivo (Euro) 59.500,00

Responsabile del progetto BESOZZI DANIELA No. contratto 3 Durata (mesi) 24 Tipologia del contraente Enti pubblici Contraente Ministero dell'Istruzione, dell'Universita' e della Ricerca Titolo del progetto PRIN-Cofin Systems Biology: modellazione, linguaggi e analisi (Sybilla) Finanziamento complessivo (Euro) 142.900,00

Responsabile del progetto BESOZZI DANIELA No. contratto 4 Durata (mesi) 24 Tipologia del contraente Enti privati Contraente Informatica Per il Territorio Titolo del progetto Web Indexing Language Finanziamento complessivo (Euro) 33.989,00

Responsabile del progetto MUSSIO PIERO No. contratto 5 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente FIRB

Titolo del progetto La frammentazione internazionale della produzione delle imprese italiane. Nuovi modelli organizzativi e ruolo delle tecnologie dell'informaz

Finanziamento complessivo (Euro) 30.000,00

Responsabile del progetto TRENTINI ANDREA No. contratto 6 Durata (mesi) 48 Tipologia del contraente Organismi internazionali Contraente Progetto IST Sesto Programma Quadro EU, IST-1-01945 Titolo del progetto TrustCoM Finanziamento complessivo (Euro) 197.062,00

Responsabile del progetto MUSSIO PIERO No. contratto 7 Durata (mesi) 48 Tipologia del contraente Organismi internazionali Contraente EU IST Network of Excellence G038-507618 Titolo del progetto DELOS - Network of Excellence on Digital Libraries Finanziamento complessivo (Euro) 25.900,00

Responsabile del progetto MUSSIO PIERO No. contratto 8 Durata (mesi) 36 Tipologia del contraente Enti pubblici Contraente MIUR INTERLINK Titolo del progetto Modelli e tecniche per il controllo della privacy nei servizi adattivi per terminali mobili

Page 6: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Finanziamento complessivo (Euro) 123.500,00

Responsabile del progetto BETTINI CLAUDIO No. contratto 9 Durata (mesi) 48 Tipologia del contraente Enti pubblici Contraente MIUR Titolo del progetto Middleware per servizi evoluti su sistemi Finanziamento complessivo (Euro) 705.000,00

Responsabile del progetto BETTINI CLAUDIO

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 Persone di riferimento

2/2/2005 DICO Protocolli di accesso per reti di sensori

Gabriele Guidi, Dipartimento di Informatica e Comunicazione

Gian Paolo Rossi

11/3/2005 DICO Music Mood Wheel - Mobile Music Devices with Intuitive Search Facility

Andreja Andric, Dipartimento di Informatica e Comunicazione

Goffredo Haus

16/3/2005 DICO Applicazioni e Soluzioni End2End nelle reti mobili di ultima generazione

Dott. Emanuel Monticelli, Siemens Italia Dario Maggiorini

15/4/2005 DICO "La mia esperienza di matematico free-lance in Israele"

Prof. Moshe Breiner, SiMaCon Gianfranco Prini

21/4/2005 DICO Grafica 3D su piattaforme mobili

Dott. Gardella, STMicroelectronics Daniele Marini

29/4/2005 DICO L'esperienza di CpSquare

Marco Bettoni, Swiss Federal Institute of Technology Zurich (ETHZ) - Center for Organizational and Work Sciences (ZOA)

Fiorella De Cindio

2/5/2005 DICO Comunità di pratica: un nuovo modo di gestire ed innovare l'organizzazione

Mariano Corso, Dipartimento di Ingegneria Gestionale - Politecnico di Milano

Fiorella De Cindio

6/5/2005 DICO "Le CV per supportare le strategie aziendali e il Knowledge Management"

Marco Granata, IBM, Lotus Project Manager Fiorella De Cindio

6/5/2005 DICO

Rendering High-Dynamic Range Images: Retinex Algorithms that Mimic Human Vision

John McCann, Consultant on color, color imaging and image processing

Daniele Marini

Page 7: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

13/5/2005 DICO "Metodi basati sull'ottica per il rendering fotorealistico"

D. Selmo, Dipartimento Informatica e Comunicazione Daniele Marini

20/5/2005 DICO L'Open source per la PMI italiana: diffusione e opportunità di sviluppo

Stefano Micelli, Univ. di Venezia e TEDIS, Venice International University

Fiorella De Cindio

31/5/2005 DICO Knowledge process management: l'esperienza di Teradata

Mario Selvi, Communication Industry Consultant -Teradata, una divisione NCR

Silvana Castano

3/6/2005 DICO From Community Networks to Civic Intelligence: New Tools for Civil Society

Douglas Schuler, The Evergreen State College Public Sphere Project (CPSR)

Fiorella De Cindio

22/6/2005 DICO (Non)determinism and the Size of One-Way Finite Automata

Prof. Viliam Geffert, Dept. Computer Science - P.J. Safarik University - Kosice, Slovakia

Giovanni Pighizzini

27/6/2005 DICO

Exact cost of complementation for one-way nondeterministic finite-state automata

Prof. Viliam Geffert, Dept. Computer Science - P.J. Safarik University - Kosice, Slovakia

Giovanni Pighizzini

5/7/2005 DICO "LOCATION SERVICE PER ROUTING GEOGRAFICO"

Dr. Francesco Giudici, NPTLab

Elena Pagani, Gian Paolo Rossi

21/7/2005 DICO

"Stato dell'arte del Tone Mapping, metodi di valutazione e risultati raggiunti"

Dott. Carlo Gatta, Dipartimento di Tecnologie dell'Informazione

Daniele Marini

19/9/2005 DICO

Prototipazione rapida in ambiente Simulink per la progettazione e lo sviluppo di un sistema di comunicazione digitale

Dott. Stefano Olivieri – The MathWorks Mario Malcangi

3/10/2005 DICO

Utilizzo di curve colorimetriche non standard per il rendering ed algoritmi di Tone Mapping

Carlo Gatta, Dipartimento di Tecnologie dell'Informazione (Crema)

Daniele Marini

23/11/2005 DICO "Logiche polivalenti e probabilita'"

Norbert Preining, Tommaso Flaminio, Enrico Marchioni, Universita' di Siena, Universita' di Salamanca

Ottavio Mario D'Antona, Vincenzo Marra

WORKSHOP

Titolo Relatore Data e Luogo Docente Responsabile

UniverCity: risultati e prospettive

21/11/2005 Sala di Rappresentanza

Fiorella De Cindio

Page 8: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

del Rettorato Via Festa del Perdono, 7 - Milano

DSP Application Day 2005 19/09/2005 Aula Alfa DICO Mario Malcangi

INIZIATIVE

Titolo Relatore Data e Luogo Docente Responsabile

Progetto Ray Foundation Onlus Dott. Simone Sala 18/02/2005 DICO Gianfranco Prini

Congressi, convegni, conferenze, workshops organizzati da membri della struttura

Giovanni Pighizzini Worskshop "Descriptional Complexity of Formal Systems", Como 30 giugno-2 luglio 2005

Maria Luisa Damiani

Co-organizzatore e session chair della sessione Knowledge& Engineering Techniques for Spatio-temporal Applications nell’ambito della conferenza KES2005, International Conference on Knowledge-based Intelligent Information & Engineering, 14-16 September 2005 Melbourne City, Australia

Alessandra Agostini Workshop su "Learning Communities in the era of Ubiquitous Computing" , all’interno della 2a Conferenza

Internazionale su Communities and Technologies. Milano, 13 Giugno 2005. Piero Mussio

Membro del comitato di programma e Panel Co-chair del 2005 INTERACT , International Conference on HCI, tenuta nel Settembre 2005 a Roma.

Walter Cazzola

Reflection, AOP and Meta-Data for Software Evolution (RAM-SE) Workshop luogo e data di svolgimento: Glasgow, 25 luglio.

Mattia Monga

Software Engineering for Secure Systems (SESS06), workshop tenuto nell'ambito 28th International Conference on Software Engineering (ICSE 2006) II edizione, Shanghai, Cina, 20-21 May 2006

Capture the Flag Nazionale 2005, DICO, 15 Ottobre 2005 Andrea Trentini

Comitato organizzatore del LinuxDay 2005, tenutosi presso il Dipartimento stesso il 26 Novembre 2005 (www.linuxdaymilano.it)

Mario Malcangi

Workshop "DSP Application Day 2005" Università degli Studi di Milano, DICO, 19 settembre 2005. Fiorella De Cindio

Page 9: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

International Conference ‘Communities & Technologies’, Milano, giugno 2005. International workshop su "Digital Cities: the Augmented Public Space" nell'ambito della International

Conference ‘Communities & Technologies’, Milano, giugno 2005. Special session su “Community Informatics: Beyond 'Users' to 'Communities': Designing Systems as Though

'Communities' Matter”, nell’ambito della 11th International Conference on Human-Computer Interaction, Las Vegas (Ne, U.S.), luglio 2005.

Mario Benassi

International workshop su "Development and sustainability of online business communities" nell'ambito della International Conference ‘Communities & Technologies’, Milano, giugno 2005.

INFORMAZIONI ANALITICHE

Afferenze a consorzi o reti di ricerca nazionali Maria Luisa Damiani

Progetto di Ricerca PRIN 2003-2005 Titolo: Rappresentazione e gestione di dati spaziali e geografici in ambiente Web (SpadaAtWeb) Afferenza alla Unita’ Operativa di Milano, DICO. Coordinatore: Università Insubria. Attività: sviluppo di un sistema per il controllo dell’accesso a dati spaziali su Web

Progetto di Ricerca PRIN 2004-2006 Titolo: Estrazione e presentazione di conoscenza geografica con tecniche di data mining che salvaguardano la privacy (GeoPKDD). Coordinatore: Università di Pisa Afferenza alla Unita’ Operativa di Venezia, Università Cà Foscari, Dipartimento di Informatica. Attivita’: modellazione di un data warehouse spaziale e tecniche per il controllo dell’accesso a dati spaziali

Gian Paolo Rossi, Elena Pagani

WEB MINDS -- Wide-scale, Broadband, Middleware for Network Distributed Services. Prof. Giovanni Chiola (Università di Genova) responsabile nazionale Prof. Claudio Bettini responsabile locale. Obiettivo del gruppo di ricerca è la progettazione di un'infrastruttura distribuita per la ricerca di conoscenza, risorse e servizi basata su ontologie. L'infrastruttura progettata deve essere implementata in ambiente di simulazione allo scopo di valutarne le prestazioni.

Vincenzo Marra

Afferenza al progetto PRIN: "Logiche a più valori e informazione incerta: metodologie algebriche e algoritmiche", coordinatore nazionale Franco Montagna (Siena)

Fiorella De Cindio

Progetto FIRB “Web-Minds” (Wide-scalE, Broadband, MIddleware for Network Distributed Services~ ) gruppo di lavoro wp5-c su “Portale di e-learning per il dottorato”.

Afferenze a consorzi o reti di ricerca internazionali Vincenzo Marra

Postdoctoral Fellow di COMBSTRU. Descrizione: "Combstru e' un Research Training Network finanziato dalla Commissione Europea il cui principale obiettivo scientifico e' l'analisi dei problemi combinatorici intrattabili, con particolare attenzione alle loro proprieta' strutturali".

Claudio Bettini

Afferenza a CologNet, rete di eccellenza europea in Computational Logic. responsabile del nodo UniMi: Prof. Bettini.

Lorenzo Capra

EUROSIS (European Simulation Society) Questo consorzio si preoccupa di organizzare eventi (nella forma di convegni internazionali) su tecniche di simulazione e di modellazione usate in diversi campi, con particolare riferimento ai sistemi software. Lorenzo Capra ha partecipato (sia come autore che come membro del PC) a The 2005 European Simulation and Modelling Conference.

Partecipazioni a valutazioni di progetti di ricerca internazionali

Page 10: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Mattia Monga

Valutazione progetti di finanziamento per la Natural Sciences and Engineering Research Council of Canada (Collaborative Research and Development (CRD) Grant)

Membri di comitati editoriali di riviste e/o collane scientifiche internazionali Vincenzo Marra

Membro del comitato editoriale della rivista internazionale "Soft Computing", Springer. Link: www.springer.com/journal/00500/about

Claudio Bettini

Associate editor della rivista internazionale IEEE Transactions on Knowledge and Data Engineering. Membro dell'Editorial Board dell'ACM SIGMOD Digital Review.

Fiorella De Cindio

Membro dell’Editorial Board di Journal of Community Informatics http://www.ci-journal.net/editors.php Mario Benassi

Reviewer Academy of Management Piero Mussio

Associate editor del Journal of Visual Languages and Computing Pubblicazioni recensite da membri della struttura

Giovanni Pighizzini Rivista Theoretical Computer Science

Maria Luisa Damiani

CoMoGIS 05 (2nd Workshop on Conceptual Modeling for Geographic Information Systems). Klagenfurt, Austria, 2005

IADIS International Conference on Applied Computing 2006, San Sebastian Spain, 25-28 February 2006 Piero Mussio

Articoli per Journal of Visual Languages and Computing, ACM TOMCAAP,Journal of Software and System Modeling e per e congressi internazionali

Daniele Marini

IEE Proc. Vision, Image & Signal Processing, USA Computer & Graphics, Pergamon Press, Elsevier Journal of Electronic Imaging S P I E 1000 20th Street Bellingham, WA 98225 USA IEEE Transactions on Image Processing, IEEE, USA IEEE computer graphics & applications, IEEE, USA

Paolo Perlasca

Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff: LicenseScript: a logical language for digital rights management. Annales des Télécommunications 61(3-4): 284-331 (2006)

Dario Maggiorini

International Journal in Information Technology Singapore Computer Society 10th IEEE Symposium on Computers and Communications Cartagena (Spagna), 27-30 giugno 2005 International Workshop on QoS in Multiservice IP Networks Catania, 2-4 febbraio 2005 IEEE International Conference on Communications Seoul (Korea), 16-20 maggio 2005

Walter Cazzola Conferenze

FASE06, Concerned about separation, H. Mili, H. Sahraoui, H. Lounis, H. Mcheick, A. Elkharraz

Page 11: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

SAC06, Graphical Modelling for Aspect-Oriented Software Architecture, "autori anonimi" SAC06, AspectSec: A Security Engineering Supported and Dynamic Weaving Aspect Language for C ", autori

anonimi" HICSS06, Architecture for Highly Evolvable Distributed Objects ", autori anonimi" HICSS06, What Concerns in Parallelisation, "autori anonimi" ENTGRID05, Framework for Separating Performance Concerns and Improved Modularity in Multi agent

systems (MAS) using Aspect Oriented Programming (AOP) T. Mehmood, N. Ashraf, S. Tauseef-ur-Rehman Riviste

titolo rivista: Journal of Object Technology titolo articolo: Reflection-based implementation of Java extensions: the double-dispatch use-case

autori: R. Forax, E. Duris. G. Roussel Mattia Monga

ACM Transactions on Software Engineering and Methodology LNCS Transactions on Aspect-Oriented Software Development IEEE Transactions on Software Engineering IEEE Transactions on Systems, Man, and Cybernetics

Fiorella De Cindio

International Journal of Community Informatics Silvana Castano

Silvana Castano Information Systems – Elsevier VLDB Journal - Springer-Verlag International Journal of Information Technology (IJIT)

IEEE Transactions on Systems, Man and Cybernetics, Part A Data and Knowledge Engineering Daniela Besozzi

Proceedings of "DNA Computing, 11th International Workshop on DNA Computing", LNCS 3892, Springer-Verlag, Berlin

Proceedings of IEEE Congress on Evolutionary Computation (CEC2005), IEEE Press Proceedings of DCFS05 - special issue of Theoretical Computer Science Proceedings of 9th International Conference on Developments in Language Theory (DLT05), LNCS 3572,

Springer-Verlag, Berlin Proceedings of Membrane Computing, International Workshop, WMC6, LNCS 3850, Springer-Verlag, Berlin

Lorenzo Capra

Yet another Smart Process EditoR proceedings of ESM’05, 24-26 Oct 2005, Porto, J. Manuel Feliz-Teixeira, A. E. Carvalho Brito, Eds, EUROSIS-ETI, ISBN: 90-77381-22-8

J. Zhong, B. Song Verification of Resource Constraints for Concorrente Workflows proc. of 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005) Timisoara, Romania, 25-29 September, 2005 IEEE Computer Society, ISBN: 0-7695-2453-2

Posizioni di responsabilità: coordinatori programmi ricerca nazionali

Giovanni Pighizzini Coordinatore e responsabile del progetto FIRB, "Complessità Descrizionale di automi e strutture correlate"

(bando 2001), inizio 5 novembre 2002, scadenza 5 novembre 2005, prorogato di 12 mesi sino al 5 novembre 2006. Finanziato dal MIUR per 58000 EUR e dall'Ateneo per 24860 EURO (il progetto prevede, sebbene finanziato dal Miur, partecipanti stranieri) Descrizione: scopo del progetto è approfondire lo studio delle simulazioni tra diversi modelli di automi e grammatiche, dal punto di vista della complessità di descrizione, e di studiare questioni collegate nell'ambito della complessità computazionale. Oltre ai modelli classici, sono oggetto di studio anche i modelli probabilistici e quantistici

Posizioni di responsabilità: coordinatori programmi ricerca internazionali

Goffredo Haus Goffredo Haus, official reporter IEEE Standards Association Working Group on Music Application of XML

(PAR 1599), Washington, USA. Gruppo di lavoro internazionale per la descrizione multistrato in XML di

Page 12: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

informazione musicale orientata all’interazione per visualizzare partiture, interpretare codici MIDI e gestire flussi audio digitali

Goffredo Haus, vice-chair IEEE Computer Society Technical Committee on Computer Generated Music, Washington, USA Comitato tecnico internazionale per la rappresentazione ed elaborazione di informazione musicale mediante computer.

Walter Cazzola

Walter Cazzola - Responsabile Scientifico Titolo Progetto - RAMSES Reflective and Adaptive Middleware for SW Evolution of Systems Ente Finanziatore - DFG (equivalente tedesco del MIUR)

Didattica Walter Cazzola N. insegnamenti per corsi di dottorato nel 2005: Tot. 1

Corso per il dottorato in Informatica dell'Università degli Studi di Milano. Giovanni Pighizzini N. insegnamenti per le seguenti tipologie di corsi: Tot. 1

Metodologie di Programmazione per SILSIS Silvana Castano N. insegnamenti per le seguenti tipologie di corsi: Tot. 2

Laboratorio Internet e Web per SILSIS Basi di dati per Master su Sicurezza ICT

Dario Maggiorini N. insegnamenti per le seguenti tipologie di corsi: Tot. 1

Laboratorio Reti di Calcolatori per SILSIS Andrea Trentini N. insegnamenti per le seguenti tipologie di corsi: Tot. 3

Master Sicurezza, modulo Linux Master Micsu, modulo programmazione FSE “Linux, admin” (più sessioni)

Ottavio D’Antona N. insegnamenti per le seguenti tipologie di corsi: Tot. 1

Laboratorio di Analisi Combinatoria per SILSIS Paolo Perlasca N. insegnamenti per le seguenti tipologie di corsi: Tot. 2

Modulo Laboratorio di Basi di Dati, scuola interuniversitaria lombarda di specializzazione per l'insegnamento secondario, sezione di Milano (SILSIS-MI), Università degli Studi di Milano

Lezioni nell'ambito del Master in Metodologie di base dell'informatica e della comunicazione per le scienze umanistiche, modulo Basi di dati e Web.

Lorenzo Capra N.ro insegnamenti per corsi di scuole post-laurea Tot.1

Master MICSU, edizione 2004/2005 Corso di Programmazione Fiorella De Cindio N. insegnamenti per corsi di dottorato nel 2005: Tot. 1

Page 13: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Lezione su “e-democracy e politiche pubbliche” nell’ambito del Corso di Dottorato ‘Studi Politici’ della

Facoltà di Scienze Politiche dell’Università degli Studi di Milano

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

Nessuna.

6. Risultati dell'attività di ricerca

Articoli su rivista

- Bellettini, Carlo - Capra, Lorenzo - Monga, Mattia Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets / Carlo Bellettini,Lorenzo Capra,Mattia Monga. - In: Electronic Notes in Theoretical Computer Sciences. - ISSN 1571-0661. - 128:4(2005). - p. 59-77.

- Bellettini, Carlo - Trentini, Andrea AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS / Carlo Bellettini, Alessandro Marchetto, Andrea Trentini. - In: International Journal of Information Technology. - ISSN 1305-2403. - 2:1(2005). - p. 12-20.

- Bellettini, Carlo - Trentini, Andrea Validation of Reverse Engineered Web Application Models / Carlo Bellettini, Alessandro Marchetto, Andrea Trentini. - In: International Journal of Information Technology. - ISSN 1305-2403. - (2005).

- Bertino, Elisa - Mazzoleni, Pietro - Mussio, Piero Integration of Virtual Reality and Database Systems for Cultural Heritage Dissemination / E. Bertino, S. Franzoni, P. Mazzoleni, S. Valtolina, P. Mussio. - In: International Journal of Computational Science and Engineering. - ISSN 1742-7193. - 1:5/6(2005).

- Besozzi, Daniela On the power and size of extended gemmating P systems / D. Besozzi, E. Csuhaj-Varju, G. Mauri, C. Zandron. - In: Soft Computing. - ISSN 1432-7643. - 9:9(2005 Sep.). - p.650-656.

- Bruschi, Danilo - Monga, Mattia Software engineering for secure systems / Danilo Bruschi,Bart De Win, Mattia Monga. - In: Software Engineering Notes. - ISSN 0163-5948. - 30:4(2005 July). - p. 1-2.

- Cazzola, Walter Freely Annotating C# / Walter Cazzola,Antonio Cisternino,Diego Colombo. - In: Journal of Object Technology. - ISSN 1660-1769. - 4:10 (2005).

- D'Antona, Ottavio A combinatorial interpretation of the connection constants of persistent sequences of polynomials / Ottavio D'Antona, Emanuele Munarini. - In: European Journal of Combinatorics. - ISSN 0195-6698. - 26:7(2005 Oct.). - p. 1105-1118.

- De Cindio, Fiorella Online communities sustainability: some economic issue. / L.A. Ripamonti, F. De Cindio, M. Benassi. - In: The Journal of Community Informatics. - 1:2(2005). - p. 63-78.

- Maggiorini, Dario Aggregated Multicast - A Comparative Study / Jun-Hong Cui, Jinkyu Kim, Dario Maggiorini, Khaled Boussetta, Mario Gerla. - In: Cluster Computing. - ISSN 1386-7857. - 8:1(2005 Jan). - p. 15-26.

- Marini, Daniele Mathematical definition and analysis of the Retinex algorithm / E. Provenzi, A. Rizzi, L. De Carli, D. Marini. - In: Journal of the Optical Society of America. A. - ISSN 1084-7529. - 22:12(2005). - p. 2613-2621.

- Pavesi, Giulio Algorithms for pattern matching and discovery in RNA secondary structure / G Mauri, G. Pavesi. - In: Theoretical Computer

Page 14: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Science. - ISSN 0304-3975. - 335:1(2005), p.29-51.

- Pavesi, Giulio Assessing computational tools for the discovery of transcription factor binding sites / Tompa M, Li N, Bailey TL, Church GM, De Moor B, Eskin E, Favorov AV, Frith MC, Fu Y, Kent WJ, Makeev VJ, Mironov AA, Noble WS, Pavesi G, Pesole G, Regnier M, Simonis N, Sinha S, Thijs G, van Helden J, Vandenbogaert M, Weng Z, Workman C, Ye C, Zhu Z.. - In: NATURE BIOTECHNOLOGY. - ISSN 1087-0156. - 23:1(2005 Jan.). - p. 137-144.

- Pavesi, Giulio On-line construction of compact directed acyclic word graphs / S. Inenaga, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa, G. Mauri, G. Pavesi. - In: DISCRETE APPL MATH. - ISSN 0166-218X. - DISCRETE APPLIED MATHEMATICS - 146:2(2005), p.156-179.

Page 15: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Pavesi, Giulio The transcriptional landscape of the mammalian genome / Carninci P, Kasukawa T, Katayama S, Gough J, Frith MC, Maeda N, Oyama R, Ravasi T, Lenhard B, Wells C, Kodzius R, Shimokawa K, Bajic VB, Brenner SE, Batalov S, Forrest AR, Zavolan M, Davis MJ, Wilming LG, Aidinis V, Allen JE, Ambesi-Impiombato A, Apweiler R, Aturaliya RN, Bailey TL, Bansal M, Baxter L, Beisel KW, Bersano T, Bono H, Chalk AM, Chiu KP, Choudhary V, Christoffels A, Clutterbuck DR, Crowe ML, Dalla E, Dalrymple BP, de Bono B, Della Gatta G, di Bernardo D, Down T, Engstrom P, Fagiolini M, Faulkner G, Fletcher CF, Fukushima T, Furuno M, Futaki S, Gariboldi M, Georgii-Hemming P, Gingeras TR, Gojobori T, Green RE, Gustincich S, Harbers M, Hayashi Y, Hensch TK, Hirokawa N, Hill D, Huminiecki L, Iacono M, Ikeo K, Iwama A, Ishikawa T, Jakt M, Kanapin A, Katoh M, Kawasawa Y, Kelso J, Kitamura H, Kitano H, Kollias G, Krishnan SP, Kruger A, Kummerfeld SK, Kurochkin IV, Lareau LF, Lazarevic D, Lipovich L, Liu J, Liuni S, McWilliam S, Madan Babu M, Madera M, Marchionni L, Matsuda H, Matsuzawa S, Miki H, Mignone F, Miyake S, Morris K, Mottagui-Tabar S, Mulder N, Nakano N, Nakauchi H, Ng P, Nilsson R, Nishiguchi S, Nishikawa S, Nori F, Ohara O, Okazaki Y, Orlando V, Pang KC, Pavan WJ, Pavesi G, Pesole G, Petrovsky N, Piazza S, Reed J, Reid JF, Ring BZ, Ringwald M, Rost B, Ruan Y, Salzberg SL, Sandelin A, Schneider C, Schonbach C, Sekiguchi K, Semple CA, Seno S, Sessa L, Sheng Y, Shibata Y, Shimada H, Shimada K, Silva D, Sinclair B, Sperling S, Stupka E, Sugiura K, Sultana R, Takenaka Y, Taki K, Tammoja K, Tan SL, Tang S, Taylor MS, Tegner J, Teichmann SA, Ueda HR, van Nimwegen E, Verardo R, Wei CL, Yagi K, Yamanishi H, Zabarovsky E, Zhu S, Zimmer A, Hide W, Bult C, Grimmond SM, Teasdale RD, Liu ET, Brusic V, Quackenbush J, Wahlestedt C, Mattick JS, Hume DA, Kai C, Sasaki D, Tomaru Y, Fukuda S, Kanamori-Katayama M, Suzuki M, Aoki J, Arakawa T, Iida J, Imamura K, Itoh M, Kato T, Kawaji H, Kawagashira N, Kawashima T, Kojima M, Kondo S, Konno H, Nakano K, Ninomiya N, Nishio T, Okada M, Plessy C, Shibata K, Shiraki T, Suzuki S, Tagami M, Waki K, Watahiki A, Okamura-Oho Y, Suzuki H, Kawai J, Hayashizaki Y; FANTOM Consortium; RIKEN Genome Exploration Research Group and Genome Science Group (Genome Network Project Core Group).. - In: SCIENCE. - 309:5740(2005). -ISSN 0036-8075. - 309:5740 (2005). - p. 1559-1563.

- Pighizzini, Giovanni Complementing unary nondeterministic automata / Filippo Mera, Giovanni Pighizzini. In: Theoretical Computer Science. - ISSN 0304-3975. - 330:2(2005). - p.349--360.

- Trentini, Andrea Reflective QoS Management and System Validation in the Real-Time Performers Architecture / Andrea Trentini, Daniela Micucci. - In: INFORMATION. - ISSN 1343-4500. - 8:5(2005 Sep.). _________________________________________________________________

Interventi a convegno

- Agostini, Alessandra Supporting Communities by Providing Multiple Views / Agostini Alessandra, Albolino Sara, De Paoli Flavio, Grasso M.Antonia, Hinrichs Elke. - In: Communities and technologies 2005 : proceedings of the Second Communities and Technologies Conference, Milano 2005 / Peter van den Besselaar, Giorgio De Michelis, Jenny Preece, Carla Simone. - Dordrecht [etc.] : Springer, 2005 Jun. - ISBN 140203590X. - p. 437-456.

- Agostini, Alessandra - Bettini, Claudio Demo: Ontology-based Context-aware Delivery of Extended Points of Interest / Agostini Alessandra, Bettini Claudio, Riboni Daniele. - In: MDM'05: Proceedings of the 6th International Conference on Mobile Data Management : May 9-13, 2005, Aiya Napa, Cyprus / Arkady Zaslavsky, Alex Delis, Ouri Wolson, Panos K. Chrysanthis, George Samaras. - New York : ACM, 2005. - ISBN 1595930418. - p. 322-323

- Agostini, Alessandra - Bettini, Claudio Loosely Coupling Ontological Reasoning with an Efficient Middleware for Context-Awareness / Agostini Alessandra, Bettini Claudio, Riboni Daniele. - In: Proceedings of MOBIQUITOUS 2005 : the Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services : July 17-21, 2005, San Diego, California / Ramesh Rao, Chiara Petrioli, Krishna Sivalingam. - Los Alamitos : IEEE Computer Society, 2005. - ISBN 0769523757. - p. 175-182.

- Barate', Adriano - Haus, Goffredo A Computer Tool to Enjoy and Understand Music / Denis Baggi,Adriano Baratè,Goffredo Haus, Luca Andrea Ludovico. - In: Proceedings of the 2nd European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology (EWIMT 2005) / AAVV. - London : University of London, 2005. - p. 213-217.

- Barate', Adriano - Haus, Goffredo Music Analysis and Modeling through Petri Nets / Adriano Baratè,Goffredo Haus,Luca Andrea Ludovico. - In: CMMR 2005 Pre-Symposium Proceedings / AAVV. - Pisa : University of Pisa, 2005.

- Barate', Adriano - Haus, Goffredo MXDemo: a Case Study about Audio, Video, and Score Synchronization / Adriano Baraté,Goffredo Haus, Luca Andrea Ludovico,Giancarlo Vercellesi. - In: First International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution : 30 November-2 december 2005, Convitto della Calza, Florence, Italy : proceedings / edited by Paolo Nesi, Kia Ng, Jaime Delgado. - Los Alamitos, IEEE Computer Society, 2005. - ISBN 076952348X. - p. 45-52.

Page 16: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Bellettini, Carlo - Capra, Lorenzo Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches / Carlo Bellettini, Lorenzo Capra. - In: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) / Geyong Min, Mohamed Ould-Khaoua. - IEEE Computer Society, 2005. - ISBN 0769523129.

- Bellettini, Carlo - Trentini, Andrea Applying MDSOC to Web Applications / Carlo Bellettini, Alessandro Marchetto, Andrea Trentini. - In: Proceedings of the 9th World Multiconference on Systemics, Cybernetics and Informatics : July 10-13, 2005, Orlando, Florida, USA / n.a.. - n.a., 2005.

- Bellettini, Carlo - Trentini, Andrea TESTUML: user metrics driven web aplication testing / Carlo Bellettini, Alessandro Marchetto, Andrea Trentini. - In: Proceedings of the 20th annual ACM symposium on applied computing : Santa Fe, New Mexico, March 13 -17, 2005 / Lorie M. Liebrock (editor. - New York : ACM Press, 2005. - ISBN 1581139640. - p. 1694-1698.

- Bertino, Elisa - Damiani, Maria Luisa Spatial Knowledge-based Applications and Technologies: Research Issues / Elisa Bertino, Maria Luisa Damiani. - In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV / Rajiv Khosla, Robert Howlett, Lakhmi Jain (eds.). - Berlin [etc.] : Springer, 2005.- ISBN 354028897X. - p. 324-328

- Bertino, Elisa - Mazzoleni, Pietro Dissemination of Cultural Heritage Content through Virtual Reality and Multimedia Techniques: a Case Study. / S. Valtolina, S. Franzoni, P. Mazzoleni, E. Bertino. - In: The Eleventh International Multi-Media Modelling Conference : 11-14 january, 2005, Melbourne, Australia / Edited by Yi-Ping Phoele Cheng. - Los Alamitos : IEEE Computer Society, 2005. - ISBN 0769521649. - p. 214-221

- Bertino, Elisa - Mazzoleni, Pietro Efficent Integration of Fine-grained Access Control in Large-scale Grid Services. / P. Mazzoleni, B. Crispo, S. Sivasubramanian, E. Bertino.. - In: 2005 IEEE International Conference on Service Computing : Orlando, Florida, 10-15 July 2005 / edited by Carl K. Chang. - Los Alamitos : IEEE Computer Society, 2005.- ISBN 0769524087. - p. 77-84

- Bertino, Elisa - Mazzoleni, Pietro Integration of Virtual Reality and Database System Techniques. / E. Bertino, S. Franzoni, P. Mazzoleni, S. Valtolina.. - In: Databases in Networked Information Systems: 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005. Proceedings / Subhash Bhalla (ed.). - Berlin [etc] Springer, 2005. - ISBN 3540253610. - p. 92-103

- Besozzi, Daniela Investigating Local Evolutions in Dynamical Probabilistic P Systems / D. Pescini, D. Besozzi, G. Mauri. - In: Synacs 2005 : 7th international symposium on symbolic and numeric algorithms for scientific computing : Timisoara, Romania, 25-29 September, 2005 / edited by Daniela Zaharie (et al.) - Los Alamitos : IEEE Computer Society, 2005. - p. 440-447.

- Besozzi, Daniela A P system description of the sodium-potassium pump / D. Besozzi, G. Ciobanu. - In: Membrane Computing: 5th InternationalWorkshop, WMC 2004 : Milan, Italy, June 14-16, 2004 : Revised Selected and Invited Papers - WMC 2004 / Carlos Martin-Vide [et al.] (eds.) - Berlin [etc.] : Springer-Verlag, 2005. - ISBN 354020895X. - p. 210-223.

- Bettini, Claudio An Efficient Algorithm for Minimizing Time Granularity Periodical Representations / C. Bettini, S. Mascetti. - In: 12th International Symposium on Temporal Representation and Reasoning (Time 2005) [electronic resource] : proceedings : 23-25 June, 2005, Burlington, Vermont / sponsored by University of Vermont, University of Buffalo, University of Waterloo. - Los Alamitos : IEEE Computer Society, 2005. - ISBN 0769523706. - p. 20-25.

- Bettini, Claudio A distributed architecture for management and retrieval of extended points of interest / C. Bettini, N. Cesa-Bianchi, D. Riboni. - In: 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops): 6-10 June 2005, Columbus, OH, USA / [edited by] IEEE Computer Society. - Los Alamitos : IEEE Computer Society, 2005. - ISBN 0769523285. - p. 266-272.

- Bettini, Claudio Protecting Privacy Against Location-based Personal Identification / C. Bettini, X. S. Wang, S. Jajodia. - In: Secure Data Management: Second VLDB Workshop, SDM 2005 : Trondheim, Norway, August 30-September 2, 2005 : Proceedings / W. Jonker, M. Petkovic (eds.). - Berlin [etc.] : Springer-Verlag, 2005. - ISBN 3540287981. - p. 185-199.

- Bettini, Claudio - Maggiorini, Dario Distributed Context Monitoring for Continuous Mobile Services / Claudio Bettini, Dario Maggiorini, Daniele Riboni. - In: Mobile Information Systems II / [edited by] John Krogstie, Karlheinz Kautz, David Allen. - Norwell [etc.] : Springer, 2005. - ISBN 0387295518. - p. 1231-37.

Page 17: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Bruschi, Danilo - Monga, Mattia Improving the Security of TCG Specification / Danilo Bruschi, Lorenzo Cavallaro,Andrea Lanzi, Mattia Monga. - In: Proceedings of the 21st Annual Computer Security Applications Conference : 5-9 December 2005, Tucson, Arizona / Sponsored by Applied Computer Security Associates. - Los Alamitos : IEEE Computer Society, 2005 . - ISBN 0769524613. - p. 127-137.

- Bruschi, Danilo - Monga, Mattia - Rosti, Emilia Trusted Internet Forensics: design of a network forensics appliance / Danilo Bruschi,Mattia Monga,Emilia Rosti. - In: Security and privacy for emerging areas in communications networks : SecureComm 2005 : Workshop of the 1st international conference : Athens, Grece, 5-9 September, 2005 : proceedings / IEEE Computer Society [edited by] - Los Almitos : IEEE Computer Society, 2005. - ISBN 0769523692. - p. 34-36

- Capra, Lorenzo Colored Petri Nets State-Space Reduction via Symbolic Execution / Lorenzo Capra. - In: SYNASC 2005 : 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : Timisoara, Romania, 25-29 September 2005 / edited by Daniela Zaharie [et. al.]. - Los Alamitos : IEEE Computer Society, 2005. - ISBN 0769524532. - p. 231-238.

- Capra, Lorenzo Constraint-Based State Space Reduction in Colored Petri Nets / Lorenzo Capra. - In: The 2005 European Simulation and Modelling Conference / J. Manuel Feliz-Teixeira, A. E. Carvalho Brito. - EUROSIS-ETI, 2005. - ISBN 90-77381-22-8. - p. 550-557.

- Capra, Lorenzo Efficient Analysis of Asymmetric Distributed Systems: a High Level PN Approach / Lorenzo Capra. - In: Spring Simulation Multiconference 2005 / John A. Hamilton Jr, Michael J. Chinni. - S : SCS, 2005.

- Capra, Lorenzo - Cazzola, Walter A Petri-Net Based Reflective Framework / Lorenzo Capra,Walter Cazzola. - In: Proceedings of the IPM International Workshop on Foundations of Software Engineering (FSEN'05) / Arbab Farhad, Sirjani Marjan. - IPM, 2005 Oct.

- Castano, Silvana Semantic Self-Formation of Communities of Peers / S. Castano, S. Montanelli. - In: Electronic proceedings of the International Workshop on Ontologies in Peer-to-Peer Communities / Peter Haase, Christoph Schmitz, York Sure. - University of Kassel. Computer Science Department : 2005. - p. http://www.kde.cs.uni-kassel.de/ws/ontop2p2005/proceedings/-.

- Castano, Silvana - Ferrara, Alfio Dynamic Configurability of a Semantic Matchmaker for Ontology-based Resource Discovery in Open Distributed Systems / S. Castano, A. Ferrara, S. Montanelli. - In: EMOI-INTEROP'05, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability : Porto (Portugal), 13th-14th June 2005 / edited by Michele Missikoff, Antonio De Nicola. - Aachen : CEUR-WS.org, 2005.

- Castano, Silvana - Ferrara, Alfio Ontology-based Interoperability Services for Semantic Collaboration in Open Networked Systems / Silvana Castano, Alfio Ferrara, Stefano Montanelli. - In: Interoperability of enterprise software and applications / [edited by] Dimitri Konstantas, Jean-Paul Bourrieres, Michel Leonard. - New York [etc.] : Springer Verlag, 2005. - ISBN 1846281512. - p. 135-146

- Castano, Silvana - Ferrara, Alfio - Haus, Goffredo The MX Formalism for Semantic Web-Compatible Representation of Music Metadata / Silvana Castano, Alfio Ferrara, Goffredo Haus, Luca Andrea Ludovico, Stefano Montanelli, Gianpaolo Racca, Giancarlo Vercellesi. - In: Advances in Multimedia Information Systems: 11th International Workshop, MIS 2005 : Sorrento, Italy, September 19-21, 2005 : Proceedings / K. Selçuk Candan, Augusto Celentano (eds.). - Berlin [etc.] Springer Verlag, 2005. - ISBN 3540287922. - p. 78-92

- Cazzola, Walter [a]c#: c# with a Customizable Code Annotation Mechanism / Walter Cazzola, Antonio Cisternino, Diego Colombo. - In: Proceedings of the 10th Annual ACM Symposium on Applied Computing : Sante Fe, New Mexico / Lorie M. Liebrock (editor). - New York : ACM Press, 2005. - p. 1264-1268

- Cazzola, Walter AOP for Software Evolution: A Design Oriented Approach / Walter Cazzola, Sonia Pini, Massimo Ancona. - In: Proceedings of the 10th Annual ACM Symposium on Applied Computing : Sante Fe, New Mexico, March 13-17, 2005 / Lorie M. Liebrock (ed.). - New York : ACM Press, 2005. - ISBN 1581139640. - p. 1346-1350

- Cazzola, Walter Information, Knowledge and Interoperability for Healthcare Domain / Simonov Mikhail, Sammartino Luca, Ancona Massimo, Pini Sonia, Cazzola Walter, Frascio Marco. - In: Proceedings of the 1st International Conference on Automating Production of Cross Media Content for Multi-Channel Distribution (Axmedis 2005) / Nesi Paolo, Ng Kia, Delgado Jaime (eds.). - Piscataway : IEEE Computer Society Press, 2005. - ISBN 076952348X. - p. 35-42

Page 18: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Cazzola, Walter Knowledge Sharing and Decision Support System for Healthcare Professionals / Ancona Massimo, Pini Sonia,Cazzola Walter, Frascio Marco, Simonov Mikhail, Sammartino Luca. - In: Proceedings of the International Trade Event and Conference for eHealth, Telemedicine and Health ICT (Med-e-Tel 2005) / Malina Jordanova and Frank Lievens. - London : Royal Society of Medicine Press Ltd, 2005.

- Cazzola, Walter Metadata-Driven Library Design / Antonio Cisternino,Walter Cazzola,Diego Colombo. - In: Proceedings of Library-Centric Software Design Workshop (LCSD'05) / Lumsdaine Andrew,Schupp Sibylle. - Department of Computer Science, Texas A&M University, 2005 Oct.

- Cazzola, Walter On the Problems of the JPMs / Walter Cazzola,Antonio Cicchetti,Alfonso Pierantonio. - In: Proceedings of the 1st \ecoop Workshop on Models and Aspects (MAW'05) / Christa Schwannninger, Markus Voelter. - On-line: http://www.st.informatik.tu-darmstadt.de:8080/ecoop2005/maw/, 2005 Jul.

- Cazzola, Walter The Role of Design Information in Software Evolution / Walter Cazzola,Sonia Pini,Massimo Ancona. - In: Proceedings of the 2nd ecoop Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'05) / Walter Cazzola, Shigeru Chiba, Gunter Saake, Tom Tourwé. - Preprint No. 9/2005 of Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, 2005.

- Damiani, Maria Luisa - Perlasca, Paolo GEO-RBAC: a spatially aware RBAC. / Elisa Bertino, Barbara Catania, Maria Luisa Damiani, Paolo Perlasca. - In: Proceedings of the tenth ACM symposium on Access control models and technologies / Elena Ferrari and Gail-Joon Ahn. - New York : ACM Press, 2005. - ISBN 1-59593-045-0. - p. 29-37

- D'Antona, Ottavio - Marra, Vincenzo Brun normal forms for co-atomic Lukasiewicz logics / S. Aguzzoli, O.M. D'Antona, V. Marra. - (3571). - In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005 : Barcelona, Spain, July 6-8, 2005 : Proceedings / Lluis Godo (ed.). - Berlin [etc.] : Springer, 2005. - ISBN 3540273263. - p. 650-661.

- De Cindio, Fiorella Deliberative Community Networks / F. De Cindio, A. De Marco, L. Sonnante. - In: Joint Workshop on Decision Support Systems, Experimental Economics & e-Participation :June 5th-7th, 2005, Graz, Austria : workshop proceedings / Wolfgang Polasek. - Graz : University of Graz, 2005. - p. 213-216.

- De Cindio, Fiorella Deliberative Community Networks for local governance / F. De Cindio, A. De Marco, L. Sonnante. - In: Digital Cities: the Augmented Public Space : workshop in conjuction with the second International Conference on Communities and technologies : June 17-18, Milan, Italy / A. Aurigi, F. De Cindio. - Milano : Università degli Studi di Milano, 2005. - p. 101-108.

- De Cindio, Fiorella Technology for e-Democracy: a Classification based on Italian Best Practices / F. De Cindio, L. Sonnante. - In: Electronic Government - Workshop and Poster : Proceedings of the Fourth International EGOV Conference 2005 : August 22-26, 2005, Copenhagen, Denmark / K.V. Andersen, A. Grönlund, R. Traunmüller, M.A. Wimmer (eds.). - Trauner Verlag Universitat, 2005. - ISBN 3854878303. - p. 256-264.

- De Cindio, Fiorella Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities / M. Benini, F. De Cindio, L. Sonnante. - In: Digital Cities III : information technologies for social capital: cross-cultural perspectives : Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003 : revised selected papers / P. Van den Besselaar, S. Koizumi (eds.). - Berlin [etc.] : Springer, 2005. - ISBN 3540253319. - p. 217-232.

- Giudici, Francesco - Pagani, Elena ``Spatial and Traffic-Aware Routing (STAR) for Vehicular Systems'' / Francesco Giudici, Elena Pagani. - In: High Performance Computing and Communications, First International Conference, HPCC 2005 : Sorrento, Italy, September 21-23, 2005 : Proceedings / Laurence Yang, Omer Rana, Beniamino Di Martino, Jack Dongarra (editors). - Berlin [etc.] : Springer, 2005. - ISBN 3540290311. - p. 77-86.

- Haus, Goffredo Direct Processing of MPEG Audio Codes in Compressed Domain / Goffredo Haus,Giancarlo Vercellesi. - In: Atti del Congresso "La Ricerca in Italia fra Universita' ed Aziende" / AAVV. - Università di Como, 2005.

- Haus, Goffredo Estimating Quality of Playlists by Sight / Andreja Andric, Goffredo Haus. - In: The Proceedings of the First AXMEDIS International Conference / AAVV. - University of Florence, 2005 Nov. - p. 68-74.

- Haus, Goffredo State of the Art and New Results in Direct Manipulation of MPEG Audio Codes / Goffredo Haus,Giancarlo Vercellesi. - In: the Proceedings of Sound and Music Computing / AAVV. - Università di Salerno, 2005.

Page 19: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Maggiorini, Dario A Comparative Study of Multicast Protocols: Top, Bottom, or In the Middle? / Li Lao, Jun-Hong Cui, Mario Gerla, Dario Maggiorini. - (Proceedings IEEE, vol. 4). - In: Proceedings IEEE Infocom 2005 / edited by Kia Makki, Edward Knightly. - Piscataway : The IEEE Communications Society, 2005. - ISBN 0780389689. - p. 2809-2814.

- Maggiorini, Dario Continuous Media Adaptation for Mobile Computing Using Coarse-Grained Asyncronous Notifications / Dario Maggiorini, Daniele Riboni. - In: 2005 Symposium on Applications and the Internet / Mike Papazoglou, Katsuyuki Yamazaki. - IEEE Computer Society, 2005 Feb. - ISBN 0-7695-2232-7. - p. 162-165.

- Marini, Daniele Digital techniques for unsupervised color film restoration / A. Rizzi, C. Gatta, C. Slanzi, D. Marini. - In: Midech '05 : multimedia.information@design for cultural heritage '05 / Maurizio Rossi, Paolo Salonia. - Aracne editrice, 2005. - ISBN 8854800295

- Marini, Daniele Spectral information and spatial color computation / A. Rizzi, D. Gadia, D. Marini. - In: Color imaging X : processing, hardcopy, and applications / R. Eschbach, G.G. Marcu. - Proceedings of SPIE ; 5667. - SPIE press, 2005.

- Marini, Daniele Towards image-based measurement of perceived lightness applied to paintings lighting / M. Rossi, D. Gadia, A. Rizzi, D. Marini. - In: VAST 2005 : 6th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage, inc. 3rd Eurographics Workshop on Graphics and Cultural Heritage : proceedings / M. Mudge, N. Ryan, R. Scopigno. - Eurographics association, 2005

- Mazzoleni, Pietro P-Hera: Scalable fine-grained access control for P2P infrastructures. / B. Crispo, S. Sivasubramanian, P. Mazzoleni, and E. Bertino. - In: Proceedings of the eleventh International Conference on Parallel and Distributed Systems : July 20-22, 2005, Fukuoka, Japan / edited by Leonard Barolli. - Los Alamitos : IEEE Computer Society, 2005. - p. 585-591 (vol. 1)

- Mesiti, Marco Approximate Subtree Identification in Heterogeneous XML Documents Collections / Ismael Sanz, Marco Mesiti, Giovanna Guerrini, Rafael Berlanga Llavori1. - In: Database and XML Technologies: Third International XML Database Symposium, XSym 2005 : Trondheim, Norway, August 28-29, 2005 : Proceedings / Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsène, Michael Rys, Rainer Unland (eds.). - Berlin [etc.] : Springer, 2005. - ISBN 3540285830. - p. 192-206.

- Mesiti, Marco A CUSTOMIZABLE SEMANTIC-BASED P2P SYSTEM / Marco Mesiti, Viviana Mascardi, Giovanna Guerrini. - In: Proceedings of IADIS International Conference of WWW/Internet / Pedro Isaias, Miguel Baptista Nunes. - IADIS: International association for development of the information society, 2005 Oct 19. - ISBN 972892402X. - p. 403-410.

- Mesiti, Marco Impact of XML schema evolution on valid documents / Giovanna Guerrini, Marco Mesiti, Daniele Rossi. - In: Proceedings of the 7th ACM international workshop on Web information and data management : November 5, 2005, Bremen, Germany / Angela Bonifati, Dongwon Lee and Marc Rothaler, editors. - New York : ACM Press, 2005. - ISBN 1595931945. - p. 39-44.

- Mesiti, Marco A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network / Giovanna Guerrini, Viviana Mascardi, Marco Mesiti. - In: Proceedings of Third International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2005) / Sonia Bergamaschi, Gianluca Moro, Aris M. Ouksel. - VLBD 2005. - p. 150-162.

- Monga, Mattia Assessing the risk of using vulnerable components / Davide Balzarotti,Mattia Monga,Sabrina Sicari. - In: Proceedings of the First Workshop on Quality of Protection / n/a. - n/a, 2005 Sep.

- Monga, Mattia A Generic Serializer for Mobile Devices / Mattia Monga, Angelo Scotto. - In: The 20th Annual ACM Symposium on Applied Computing : Santa Fe, New Mexico, March 13-17, 2005 / Lorie M. Liebrock. - New York : ACM Press, 2005. - ISBN 1581139640. - p. 981-985.

- Monga, Mattia Slicing AspectJ Woven Code / Davide Balzarotti, Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga. - In: FOAL 2005 : Proceedings Foundations of Aspect-Oriented Languages Workshop at AOSD 2005 / Curtis Clifton, Ralf Lammel, Gary T. Leavens (editors). - Ames : Iowa State University. - p. 27-32

- Pagani, Elena ``Functional Architecture of a Web-Based Distributed System for University Curricula Support'' / Philip Grew, Ivan Longhi, Elena Pagani. - In: Proceedings of the Fourth IASTED International Conference on Web-Based education : february 21-23, 2005, Grindewald, Switzerland / editor Vladimir Uskov. - Calgary : ACTA Press, 2005. - ISBN 0889864802. - p. 332-337.

Page 20: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Pighizzini, Giovanni Complementing two-way finite automata / Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini. - (Lecture notes in computer science ; 3572). - In: Developments in language theory : 9th international conference, DLT 2005 : Palermo, Italy, July 2005 : proceedings / Clelia De Felice, Antonio Restivo (eds). - Berlin : Springer, 2005. - ISBN 3540265465. - p. 260-271.

- Trentini, Andrea Evaluating Web Applications Testability by Combining Metrics and Analogies / lessandro Marchetto, Andrea Trentini. - In: ITI 3rd International Conference on Information and Communication Technology - ICIT 2005 : Enabling Technologies for the New Knowledge Society : December 2005, Cairo, Egypt : proceedings / edited by Mohamed A. Salem, Mahmoud T. El-Hadidi. - Piscatawy : IEEE, 2005. - p. 751-779

- Trentini, Andrea Plan validation via Petri Nets in the Real-Time Performers Java framework / Andrea Trentini, Daniela Micucci. - In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC) : Santa Fe, New Mexico, USA, March 13-17, 2005 / Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright (eds.). - New York : ACM Press, 2005. - ISBN 1581139640. - p. 1534-1538

- Trentini, Andrea The Role of the Leader in the Mobbing Processes / Giancarlo Trentini, Massimo Bustreo, Andrea Trentini, Maria Cristina Bolla. - In: Atti del XII European Congress of Work and Organizational Psychology dell'EAWOP : Istanbul, Turchia, 12-15 maggio 2005 / n.a.. - n.a., 2005.

- Trentini, Andrea Web Applications testing: a metrics and instance based learning approach / Alessandro Marchetto, Andrea Trentini. - In: nd International Workshop on Hypermedia and Web Engineering (HTWE 2005) in conjunction with Sixteenth ACM Conference on Hypertext and Hypermedia (Hypertext 2005) / n.a.. - n.a., 2005. _________________________________________________________________

Contributi in volume

- Barate', Adriano - Haus, Goffredo Music Analysis and Modeling through Petri Nets / Adriano Baraté,Goffredo Haus,Luca Andrea Ludovico. - In: Computer Music Modeling and Retrieval: Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers / Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad (eds.). - Berlin [etc.] : Springer Verlag, 2006. - ISBN 3540340270 . - p. 201-218.

- Benassi, Mario Assetti produttivi e modularità / Mario Benassi. - In: Le strategie dell'impresa / a cura di Luciano Pilotti. - Roma : Carocci Editore, 2005. - ISBN 8843032895

- Benassi, Mario La nascita di nuove idee in Università e fuori / Mario.Benassi, Francesco.Perrini. - In: Il finanziamento dell'innovazione/ Alessandro Marino. - Padova : CEDAM, 2005. - ISBN 881325637X

- Benassi, Mario Producitivity in projects and the distribution of knowledge in organizations / Arent Greve, Mario Benassi. - In:. New perspectives on organizational change and learning / Rune Lines,Inger Stensaker, Ann Langley (eds.). - Bergen : Fagbokforlaget, 2005.- ISBN 824502887

- Besozzi, Daniela P system models for mechanosensitive channels / I.I. Ardelean, D. Besozzi, M.H. Garzon, G. Mauri, S. Roy. - In: Applications of Membrane Computing / G. Ciobanu, M.J. Perez-Jimenez, G. Paun (eds.) - Berlin [etc.] : Springer-Verlag, 2005. - p. 43-80.

- Capra, Lorenzo A high level language for structural relations in well-formed nets / Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis. In: Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005 : Miami, USA, June 20-25, 2005 : Proceedings / Gianfranco Ciardo, Philippe Darondea (eds.). - Berlin [etc.] : Springer, 2005. - ISBN 3540263012. - p.168--187. _________________________________________________________________

Libri

- Benassi, Mario Economia e gestione di impresa / Mario.Benassi. - Padova : CEDAM, 2005. - ISBN 8813255896

- Castano, Silvana Sistemi di basi di dati - Complementi / R.A.Elmasri, S.B. Navathe. - Pearson - Addison Wesley, 2005.

Page 21: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

- Cazzola, Walter Proceedings of the 2nd ecoop Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'05) / Walter Cazzola,Shigeru Chiba,Gunter Saake and Tom Tourwè. - Magdeburg : Otto-von-Guericke-Universität. - UPreprint No. 9/2005 of Fakultät f\ür Informatik,Otto-von-Guericke-Universität Magdeburg, 2005 Nov.

- Pighizzini, Giovanni Dai fondamenti agli oggetti. Corso di programmazione Java / Giovanni Pighizzini, Mauro Ferrari. - 2.ed.- Milano : Pearson Education, 2005. - ISBN 887192250 6. _________________________________________________________________

Relazioni interne o rapporti di ricerca

- Damiani, Maria Luisa Controllo dell'accesso a dati spaziali basati su ruoli: un primo prototipo / Maria Luisa Damiani, Matteo Carati. - 2005.

- Pighizzini, Giovanni Seventh International Workshop on Descriptional Complexity of Formal Systems (DCFS 2005), Proceedings / Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini, Detlef Wotschke. - Dipartimento di Informatica e Comunicazione, 2005 Jun. _________________________________________________________________

Altro

- Benassi, Mario Looking for a sustainable theory on communities / Mario.Benassi Mariano.Corso

- Benassi, Mario Marketing delle tecnologie e sviuppo delle comunità: oltre la dialettica user-producer / Mario.Benassi

- Bertino, Elisa - Damiani, Maria Luisa Report Finale Progetto Valchiavenna / I partecipanti al progetto Valchiavenna. Il report e' pubblicato sul sito del progetto: http://www.valchiavenna.unimi.it/web/report2004/index.htm _________________________________________________________________

Riepilogo Dipartimento di Informatica e Comunicazione - Articoli su rivista 17 - Interventi a convegno 65 - Contributi in volume 6 - Libri 4 - Relazioni interne o rapporti di ricerca 2 - Altro 3

_________________________________________________________________

Questo documento è stato redatto in base alle registrazioni relative all'anno 2005 pubblicate nell'Archivio Istituzionale della Ricerca alla data del 14 luglio 2006. I dati completi delle registrazioni sono consultabili alla pagina internet air.unimi.it

Page 22: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

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, presidente 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. 3. NEWBUSINESSLAB (resp. Prof. Mario Benassi) Partecipazione di New Business Lab alle iniziative di Business Competition sviluppate in accordo con la Provincia. 4. CENTRO INTERDIPARTIMENTALE DI RICERCA “AMBIENTE ALPINO: CONOSCENZA

EVOLUZIONE GESTIONE” (resp. Prof. Piero Mussio) Promotore e rappresentante del DICO nel comitato scientifico del Centro Interdipartimentale di Ricerca “Ambiente alpino. Conoscenza evoluzione gestione” dell'Università di Milano.

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

NOMINATIVO ORGANO DI APPARTENENZA GOFFREDO HAUS - Coordinatore del corso di laurea in Scienze e Tecnologie della Comunicazione

Musicale - Membro della Commissione Master della Facoltà di Scienze MMFFNN - Membro della Commissione d’Ateneo per la formazione post-laurea (presieduta dal pro-rettore Regini) in rappresentanza della Facoltà di Scienze MMFFNN - Membro della Commissione d’Ateneo per i beni culturali (presieduta dal pro-rettore Sironi) in rappresentanza della Facoltà di Scienze MMFFNN - Membro della Commissione Edilizia per la realizzazione del Campus Informatico di Via San Faustino - Membro della redazione di “Sistema Università”

GIAN PAOLO ROSSI - Coordinatore del corso di laurea in Informatica per le Telecomuncazioni DANIELE MARINI - Senato Accademico

GIOVANNI PIGHIZZINI - Comitato d'area Informatica

- Giunta della Facoltà di Scienze Matematiche, Fisiche e Naturali - Presidente del CCD di Scienze e Tecnologie Informatiche

Page 23: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

ALESSANDRA AGOSTINI - Commissione strategie informatiche della Facoltà di Scienze Politiche

OTTAVIO D’ANTONA - Responsabile della classe di Specializzazione 42/A – Informatica in ambito SILSIS - Responsabile dei corsi di abilitazione per ITP delle classi AD18 e AD6

SILVANA CASTANO - Commissione per la Ricerca Scientifica e il Trasferimento Tecnologico (Presidente Comitato Area A06 Scienze Informatiche)

PIERO MUSSIO - Coordinatore del corso di laurea in Comunicazione Digitale

DANILO BRUSCHI - Presidente della Commissione del Servizio Informatica TRENTINI ANDREA - Membro del Servizio Informatica MATTIA MONGA - Membro del Servizio Informatica MARIA LUISA DAMIANI Partecipazione ai consigli di coordinamento didattico :

- Scienze Umanistiche per la Comunicazione, - Scienze Umane per l’Ambiente il Territorio e il Paesaggio, - Scienze e Tecnologie Informatiche

9. Dati di contesto didattico

No. totale insegnamenti tenuti da docenti afferenti alla struttura 62No. insegnamenti corsi di laurea 63No. insegnamenti corsi di diploma universitario 0No. insegnamenti corsi di scuole di specializzazione 0No. insegnamenti corsi di scuole di perfezionamento 5No. insegnamenti corsi di dottorati 2No. insegnamenti corsi di scuole post-laurea 3No. corsi di aggiornamento 0No. totale esami tenuti da docenti afferenti alla struttura 3415No. esami profitto corsi di laurea 3407No. esami profitto corsi di diploma universitario 8No. esami profitto scuole di specializzazione 0No. esami profitto scuole di perfezionamento 0No. tesi di laurea 257No. tesine di diploma 4No. tesi di specialità 0No. dottorati di ricerca con sede amministrativa presso la struttura 0No. dottorati di ricerca con sede amministrativa esterna 0No. dottori di ricerca che hanno conseguito il titolo 0No. di tirocinanti 287No. programmi di tutoraggio 0No. professori a contratto, lettori e docenti di corsi di sostegno 0

Page 24: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

10. Commento conclusivo del direttore

Presentazione: Alla fine del 2005 afferivano al Dipartimento di Informatica e Comunicazione (DICO) 35 professori e ricercatori; il personale non docente del Dipartimento consisteva in 13 tecnici e amministrativi. Ricerca: Il DICO è 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. L'attività di ricerca complessiva è di livello eccellente, come documentato dalle pubblicazioni, collaborazioni, progetti, seminari e soprattutto dalle valutazioni per il CIVR che collocano il DICO in primo piano tra le strutture dipartimentali dell'ateneo. 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) e da progetti eseguiti dal Dipartimento che hanno impatto con il territorio del milanese (come i progetti per il Teatro alla Scala, per BMG-Ricordi, per il Museo della Scienza e della Tecnologia, per Siemens e per Assintel), a livello nazionale (come i progetti per il Ministero per i Beni e le Attività Culturali, per E21-Agenda 21, per l’Ente Comunità Montana, per Informatica per il Territorio (WIL), per Datanet, per Vodafone, per GN Resound) e a livello internazionale (come i progetti per il Teatro Bolshoi, per la IEEE Computer Society e per Microsoft). Più analiticamente, le principali attività di ricerca del DICO possono essere divise nei seguenti settori:

• Linguaggi Formali, Algoritmi e Complessità

Nell'ambito dello studio della complessità descrizionale dei sistemi formali si è analizzata la complessità descrizionale di vari modelli di automi a stati finiti unari, con implicazioni su questioni rilevanti di complessità strutturale. Si sono inoltre approfondite le relazioni tra la complessità descrizionale di automi e quella di grammatiche. Si sono approfonditi argomenti di crittografia e matematica combinatoria (costanti di connessione, politopi). Particolare attenzione è stata inoltre prestata all'ambito della bioinformatica, in particolare al calcolo con membrane.

• Sistemi Distribuiti, Mobile Computing e Reti di Calcolatori La ricerca nel campo delle reti di calcolatori e dei sistemi distribuiti ha riguardato la comunicazione peer-to-peer a supporto di web semantico, i protocolli di routing, anche multicast, per sistemi mobili ad hoc e veicolari, i protocolli per la gestione di flussi con qualita' di servizio per applicazioni basate su Internet e lo sviluppo di un sistema per la gestione di profili di utenti mobili e connessi in rete via dispositivi wireless (PDA, notebook). Inoltre, sono state analizzate le tecniche per la valutazione della vulnerabilit√ di sistemi e applicazioni e sono stati progettati strumenti originali per garantire la sicurezza delle comunicazioni in rete.

• 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.

• Interazione uomo-macchina La disciplina Uomo-Macchina studia i fenomeni che caratterizzano i processi di calcolo interattivo, nonchè le tecniche di specifica, implementazione e valutazione dei sitemi che permettono la realizzazione di tali processi. In questo quadro si sono sviluppate linee di ricerca sui modelli di descrizione e specifica formale dei processi di interazione uomo-macchina, approfondendo le tecniche di specifica mediante sistemi di riscrittura puri di multiinsiemi e il loro uso nello sviluppo di sistemi interattivi. Le linee di ricerca hanno un carattere sperimentale, in quanto i metodi di specifica ed implemetazione vengono provati in casi reali, mediante lo sviluppo e la validazione di prototitpi di sistemi adattivi specializzati ad un certo dominio.

• Informatica musicale

Page 25: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Nell'ambito dell'informatica musicale: è stata definita una rappresentazione multistrato di informazione musicale basata su XML per l’integrazione – orientata alll’interazione – dei livelli di partitura simbolica, MIDI e audio digitale; si sono analizzati problemi di segmentazione automatica di partiture e di segnali audio; si sono progettati e sviluppati prototipi per la elaborazione di informazione musicale direttamente in formato compresso MP3.

• Sistemi innovativi di gestione di dati e conoscenza in sistemi distribuiti aperti L’attività di ricerca è articolata su più filoni di ricerca. Un primo filone di ricerca riguarda lo studio di metodi e tecniche per la condivisione dinamica di conoscenza in sistemi di tipo Peer-to-Peer (P2P). Sono state definite una metodologia e una architettura funzionale di riferimento per la condivisione dinamica di conoscenza in reti P2P pure, ovvero reti in cui non sono previsti peer con funzionalita' di super-peer. A partire dai precedenti risultati di ricerca relativamente all'integrazione semantica di sorgenti informative eterogenee, si sono studiate tecniche configurabili di ontology matching per il confronto dinamico di probe query in arrivo ad un peer con l'ontologia di un peer, al fine di individuare una lista di concetti con cui comporre le risposte da inoltrare nella rete. Un secondo filone di ricerca riguarda la sicurezza nei sistemi di basi di dati e nelle architetture Grid. In particolare, si sono analizzati e confrontati i meccanismi di controllo dell'accesso e le politiche amministrative con l’obiettivo di individuare il potere espressivo e le caratteristiche di tali modelli. Si sono inoltre studiati sistemi di sicurezza per architetture Grid. Infine, si sono inoltre studiate soluzioni per l'integrazione di basi di dati e tecniche di realtà virtuale per la diffusione di beni culturali. Didattica e formazione: Una caratteristica di rilievo è il contributo pronto e rilevante del DICO all’organizzazione e attivazione di iniziative didattiche, in risposta alle nuove richieste di formazione poste dalla società. In particolare, i corsi di studio cui il DICO contribuisce in modo determinante sono i seguenti:

- Laurea triennale in Informatica, Classe delle Scienze e Tecnologie Informatiche; - Laurea triennale in Comunicazione Digitale, Classe delle Scienze e Tecnologie Informatiche; - Laurea triennale in Informatica per le Telecomunicazioni, Classe delle Scienze e Tecnologie Informatiche; - Laurea triennale in Scienze e Tecnologie per la Comunicazione Musicale, Classe delle Scienze della

Comunicazione; - Laurea Specialistica in Informatica, Classe delle Scienze e Tecnologie Informatiche; - Laurea Specialistica in Tecnologie dell’Informazione e Comunicazione, Classe delle Scienze e Tecnologie

Informatiche. Il Dipartimento è sempre impegnato nel compimento ad esaurimento dei corsi del vecchio ordinamento (corso di Laurea in Scienze dell’Informazione, 4 anni; corso di Laurea in Informatica, 5 anni; Diploma in Informatica, 3 anni). E’ stato attivato un corso di master di I livello:

- 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 di Medicina. Il DICO sostiene infine la formazione alla ricerca sia nel dottorato di Informatica che nel dottorato di Matematica per le Scienze Computazionali. Conclusioni:L'offerta formativa diversificata su quattro lauree triennali e due lauree magistrali è stata sostenuta con generosità dai colleghi docenti e dal personale tecnico-amministrativo, nonostante le difficili condizioni (rapporto docenti/studenti 1:60). L'eccellente risultato derivato dalla valutazione CIVR, è stato certamente per il DICO motivo di orgoglio e consapevolezza della consistenza dei propri gruppi di ricerca. Peraltro, il forte carico individuale di attività didattiche, in parte compensata dalla politica di riequilibrio adottata dalla Facoltà di Scienze MM.FF.NN, è stato accompagnato dalla saturazione degli spazi dedicati a tali attività, in parte in via Comelico e in parte a Città Studi. Pur essendo stati introdotti significativi miglioramenti per la disponibilità di aule didattiche informatizzate, avendo ricavato due ulteriori nuove aule (aule omega e sigma oltre alle già disponibili aula alfa, beta, gamma e delta), pur essendo stati ristrutturati sia la segreteria didattica che numerosi laboratori di ricerca per recuperare spazio, tutte le strutture sono utilizzate ormai a ciclo continuo e sempre più spesso si dimostrano insufficienti specie per le attività formative basate su aule informatiche attrezzate. In attesa dell'edificazione del nuovo campus informatico di via San Faustino, è stato ottenuto dalla nostra amministrazione - in data 29/5/2006 USM prot. 0027420 - uno spazio significativo a supporto delle attività di ricerca presso il settore didattico (area ex-CTU), comprendente locali per le esigenze formative del corso di laurea in Scienze e

Page 26: Dipartimento Di Informatica E Comunicazione - unimi.it · Mazzoleni Pietro " 0250316298 pietro.mazzoleni@unimi.it ... Tanzi Dante " 0250316408 dante.tanzi@unimi.it ... Dott. Emanuel

Tecnologie della Comunicazione Musicale, per la realizzazione del teatro "virtuale" e per le esigenze dei laboratori di ricerca dell'area informatica di Milano (DICO e DSI). Resta l'esigenza - che ci si augura possa essere a breve soddisfatta - di avere la disponibilità di aule informatizzate adeguate per qualità e quantità presso il settore didattico, o comunque nell'area di Città Studi, prima di tutto per poter attuare una didattica appropriata dell'informatica per tutte le are disciplinari della Facoltà di Scienze M.FF.NN. ma anche per razionalizzare la distribuzione logistica dei corsi rispetto agli anni di corso delle lauree triennali ovvero per ridurre gli spostamenti in massa degli studenti da una sede all'altra, tra via Comelico e Città Studi.