MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ E DELLA RICERCA


Anagrafe dei dottorati - a.a. 2013/2014
codice = DOT1303952


1. Informazioni generali



Ateneo Proponente

Università degli Studi di BOLOGNA


Corso di Dottorato

Denominazione del corso COMPUTER SCIENCE AND ENGINEERING 
Anno Accademico 2013/2014  
Ciclo XXIX 
Il corso è: Trasformazione da anagrafe 2012 
Data del bando 23/07/2013 
Data presunta di inizio del corso 01/01/2014 
Durata prevista 3 ANNI 
Dipartimento/Struttura scientifica proponente Informatica - Scienza e Ingegneria 
Dottorato in collaborazione con le imprese/dottorato industriale (art. 11 del regolamento): SI 
Il corso fa parte di una Scuola? NO 
Presenza di eventuali curricula? NO 


Trasformazione di Dottorati dall'anagrafe 2012

Ateneo Corso di Dottorato
Università degli Studi di BOLOGNA  DOT0303952 - INFORMATICA 


Ambito

Settori scientifico disciplinari interessati Macrosettore concorsuale interessato Aree interessate Indicare il peso percentuale di ciascuna area
INF/01  01/B - INFORMATICA  01 - Scienze matematiche e informatiche  51,00 
ING-INF/05  09/H - INGEGNERIA INFORMATICA  09 - Ingegneria industriale e dell'informazione  49,00 
TOTALE        100,00 


Tipo di organizzazione

1) Singola Università
 


Sede amministrativa

Ateneo Università degli Studi di BOLOGNA 
N° di borse finanziate 7 


Obiettivi formativi

Il dottorato di ricerca in Computer Science and Engineering ha durata triennale e offre una preparazione ad ampio spettro che, nello spirito del DISI, considera sia aspetti scientifici che aspetti ingegneristici dell'informatica.


Sbocchi occupazionali e professionali previsti

Accademia e ruoli manageriali nell'industria.

Note



2. Collegio dei docenti



Membri del collegio (Personale Docente delle Università Italiane)

n. Cognome Nome Ateneo Dipartimento/Struttura Ruolo Qualifica Macro-settore concorsuale Area Ordine Stato inserimento pubblicazioni
1. BABAOGLU   Ozalp       Altro Componente      01     non ancora inserite 
2. ROCCETTI   Marco       Componente del gruppo dei 16 docenti      01     non ancora inserite 
3. ASPERTI   Andrea       Componente del gruppo dei 16 docenti      01     non ancora inserite 
4. BERTOSSI   Alan Albert       Componente del gruppo dei 16 docenti      01     non ancora inserite 
5. CIANCARINI   Paolo       Componente del gruppo dei 16 docenti      01     non ancora inserite 
6. DONATIELLO   Lorenzo       Altro Componente      01     non ancora inserite 
7. LANEVE   Cosimo       Altro Componente      01     non ancora inserite 
8. GABBRIELLI   Maurizio       Coordinatore      01     non ancora inserite 
9. MARTINI   Simone       Altro Componente      01     non ancora inserite 
10. PANZIERI   Fabio       Altro Componente      01     non ancora inserite 
11. SANGIORGI   Davide       Componente del gruppo dei 16 docenti      01     non ancora inserite 
12. MONTESI   Danilo       Altro Componente      01     non ancora inserite 
13. MANIEZZO   Vittorio       Altro Componente      01     non ancora inserite 
14. ZAVATTARO   Gianluigi       Componente del gruppo dei 16 docenti      01     non ancora inserite 
15. CIACCIA   Paolo       Componente del gruppo dei 16 docenti      09     non ancora inserite 
16. CORRADI   Antonio       Componente del gruppo dei 16 docenti      09     non ancora inserite 
17. MAIO   Dario       Altro Componente      09     non ancora inserite 
18. MELLO   Paola       Altro Componente      09     non ancora inserite 
19. NATALI   Antonio       Altro Componente      09     non ancora inserite 
20. SARTORI   Claudio       Altro Componente      09     non ancora inserite 
21. DI STEFANO   Luigi       Componente del gruppo dei 16 docenti      09     non ancora inserite 
22. BONONI   Luciano       Componente del gruppo dei 16 docenti      01     non ancora inserite 
23. DENTI   Enrico       Altro Componente      09     non ancora inserite 
24. MILANO   Michela       Componente del gruppo dei 16 docenti      09     non ancora inserite 
25. OMICINI   Andrea       Componente del gruppo dei 16 docenti      09     non ancora inserite 
26. RIZZI   Stefano       Componente del gruppo dei 16 docenti      09     non ancora inserite 
27. VIROLI   Mirko       Componente del gruppo dei 16 docenti      09     non ancora inserite 
28. BELLAVISTA   Paolo       Componente del gruppo dei 16 docenti      09     non ancora inserite 


Membri del collegio (Personale non accademico dipendente di altri Enti e Personale docente di Università Straniere)

n. Cognome Nome Ruolo Ateneo/Ente di appartenenza Tipo di ente: Paese Dipartimento/Struttura Qualifica Area ERC




Produzione scientifica dei membri del collegio dal 2008 al 2012: (Personale docente delle Università italiane)

n. Autore Eventuali altri autori Anno di pubblicazione Tipologia pubblicazione Titolo (della pubblicazione) Denominazione (rivista, editore, convegno, altro) ISSN/ISBN DOI Altre coordinate editoriali (vol, nn pagg..) Ordine
1. BONONI Luciano   BONONI L.;DI FELICE M.;D’ANGELO G.;BRACUTO M.;DONATIELLO L.   2008   Articolo in rivista   MoVES: a Framework for Parallel and Distributed Simulation of Wireless Vehicular Ad Hoc Networks   COMPUTER NETWORKS,,   ISSN: 1389-1286   10.1016/j.comnet.2007.09.015   vol. 52, No. 1 p. 155 - 179    
2. BONONI Luciano   CONCER N.;BONONI L.;SOULIE' M.;LOCATELLI R.;CARLONI L. P.   2010   Articolo in rivista   The Connection-Then-Credit Flow Control Protocol for Heterogeneous Multicore Systems-on-Chip   IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,,   ISSN: 0278-0070   10.1109/TCAD.2010.2048592   vol. Vol. 29 No.6 p. 869 - 882    
3. BONONI Luciano   BONONI L;DI FELICE M;MOLINARO A;PIZZI S   2011   Articolo in rivista   Enhancing multi-hop communication over multi-radio multi-channel wireless mesh networks: A cross-layer approach   COMPUTER COMMUNICATIONS,,   ISSN: 0140-3664   10.1016/j.comcom.2010.12.002   vol. 34 (13) p. 1559 - 1569    
4. BONONI Luciano   DI FELICE M;CHOWDHURY KR;KIM W;KASSLER A;BONONI L   2011   Articolo in rivista   End-to-end Protocols for Cognitive Radio Ad Hoc Networks: An Evaluation Study   PERFORMANCE EVALUATION,,   ISSN: 0166-5316   10.1016/j.peva.2010.11.005   vol. 68 (9) p. 859 - 875    
5. BONONI Luciano   DI FELICE M;DOOST-MOHAMMADY R;CHOWDHURY KR;BONONI L   2012   Articolo in rivista   Smart Radios for Smart Vehicles: Cognitive Vehicular Networks   IEEE VEHICULAR TECHNOLOGY MAGAZINE,,   ISSN: 1556-6072   10.1109/MVT.2012.2190177   vol. 7 (2) p. 26 - 33    
6. CIANCARINI Paolo   A. BOLOGNESI;P. CIANCARINI;G. FAVINI   2010   Articolo in rivista   Progress through Uncertainty in some Kriegspiel endings   IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES,,   ISSN: 1943-068X   10.1109/TCIAIG.2010.2048711   vol. 2:2 p. 99 - 110    
7. CIANCARINI Paolo   P.CIANCARINI;G. FAVINI   2010   Articolo in rivista   Monte Carlo Tree Search in Kriegspiel   ARTIFICIAL INTELLIGENCE,,   ISSN: 0004-3702   10.1016/j.artint.2010.04.017   vol. 174:11 p. 670 - 684    
8. CIANCARINI Paolo   P.CIANCARINI;G. FAVINI   2010   Articolo in rivista   Playing the perfect Kriegspiel endgame   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2010.05.019   vol. 411:(40/42) p. 3563 - 3577    
9. CIANCARINI Paolo   Paolo Ciancarini;Angelo Di Iorio;Luca Furini;Fabio Vitali   2012   Articolo in rivista   High-quality pagination for publishing   SOFTWARE, PRACTICE AND EXPERIENCE,,   ISSN: 1097-024X   10.1002/spe.1096   vol. 42 p. 733 - 751    
10. CIANCARINI Paolo   Andrea Giovanni Nuzzolese;Aldo Gangemi;Valentina Presutti;Paolo Ciancarini   2011   Contributo in Atti di convegno   Encyclopedic Knowledge Patterns from Wikipedia Links.   ,Springer NEW YORK,Int Conf on the Semantic Web October Bonn, Germany   ISBN: 9783642250729     vol. LNCS 7032 p. 520 - 536    
11. GABBRIELLI Maurizio   M. GABBRIELLI;M.C. MEO   2009   Articolo in rivista   A compositional semantics for CHR   ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,,   ISSN: 1529-3785   10.1145/1462179.1462183   vol. 10(2) p. ? - ?    
12. GABBRIELLI Maurizio   M. GABBRIELLI;S. MARTINI   2010   Monografia o trattato scientifico   Programming Languages: Principles and Paradigms   ,Springer LONDON DORDRECHT HEIDELBERG,   ISBN: 978-1-84882-913-8        
13. GABBRIELLI Maurizio   N. BUSI;M. GABBRIELLI;G. ZAVATTARO   2009   Articolo in rivista   On the expressive power of recursion, replication and iteration in process calculi   MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,,   ISSN: 0960-1295   10.1017/S096012950999017X   vol. 19(6) p. 1191 - 1222    
14. GABBRIELLI Maurizio   Cinzia Di Giusto;Maurizio Gabbrielli;Maria Chiara Meo   2012   Articolo in rivista   On the Expressive Power of Multiple Heads in CHR   ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,,   ISSN: 1529-3785   10.1145/2071368.2071374   vol. 13(1):6 p. 416 - 434    
15. GABBRIELLI Maurizio   Dalla Preda M;Gabbrielli M;Guidi C;Mauro J;Montesi F:   2012   Contributo in Atti di convegno   Service integration via target-transparent mediation.   ,IEEE Computer Society Press ,SOCA 2012 Dec. 17-19, 2012 Taiwan   ISBN: 978-1-4673-4773-0        
16. SARTORI Claudio   STEFANO LODI;GIANLUCA MORO;CLAUDIO SARTORI   2010   Articolo in rivista   Distributed Data Clustering in Multi-Dimensional Peer-To-Peer Networks   AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS,,   ISSN: 0157-3055     vol. Volume 32, Number 3 p. 171 - 178    
17. SARTORI Claudio   F. ANGIULLI;S. BASTA;S. LODI;C. SARTORI   2010   Contributo in Atti di convegno   A Distributed Approach to Detect Outliers in Very Large Data Sets   ,Springer Berlin Heidelberg,16th International Euro-Par Conference August 31 - September 3, 2010 Ischia, Italia   ISBN: 3-642-15276-7     p. 329 - 340    
18. SARTORI Claudio   S. LODI;R. ÑANCULEF;C. SARTORI   2010   Contributo in Atti di convegno   Single-Pass Distributed Learning of Multi-class SVMs Using Core-Sets   ,SIAM Philadelphia,2010 SIAM International Conference on Data Mining April 29 - May 1, 2010 Columbus, Ohio   ISBN: 978-0-898717-03-7     p. 257 - 268    
19. SARTORI Claudio   Sonia Bergamaschi;Francesco Guerra;Mirko Orsini;Claudio Sartori;Maurizio Vincini   2011   Articolo in rivista   A semantic approach to ETL technologies   DATA & KNOWLEDGE ENGINEERING,,   ISSN: 0169-023X   10.1016/j.datak.2011.03.003   vol. 70 p. 717 - 731    
20. SARTORI Claudio   EMANUELE FRANDI;MARIA GRAZIA GASPARO;STEFANO LODI;RICARDO ÑANCULEF;CLAUDIO SARTORI   2010   Contributo in Atti di convegno   A New Algorithm for Training SVMs using Approximate Minimal Enclosing Balls   ,SPRINGER HEIDELBERG,15th Iberoamerican Congress on Pattern Recognition, CIARP 2010 November 8-11, 2010 Sao Paulo, Brazil   ISBN: 978-3-642-16686-0     vol. LNCS 6419 p. 87 - 95    
21. MELLO Paola   M. ALBERTI;F. CHESANI;M. GAVANELLI;E. LAMMA;P. MELLO;P. TORRONI   2008   Articolo in rivista   Verifiable agent interaction in abductive logic programming: the SCIFF framework   ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,,   ISSN: 1529-3785   10.1145/1380572.1380578   vol. 9(4), article 29 p. 1 - 43    
22. MELLO Paola   M. MONTALI;M. PESIC;W. M. P. VAN DER AALST;F. CHESANI;P. MELLO;S. STORARI   2010   Articolo in rivista   Declarative Specification and Verification of Service Choreographies   ACM TRANSACTIONS ON THE WEB,,   ISSN: 1559-1131   10.1145/1658373.1658376   vol. 4 p. 1 - 62    
23. MELLO Paola   D. SOTTARA;P. MELLO;M. PROCTOR   2010   Articolo in rivista   A configurable rete-oo engine for reasoning with different types of imperfect information   IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING,,   ISSN: 1041-4347   10.1109/TKDE.2010.125   vol. 22 (11) p. 1535 - 1548    
24. MELLO Paola   M. Montali;P. Torroni;N. Zannone;P. Mello;V. Bryl   2011   Articolo in rivista   Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,,   ISSN: 1387-2532   10.1007/s10458-010-9135-4   vol. 23 p. 193 - 223    
25. MELLO Paola   LUCCARINI L.;BRAGADIN G.L.;COLOMBINI G.;MANCINI M.;MELLO P.;MONTALI M.;SOTTARA D.   2010   Articolo in rivista   Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant   ENVIRONMENTAL MODELLING & SOFTWARE,,   ISSN: 1364-8152   10.1016/j.envsoft.2009.05.013   vol. 25 p. 648 - 660    
26. BABAOGLU Ozalp   H. MELING;A. MONTRESOR;B. HELVIK;O. BABAOGLU   2008   Articolo in rivista   Jgroup/ARM: a distributed object group platform with autonomous replication management   SOFTWARE-PRACTICE & EXPERIENCE,,   ISSN: 0038-0644   10.1002/spe.853   vol. 38 p. 885 - 923    
27. BABAOGLU Ozalp   M. JELASITY;A. MONTRESOR;O. BABAOGLU   2009   Articolo in rivista   T-Man: Gossip-based Fast Overlay Topology Construction   COMPUTER NETWORKS,,   ISSN: 1389-1286   10.1016/j.comnet.2009.03.013   vol. 53 p. 2321 - 2339    
28. BABAOGLU Ozalp   O. BABAOGLU;M. JELASITY   2008   Articolo in rivista   Self-* properties through gossiping   PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A: MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES,,   ISSN: 1364-503X   10.1098/rsta.2008.0122   vol. 366 p. 3747 - 3757    
29. BABAOGLU Ozalp   M. Marzolla;O. Babaoglu;F. Panzieri   2011   Contributo in Atti di convegno   Server Consolidation in Clouds Through Gossiping   ,IEEE Computer Society LOS ALAMITOS,First International Workshop on Sustainable Internet and Internet for Sustainability June 20, 2011 Lucca, Italy   ISBN: 9781457703508   10.1109/WoWMoM.2011.5986483   p. 1 - 6    
30. BABAOGLU Ozalp   O. Babaoglu;M. Marzolla;M. Tamburini   2012   Contributo in Atti di convegno   Design and Implementation of a P2P Cloud System   ,Association for Computing Machinery New York,27th Annual ACM Symposium on Applied Computing march 26-30, 2012 Riva del Garda, Italy   ISBN: 9781450308571   10.1145/2245276.2245357   p. 412 - 417    
31. ROCCETTI Marco   C. E. PALAZZI;M. ROCCETTI;S. FERRETTI   2010   Articolo in rivista   An Inter-Vehicular Communication Architecture for Safety and Entertainment   IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,,   ISSN: 1524-9050   10.1109/TITS.2009.2029078   vol. 11:1 p. 90 - 99    
32. ROCCETTI Marco   A. Amoroso;G. Marfia;M. Roccetti   2011   Articolo in rivista   Going Realistic and Optimal: A Distributed Multi-Hop Broadcast Algorithm for Vehicular Safety   COMPUTER NETWORKS,,   ISSN: 1389-1286   10.1016/j.comnet.2011.04.011   vol. 55 p. 2504 - 2519    
33. ROCCETTI Marco   G. Marfia;M. Roccetti   2011   Articolo in rivista   Vehicular Congestion Detection and Short-Term Forecasting: A New Model with Results   IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY,,   ISSN: 0018-9545   10.1109/TVT.2011.2158866   vol. 60 p. 2936 - 2948    
34. ROCCETTI Marco   A. Cattaneo;G. Marfia;A. Sentinelli;A. Vitali;L. Celetto;M. Roccetti;M. Gerla   2012   Articolo in rivista   Using Digital Fountains in Future IPTV Streaming Platforms: a Future Perspective   IEEE COMMUNICATIONS MAGAZINE,,   ISSN: 0163-6804   10.1109/MCOM.2012.6194403   vol. 50 p. 202 - 207    
35. ROCCETTI Marco   M. Roccetti;G. Marfia;A. Semeraro   2012   Articolo in rivista   Playing into the Wild: A Gesture-based Interface for Gaming in Public Spaces   JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION,,   ISSN: 1047-3203   10.1016/j.jvcir.2011.12.006   vol. 23 p. 426 - 440    
36. MARTINI Simone   U. DAL LAGO;S. MARTINI   2008   Articolo in rivista   The weak lambda-calculus as a reasonable machine   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2008.01.044   vol. 398 p. 32 - 50    
37. MARTINI Simone   U. DAL LAGO;S. MARTINI   2010   Contributo in Atti di convegno   Derivational Complexity is an Invariant Cost Model   ,Springer Berlin Heidelberg,Foundational and Practical Aspects of Resource Analysis, FOPARA 2009 November 6, 2009 Eindhoven   ISBN: 3642153305     vol. LNCS 6324 p. 88 - 101    
38. MARTINI Simone   DAL LAGO U.;MARTINI S.   2009   Contributo in Atti di convegno   On Constructor Rewrite Systems and the Lambda-Calculus   ,Springer Verlag Heidelberg,International Colloquium on Automata, Languages and Programming (ICALP) 2009 July 2009 Rodi, Grecia   ISBN: 3642029299     vol. LNCS 5556 p. 163 - 174    
39. MARTINI Simone   U. DAL LAGO;S. MARTINI   2008   Contributo in volume (Capitolo o Saggio)   Proofs as efficient programs   ,Springer Verlag HEIDELBERG - BERLIN,   ISBN: 978-88-470-0783-3     p. 141 - 157    
40. MARTINI Simone   U. Dal Lago;S. Martini   2012   Articolo in rivista   On constructor rewrite systems and the lambda-calculus   LOGICAL METHODS IN COMPUTER SCIENCE,,   ISSN: 1860-5974   10.2168/LMCS-8(3:12)2012   vol. 8(3:12) p. 1 - 27    
41. CIACCIA Paolo   MARCO PATELLA;PAOLO CIACCIA   2009   Articolo in rivista   Approximate similarity search: A multi-faceted problem   JOURNAL OF DISCRETE ALGORITHMS,,   ISSN: 1570-8667   10.1016/j.jda.2008.09.014   vol. 7(1) p. 36 - 48    
42. CIACCIA Paolo   I. BARTOLINI;P. CIACCIA;M. PATELLA   2010   Articolo in rivista   Query Processing Issues in Region-Based Image Databases   KNOWLEDGE AND INFORMATION SYSTEMS,,   ISSN: 0219-1377   10.1007/s10115-009-0257-4   vol. 25 (2) p. 389 - 420    
43. CIACCIA Paolo   I. BARTOLINI;P. CIACCIA;M. PATELLA   2008   Articolo in rivista   Efficient Sort-Based Skyline Evaluation   ACM TRANSACTIONS ON DATABASE SYSTEMS,,   ISSN: 0362-5915   10.1145/1412331.1412343   vol. 33 p. 31-1 - 31-49    
44. CIACCIA Paolo   P. Ciaccia;M. Patella   2011   Articolo in rivista   Metric Information Filtering (Or: How to Win the (Metric) Space War with Information Overload)   INFORMATION SYSTEMS,,   ISSN: 0306-4379   10.1016/j.is.2010.09.007   vol. 36 (4) p. 708 - 720    
45. CIACCIA Paolo   I. Bartolini;P. Ciaccia;M. Patella   2012   Articolo in rivista   The Skyline of a Probabilistic Relation   IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING,,   ISSN: 1558-2191   10.1109/TKDE.2012.102   vol. PP - Issue: 99 p. 1 - 14    
46. MANIEZZO Vittorio   P. HANSEN;V. MANIEZZO;S. VOß   2009   Articolo in rivista   Special issue on mathematical contributions to metaheuristics editorial   JOURNAL OF HEURISTICS,,   ISSN: 1381-1231   10.1007/s10732-008-9093-z   vol. 15 p. 197 - 199    
47. MANIEZZO Vittorio   M. BOSCHETTI;V. MANIEZZO   2009   Articolo in rivista   Benders decomposition, Lagrangean relaxation and metaheuristic design   JOURNAL OF HEURISTICS,,   ISSN: 1381-1231   10.1007/s10732-007-9064-9   vol. 15 p. 283 - 312    
48. MANIEZZO Vittorio   M. POLACEK;K. F. DOERNER;R. F. HARTL;V. MANIEZZO   2008   Articolo in rivista   A variable neighborhood search for the capacitated arc
routing problem with intermediate facilities  		 JOURNAL OF HEURISTICS,,   ISSN: 1381-1231   10.1007/s10732-007-9050-2   vol. 14 p. 405 - 423    
49. MANIEZZO Vittorio   V. MANIEZZO   2010   Articolo in rivista   La matematica come tecnologia aziendale   TECHNOLOGY REVIEW,,   ISSN: 1128-868X     vol. 6/2010 p. 47 - 47    
50. MANIEZZO Vittorio   M.A. Boschetti;V. Maniezzo;M. Roffilli   2011   Articolo in rivista   A Fully Distributed Lagrangean Solution for a Peer-to-Peer Overlay Network Design Problem   INFORMS JOURNAL ON COMPUTING,,   ISSN: 1091-9856   10.1287/ijoc.1100.0381   vol. 23 p. 90 - 104    
51. NATALI Antonio   A. NATALI;A. MOLESINI   2008   Monografia o trattato scientifico   La costruzione dei sistemi software: dai modelli al codice   ,Esculapio BOLOGNA,          
52. NATALI Antonio   A. NATALI;A. MOLESINI   2010   Contributo in Atti di convegno   Using Domain Specic Languages for platform-based software development: the case of Android   ,Eclipse italian community Savona,Eclipse-IT 2010 ottobre 2010 Savona   ISBN: 9788890438813     p. 29 - 40    
53. NATALI Antonio   A. NATALI;A. MOLESINI   2010   Contributo in Atti di convegno   Towards model-driven communications   WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY,WASET ROMA,International Conference on Software
Engineering and Technology April 2010 Roma  		 ISSN: 2010-376X     vol. 64 p. 73 - 84    
54. NATALI Antonio   ENRICO OLIVA;ANTONIO NATALI;ALESSANDRO RICCI;MIRKO VIROLI   2008   Articolo in rivista   An Adaptation Logic Framework for Java-based Component Systems   JOURNAL OF UNIVERSAL COMPUTER SCIENCE,,   ISSN: 0948-6968     vol. 14(13) p. 2158 - 2181    
55. NATALI Antonio   A. Ricci;A. Santi;A. Leardini;A. Natali   2011   Contributo in Atti di convegno   Exploiting the Eclipse Ecosystem for Agent-Oriented Programming   ,The Italian Eclipse Community s.l,The Sixth Workshop of the Italian Eclipse Community. 22-23 Settembre 2011 Milano   ISBN: 9788890438820     p. 217 - 219    
56. BERTOSSI Alan Albert   A.A. BERTOSSI;S. OLARIU;M.C. PINOTTI   2008   Articolo in rivista   Efficient corona training protocols for sensor networks   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2008.03.007   vol. 402 p. 2 - 15    
57. BERTOSSI Alan Albert   P. BARSOCCHI;A.A. BERTOSSI;M.C. PINOTTI;F. POTORTI'   2010   Articolo in rivista   Allocating data for broadcasting over wireless channels subject to transmission errors   WIRELESS NETWORKS,,   ISSN: 1022-0038   10.1007/s11276-008-0136-z   vol. 16 (2) p. 355 - 365    
58. BERTOSSI Alan Albert   F. BARSI;A.A. BERTOSSI;F.B. SORBELLI;R. CIOTTI;S. OLARIU;M.C. PINOTTI   2009   Articolo in rivista   Asynchronous corona training protocols in wireless sensor and actor networks   IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS,,   ISSN: 1045-9219   10.1109/TPDS.2008.223   vol. 20 p. 1216 - 1230    
59. BERTOSSI Alan Albert   A.A. BERTOSSI;M.C. PINOTTI;R. RIZZI   2009   Articolo in rivista   Optimal Receiver Scheduling Algorithms for a Multicast Problem   DISCRETE APPLIED MATHEMATICS,,   ISSN: 0166-218X   10.1016/j.dam.2009.06.031   vol. 157 p. 3187 - 3197    
60. BERTOSSI Alan Albert   F. Barsi;A.A. Bertossi;C. Lavault;A. Navarra;S. Olariu;M.C. Pinotti;V. Ravelomanana   2011   Articolo in rivista   Efficient training protocols for localization in heterogeneous sensor and actor networks   IEEE TRANSACTIONS ON MOBILE COMPUTING,,   ISSN: 1536-1233   10.1109/TMC.2010.168   vol. 10 p. 377 - 391    
61. BELLAVISTA Paolo   U. LEE;E. MAGISTRETTI;M. GERLA;P. BELLAVISTA;A. CORRADI   2009   Articolo in rivista   Dissemination and Harvesting of Urban Data using Vehicular Sensing Platforms   IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY,,   ISSN: 0018-9545   10.1109/TVT.2008.928899   vol. 58, No. 2 p. 882 - 901    
62. BELLAVISTA Paolo   P. BELLAVISTA;A. CORRADI;L. FOSCHINI   2010   Articolo in rivista   IMS-compliant Management of Vertical Handoffs for Mobile Multimedia Session Continuity   IEEE COMMUNICATIONS MAGAZINE,,   ISSN: 0163-6804   10.1109/MCOM.2010.5439084   vol. 48, No. 4 p. 114 - 121    
63. BELLAVISTA Paolo   P. BELLAVISTA;A. CORRADI;L. FOSCHINI   2009   Articolo in rivista   IMS-based Presence Service with Enhanced Scalability and
Guaranteed QoS for Inter-Domain Enterprise Mobility  		 IEEE WIRELESS COMMUNICATIONS,,   ISSN: 1536-1284   10.1109/MWC.2009.5109460   vol. 16, No. 3 p. 16 - 23    
64. BELLAVISTA Paolo   P. BELLAVISTA;M. CINQUE;D. COTRONEO;L. FOSCHINI   2009   Articolo in rivista   Self-Adaptive Handoff Management for Mobile Streaming Continuity   IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT,,   ISSN: 1932-4537   10.1109/TNSM.2009.090602   vol. 6, No. 2 p. 80 - 94    
65. BELLAVISTA Paolo   Bellavista P.;Corradi A.;Fanelli M.;Foschini L.   2012   Articolo in rivista   A Survey of Context Data Distribution for Mobile Ubiquitous Systems   ACM COMPUTING SURVEYS,,   ISSN: 0360-0300   10.1145/2333112.2333119   vol. 44 p. 1 - 45    
66. OMICINI Andrea   LUCA GARDELLI;MIRKO VIROLI;MATTEO CASADEI;ANDREA OMICINI   2008   Articolo in rivista   Designing self-organising environments with agents and artefacts: A simulation-driven approach   INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING,,   ISSN: 1746-1375   10.1504/IJAOSE.2008.017314   vol. 2(2) p. 171 - 195    
67. OMICINI Andrea   ANDREA OMICINI;ALESSANDRO RICCI;MIRKO VIROLI   2008   Articolo in rivista   Artifacts in the A&A meta-model for multi-agent systems   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,,   ISSN: 1387-2532   10.1007/s10458-008-9053-x   vol. 17(3) p. 432 - 456    
68. OMICINI Andrea   Andrea Omicini;Mirko Viroli   2011   Articolo in rivista   Coordination Models and Languages: From Parallel Computing To Self-Organisation   KNOWLEDGE ENGINEERING REVIEW,,   ISSN: 0269-8889   10.1017/S026988891000041X   vol. 26 p. 53 - 59    
69. OMICINI Andrea   Luca Cernuzzi;Ambra Molesini;Andrea Omicini;Franco Zambonelli   2011   Articolo in rivista   Adaptable Multi-Agent Systems: The Case of the Gaia Methodology   INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,,   ISSN: 0218-1940   10.1142/S0218194011005384   vol. 21 p. 491 - 521    
70. OMICINI Andrea   SARA MONTAGNA;ALESSANDRO RICCI;ANDREA OMICINI   2008   Articolo in rivista   A&A for Modelling and Engineering Simulations in Systems Biology   INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING,,   ISSN: 1746-1375   10.1504/IJAOSE.2008.017316   vol. 2(2) p. 222 - 245    
71. VIROLI Mirko   ANDREA OMICINI;ALESSANDRO RICCI;MIRKO VIROLI   2008   Articolo in rivista   Artifacts in the A&A meta-model for multi-agent systems   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,,   ISSN: 1387-2532   10.1007/s10458-008-9053-x   vol. 17(3) p. 432 - 456    
72. VIROLI Mirko   CHIERI SAITO;ATSUSHI IGARASHI;MIRKO VIROLI   2008   Articolo in rivista   Lightweight Family Polymorphism   JOURNAL OF FUNCTIONAL PROGRAMMING,,   ISSN: 0956-7968   10.1017/S0956796807006405   vol. 18(3) p. 285 - 331    
73. VIROLI Mirko   M. VIROLI;F. ZAMBONELLI   2010   Articolo in rivista   A biochemical approach to adaptive service ecosystems   INFORMATION SCIENCES,,   ISSN: 0020-0255   10.1016/j.ins.2009.11.021   vol. 180 p. 1876 - 1892    
74. VIROLI Mirko   A. Ricci;M. Piunti;M. Viroli   2011   Articolo in rivista   Environment Programming in Multi-Agent Systems: An Artifact-Based Perspective   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,,   ISSN: 1387-2532   10.1007/s10458-010-9140-7   vol. 23 p. 158 - 192    
75. VIROLI Mirko   M. Viroli;M. Casadei;S. Montagna;F. Zambonelli   2011   Articolo in rivista   Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces   ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS,,   ISSN: 1556-4665   10.1145/1968513.1968517   vol. 6 p. 14:1 - 14:24    
76. RIZZI Stefano   M. Golfarelli;S. Rizzi   2009   Monografia o trattato scientifico   Data Warehouse Design: Modern Principles and Methodologies   ,McGrawHill NEW YORK CITY,   ISBN: 9780071610391        
77. RIZZI Stefano   P. GIORGINI;S. RIZZI;M. GARZETTI   2008   Articolo in rivista   GRAnD: A Goal-Oriented Approach to Requirement Analysis in Data Warehouses   DECISION SUPPORT SYSTEMS,,   ISSN: 0167-9236   10.1016/j.dss.2006.12.001   vol. 45 p. 4 - 21    
78. RIZZI Stefano   M. Golfarelli;S. Rizzi;P. Biondi   2011   Articolo in rivista   myOLAP: An Approach to Express and Evaluate OLAP Preferences   IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING,,   ISSN: 1041-4347   10.1109/TKDE.2010.196   vol. 23 p. 1050 - 1064    
79. RIZZI Stefano   M. Golfarelli;S. Rizzi   2011   Articolo in rivista   Data Warehouse Testing: A Prototype-Based Methodology   INFORMATION AND SOFTWARE TECHNOLOGY,,   ISSN: 0950-5849   10.1016/j.infsof.2011.04.002   vol. 53 p. 1183 - 1198    
80. RIZZI Stefano   M. Golfarelli;F. Mandreoli;W. Penzo;S. Rizzi;E. Turricchia   2012   Articolo in rivista   OLAP Query Reformulation in Peer-to-Peer Data Warehousing   INFORMATION SYSTEMS,,   ISSN: 0306-4379   10.1016/j.is.2011.06.003   vol. 37 p. 393 - 411    
81. MAIO Dario   F. Turroni;D. Maltoni;R. Cappelli;D. Maio   2011   Articolo in rivista   Improving Fingerprint Orientation Extraction   IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,,   ISSN: 1556-6013   10.1109/TIFS.2011.2150216   vol. 6 p. 1002 - 1013    
82. MAIO Dario   R. Cappelli;M. Ferrara;D. Maio   2011   Articolo in rivista   Candidate List Reduction based on the Analysis of Fingerprint Indexing Scores   IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,,   ISSN: 1556-6013   10.1109/TIFS.2011.2135345   vol. 6 p. 1160 - 1164    
83. MAIO Dario   D. MALTONI;D. MAIO;A.K. JAIN;S. PRABHAKAR   2009   Monografia o trattato scientifico   Handbook of Fingerprint Recognition   ,Springer Verlag LONDON,   ISBN: 978-1848822535     p. 1 - 494    
84. MAIO Dario   R. Cappelli;M. Ferrara;D. Maio   2012   Articolo in rivista   A Fast and Accurate Palmprint Recognition System based on Minutiae   IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS,,   ISSN: 1083-4419   10.1109/TSMCB.2012.2183635   vol. 42 p. 956 - 962    
85. MAIO Dario   M. Ferrara;A. Franco;D. Maio;D. Maltoni   2012   Articolo in rivista   Face Image Conformance to ISO/ICAO standards in Machine Readable Travel Documents   IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,,   ISSN: 1556-6013   10.1109/TIFS.2012.2198643   vol. 7 p. 1204 - 1213    
86. DI STEFANO Luigi   F. TOMBARI;S. MATTOCCIA;L. DI STEFANO   2009   Articolo in rivista   Full search-equivalent pattern matching with Incremental Dissimilarity Approximations   IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE,,   ISSN: 0162-8828   10.1109/TPAMI.2008.46   vol. 31(1) p. 129 - 141    
87. DI STEFANO Luigi   A. Lanza;L. Di Stefano   2011   Articolo in rivista   Statistical Change Detection by the Pool Adjacent Violators Algorithm   IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE,,   ISSN: 0162-8828   10.1109/TPAMI.2011.42   vol. 33 p. 1894 - 1910    
88. DI STEFANO Luigi   S. MATTOCCIA;F. TOMBARI;L. DI STEFANO   2008   Articolo in rivista   Fast full-search equivalent template matching by Enhanced Bounded Correlation   IEEE TRANSACTIONS ON IMAGE PROCESSING,,   ISSN: 1057-7149   10.1109/TIP.2008.919362   vol. 17 p. 528 - 538    
89. DI STEFANO Luigi   W. Ouyang;F. Tombari;S. Mattoccia;L. Di Stefano;Wai-Kuen Cham   2012   Articolo in rivista   Performance Evaluation of Full Search Equivalent Pattern Matching Algorithms   IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE,,   ISSN: 0162-8828   10.1109/TPAMI.2011.106   vol. 34 p. 127 - 143    
90. DI STEFANO Luigi   S. Salti;A. Cavallaro;L. Di Stefano   2012   Articolo in rivista   Adaptive Appearance Modeling for Video Tracking: Survey and Evaluation   IEEE TRANSACTIONS ON IMAGE PROCESSING,,   ISSN: 1057-7149   10.1109/TIP.2012.2206035   vol. 21 p. 4334 - 4348    
91. ASPERTI Andrea   A. Asperti;J.Avigad   2011   Articolo in rivista   Zen and the art of formalisation.   MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,,   ISSN: 0960-1295   10.1017/S0960129511000065   vol. 21(4) p. 679 - 682    
92. ASPERTI Andrea   R. Armadio;A. Asperti;N. Ayache;B. Campbell;D. Mulligan;R. Pollack;Y. Regis-Gianas;C. Sacerdoti Coen;I. Stark   2011   Articolo in rivista   Certified Complexity   PROCEDIA COMPUTER SCIENCE,,   ISSN: 1877-0509   10.2168/LMCS-8(1:18)2012   vol. 7 p. 175 - 177    
93. ASPERTI Andrea   A. Asperti;W. Ricciotti;C. Sacerdoti Coen;E. Tassi   2012   Articolo in rivista   A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions   LOGICAL METHODS IN COMPUTER SCIENCE,,   ISSN: 1860-5974   10.2168/LMCS-8(1:18)2012   vol. 8(1) p. 1 - 49    
94. ASPERTI Andrea   A. Asperti;W. Ricciotti;C. Sacerdoti Coen;E. Tassi   2012   Articolo in rivista   Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover   JOURNAL OF AUTOMATED REASONING,,   ISSN: 0168-7433   10.1007/s10817-011-9228-z   vol. 49(3) p. 427 - 451    
95. ASPERTI Andrea   A.Asperti;W.Ricciotti   2012   Articolo in rivista   A proof of Bertrand's postulate   JOURNAL OF FORMALIZED REASONING,,   ISSN: 1972-5787   10.6092/issn.1972-5787/3406   vol. 5 p. 37 - 57    
96. MONTESI Danilo   M. MAGNANI;D. MONTESI   2008   Articolo in rivista   Management of interval probabilistic data   ACTA INFORMATICA,,   ISSN: 0001-5903   10.1007/s00236-007-0065-9   vol. 45(2) p. 93 - 130    
97. MONTESI Danilo   S. ANDREOZZI;P. CIANCARINI;D. MONTESI;R. MORETTI;S. PARDI   2009   Articolo in rivista   Implementation and Performance Analysis of XMatch: a Language for Quality-based Selection of Grid Services   JOURNAL OF GRID COMPUTING,,   ISSN: 1570-7873   10.1007/s10723-009-9115-6   vol. 7:2 p. 247 - 264    
98. MONTESI Danilo   M. MAGNANI;D. MONTESI;L.ROSSI   2010   Contributo in Atti di convegno   Friendfeed breaking news: Death of a public figure   ,IEEE Computer LOS ALAMITOS,International Symposium on Social Computing Application Agosto 2010 Minneapolis   ISBN: 978-1-4244-8439-3     p. 528 - 533    
99. MONTESI Danilo   M. MAGNANI;D. MONTESI   2010   Articolo in rivista   A survey on uncertainty management in data integration   ACM JOURNAL OF DATA AND INFORMATION QUALITY,,   ISSN: 1936-1955   10.1145/1805286.1805291   vol. 2 p. 5: 1 - 5: 33    
100. MONTESI Danilo   Matteo Magnani;Danilo Montesi;Luca Rossi   2012   Articolo in rivista   Conversation retrieval for microblogging sites   INFORMATION RETRIEVAL,,   ISSN: 1386-4564   10.1007/s10791-012-9189-9   vol. 15 p. 354 - 372    
101. CORRADI Antonio   Bellavista P.;Corradi A.;Fanelli M.;Foschini L.   2012   Articolo in rivista   A Survey of Context Data Distribution for Mobile Ubiquitous Systems   ACM COMPUTING SURVEYS,,   ISSN: 0360-0300   10.1145/2333112.2333119   vol. 44 p. 1 - 45    
102. CORRADI Antonio   Cardone G.;Corradi A.;Foschini L.;Montanari R.   2012   Articolo in rivista   Socio-Technical Awareness to Support Recommendation and Efficient Delivery of IMS-Enabled Mobile Services   IEEE COMMUNICATIONS MAGAZINE,,   ISSN: 0163-6804   10.1109/MCOM.2012.6211490   vol. 50 p. 82 - 90    
103. CORRADI Antonio   Bellavista P.;Corradi A.;Giannelli C.   2012   Articolo in rivista   Middleware for Differentiated Quality in Spontaneous Networks   IEEE PERVASIVE COMPUTING,,   ISSN: 1536-1268   10.1109/MPRV.2011.59   vol. 11 p. 64 - 75    
104. CORRADI Antonio   P. Bellavista;G. Cardone;A. Corradi;L. Foschini   2012   Articolo in rivista   The Future Internet convergence of IMS and ubiquitous smart environments: An IMS-based solution for energy efficiency   JOURNAL OF NETWORK AND COMPUTER APPLICATIONS,,   ISSN: 1084-8045   10.1016/j.jnca.2011.05.003   vol. 35, No. 4 p. 1203 - 1209    
105. CORRADI Antonio   Bellavista P.;Corradi A.;Giannelli C.   2011   Articolo in rivista   A Unifying Perspective on Context-Aware Evaluation and Management of Heterogeneous Wireless Connectivity   IEEE COMMUNICATIONS SURVEYS AND TUTORIALS,,   ISSN: 1553-877X   10.1109/SURV.2011.060710.00060   vol. 13 p. 337 - 357    
106. DENTI Enrico   A.RICCI;E.DENTI;M.PIUNTI   2010   Articolo in rivista   A platform for developing SOA/WS applications as open and heterogeneous multi-agent systems   MULTIAGENT AND GRID SYSTEMS,,   ISSN: 1574-1702     vol. 6(2) p. 105 - 132    
107. DENTI Enrico   AMBRA MOLESINI;ENRICO DENTI;ANDREA OMICINI   2010   Articolo in rivista   Agent-based Conference Management: A Case Study in SODA   INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING,,   ISSN: 1746-1375   10.1504/IJAOSE.2010.029808   vol. 4(1) p. 1 - 31    
108. DENTI Enrico   E. DENTI;R. LASCHI;A. RICCIONI   2008   Contributo in Atti di convegno   An experimental environment for teaching Java Security   ,ACM New York,International Symposium on Principles and practice of programming in Java 9-11 September 2008 Modena, Italy   ISBN: 978-1-60558-223-8     vol. 347 p. 13 - 22    
109. DENTI Enrico   AMBRA MOLESINI;ENRICO DENTI;ANDREA OMICINI   2008   Articolo in rivista   From AO methodologies to MAS infrastructures: The SODA case study   LECTURE NOTES IN COMPUTER SCIENCE,,   ISSN: 0302-9743   10.1007/978-3-540-87654-0_17   vol. 4995 p. 300 - 317    
110. DENTI Enrico   AMBRA MOLESINI;ENRICO DENTI;ANDREA OMICINI   2010   Contributo in volume (Capitolo o Saggio)   HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence   ,SPRINGER HEIDELBERG,   ISBN: 978-3-642-11818-0     p. 205 - 218    
111. PANZIERI Fabio   S. FERRETTI;V. GHINI;F. PANZIERI;M. PELLEGRINI;E. TURRINI   2010   Contributo in Atti di convegno   QoS-aware Clouds   ,IEEE Computer Society Los Alamitos, California,3rd International Conference on Cloud Computing (IEEE Cloud 2010) Luglio 2010 Miami (USA)   ISBN: 978-1-4244-8207-8     p. 321 - 328    
112. PANZIERI Fabio   F. Panzieri;O. Babaoglu;S. Ferretti;V. Ghini;M. Marzolla   2011   Contributo in volume (Capitolo o Saggio)   Distributed Computing in the 21st Century: Some Aspects of Cloud Computing   ,Springer Berlin Heidelberg berlin,   ISBN: 9783642245404   10.1007/978-3-642-24541-1_30   p. 393 - 412    
113. PANZIERI Fabio   V. Ghini;S. Ferretti;F. Panzieri   2011   Articolo in rivista   The "Always Best Packet Switching" architecture for SIP-based mobile multimedia services   THE JOURNAL OF SYSTEMS AND SOFTWARE,,   ISSN: 0164-1212   10.1016/j.jss.2011.06.025   vol. 84 p. 1827 - 1851    
114. PANZIERI Fabio   V. Ghini;S. Ferretti;F. Panzieri   2012   Contributo in Atti di convegno   "Always Best Packet Switching" for SIP Services   ,IEEE Piscataway,Eighth IEEE PerCom Workshop on Pervasive Wireless Networking 2012 - IEEE International Conference on Pervasive Computing and Communications 19-23/03/2012 Lugano (Switzerland)   ISBN: 9781467309066   10.1109/PerComW.2012.6197622   p. 811 - 816    
115. PANZIERI Fabio   V. Ghini;S. Ferretti;F. Panzieri   2012   Articolo in rivista   m-Hippocrates: Enabling Reliable and Highly Interactive m-Health Services   IT PROFESSIONAL,,   ISSN: 1520-9202   10.1109/MITP.2012.26   vol. 14 p. 29 - 35    
116. DONATIELLO Lorenzo   BONONI L.;DI FELICE M.;D’ANGELO G.;BRACUTO M.;DONATIELLO L.   2008   Articolo in rivista   MoVES: a Framework for Parallel and Distributed Simulation of Wireless Vehicular Ad Hoc Networks   COMPUTER NETWORKS,,   ISSN: 1389-1286   10.1016/j.comnet.2007.09.015   vol. 52, No. 1 p. 155 - 179    
117. DONATIELLO Lorenzo   L. DONATIELLO;M. ROCCETTI;A. VARNI   2008   Altro   Made in uni(BO): tecnoartefatti bolognesi   ,,          
118. DONATIELLO Lorenzo   G. COSENZA;L. DONATIELLO;M. ROCCETTI;A. VARNI   2009   Altro   Made in Uni(BO): Macchine per raccontare   ,,          
119. DONATIELLO Lorenzo   BONONI L.;DONATIELLO L.;FURINI M.   2009   Contributo in Atti di convegno   Real-Time Traffic in Ad-hoc Sensor Networks   ,IEEE PRESS PISCATAWAY, NJ,IEEE International Conference on Communications (ICC 2009) 14-18 June, 2009 Dresden, Germany   ISBN: 978-1-4244-3435-0     p. 1 - 5    
120. LANEVE Cosimo   C. LANEVE;A. VITALE   2010   Contributo in Atti di convegno   The Expressive Power of Synchronizations   ,IEEE COMPUTER SOCIETY NY,25th Annual IEEE Symposium on Logic in Computer Science 11-14 July 2010 Edimburgo   ISBN: 978-0-7695-4114-3     vol. -- p. 382 - 391    
121. LANEVE Cosimo   S. CARPINETI;C. LANEVE;L. PADOVANI   2009   Articolo in rivista   PiDuce - A project for experimenting Web services technologies   SCIENCE OF COMPUTER PROGRAMMING,,   ISSN: 0167-6423   10.1016/j.scico.2009.03.002   vol. 74/10 p. 777 - 811    
122. LANEVE Cosimo   C. LANEVE;L. PADOVANI   2008   Articolo in rivista   The Pairing of Contracts and Session Types   LECTURE NOTES IN COMPUTER SCIENCE,,   ISSN: 0302-9743   10.1007/978-3-540-68679-8_42   vol. 5065 p. 681 - 700    
123. LANEVE Cosimo   E. GIACHINO;C. LANEVE   2011   Contributo in Atti di convegno   Analysis of deadlocks in object groups   LECTURE NOTES IN COMPUTER SCIENCE,,Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011 June 6-9, 2011 Reykjavik, Iceland   ISSN: 0302-9743     vol. 6722 p. 168 - 182    
124. LANEVE Cosimo   Luca Cardelli;Cosimo Laneve   2011   Articolo in rivista   Reversibility in Massive Concurrent Systems   SCIENTIFIC ANNALS OF COMPUTER SCIENCE,,   ISSN: 1843-8121     vol. 21 p. 175 - 198    
125. MILANO Michela   M. LOMBARDI;M. MILANO   2010   Articolo in rivista   Allocation and Scheduling of Conditional Task Graphs   ARTIFICIAL INTELLIGENCE,,   ISSN: 0004-3702   10.1016/j.artint.2010.02.004   vol. 174(7-8) p. 500 - 529    
126. MILANO Michela   M. LOMBARDI;M. MILANO;M. RUGGIERO;L. BENINI   2010   Articolo in rivista   Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip   JOURNAL OF SCHEDULING,,   ISSN: 1094-6136   10.1007/s10951-010-0184-y   vol. 13 p. 315 - 345    
127. MILANO Michela   Lombardi M.;Milano M.;Benini L.   2011   Articolo in rivista   Robust Scheduling of Task Graphs under Execution Time Uncertainty   IEEE TRANSACTIONS ON COMPUTERS,,   ISSN: 0018-9340   10.1109/TC.2011.203   vol. 62 p. 98 - 111    
128. MILANO Michela   M. Lombardi;M. Milano   2012   Articolo in rivista   A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling   ARTIFICIAL INTELLIGENCE,,   ISSN: 0004-3702   10.1016/j.artint.2011.12.001   vol. 182-183 p. 58 - 67    
129. MILANO Michela   M. Cattafi;M. Gavanelli;M. Milano;P. Cagnoli   2011   Articolo in rivista   Sustainable biomass power plant location in the Italian Emilia-Romagna Region   ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY,,   ISSN: 2157-6904   10.1145/1989734.1989737   vol. 2 p. 33:1 - 33:19    
130. SANGIORGI Davide   D. SANGIORGI   2009   Articolo in rivista   On the origins of bisimulation and coinduction   ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,,   ISSN: 0164-0925   10.1145/1516507.1516510   vol. 31, number 4, article 41 p. 1 - 41    
131. SANGIORGI Davide   D. Sangiorgi;N. Kobayashi;E. Sumii   2011   Articolo in rivista   Environmental bisimulations for higher-order languages   ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,,   ISSN: 0164-0925   10.1145/1889997.1890002   vol. 33 p. 1 - 66    
132. SANGIORGI Davide   I. Lanese;J. A. Perez;D. Sangiorgi;A. Schmitt   2011   Articolo in rivista   On the expressiveness and decidability of higher-order process calculi   INFORMATION AND COMPUTATION,,   ISSN: 0890-5401   10.1016/j.ic.2010.10.001   vol. 209 p. 198 - 226    
133. SANGIORGI Davide   N. Kobayashi;D. Sangiorgi   2011   Articolo in rivista   A hybrid type system for lock-freedom of mobile processes   ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,,   ISSN: 0164-0925   10.1145/1745312.1745313   vol. 32 p. 1 - 59    
134. SANGIORGI Davide   D. Sangiorgi   2012   Monografia o trattato scientifico   Introduction to bisimulation and coinduction   ,Cambridge University Press CAMBRIDGE,   ISBN: 9781107003637     p. 1 - 260    
135. ZAVATTARO Gianluigi   LUCA CARDELLI;GIANLUIGI ZAVATTARO   2010   Articolo in rivista   Turing Universality of the Biochemical Ground Form   MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,,   ISSN: 0960-1295   10.1017/S0960129509990259   vol. 20(1) p. 45 - 73    
136. ZAVATTARO Gianluigi   A. CREDI;M. GARAVELLI;C. LANEVE;S. PRADALIER;S. SILVI;G. ZAVATTARO   2008   Articolo in rivista   nanoK: a Calculus for the Modeling and Simulation of nano devices   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2008.07.006   vol. 408(1) p. 17 - 30    
137. ZAVATTARO Gianluigi   Acciai L;Boreale M;Zavattaro G   2012   Articolo in rivista   Behavioural Contracts with Request-Response Operations   SCIENCE OF COMPUTER PROGRAMMING,,   ISSN: 0167-6423   10.1016/j.scico.2011.10.007   vol. 78 p. 248 - 267    
138. ZAVATTARO Gianluigi   Giorgio Delzanno;Gianluigi Zavattaro   2012   Articolo in rivista   Reachability problems in BioAmbients   THEORETICAL COMPUTER SCIENCE,,   ISSN: 0304-3975   10.1016/j.tcs.2011.12.056   vol. 431 p. 56 - 74    
139. ZAVATTARO Gianluigi   M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro   2012   Articolo in rivista   Adaptable processes   LOGICAL METHODS IN COMPUTER SCIENCE,,   ISSN: 1860-5974     vol. 8 p. 1 - 71    


Produzione scientifica dei membri del collegio dal 2008 al 2012: (Personale non accademico dipendente di altri enti e personale docente di università straniere)

n. Autore Eventuali altri autori Anno di pubblicazione Tipologia pubblicazione Titolo (della pubblicazione) Denominazione (rivista, editore, convegno, altro) ISSN/ISBN DOI Altre coordinate editoriali (vol, nn pagg..)



Autovalutazione (da parte del Proponente) del posizionamento del Corso rispetto a corsi di dottorato in settori affini in ambito nazionale

Il corso sia per la varieta' dei temi di ricerca considerati che per la qualita' scientifica del collegio dei docenti si colloca fra i migliori in Italia.


Principali Atenei e centri di ricerca internazionali con i quali il collegio mantiene collaborazioni di ricerca (max 5) con esclusione di quelli di cui alla sezione 1

n. Denominazione Paese
1. Ecole Normale Paris  Francia 
2. UCLA, Los Angelese  Stati Uniti d'America 
3. Ecole Polytechnique, Palaiseaux  Francia 
4. Universite' Paris Diderot (Paris VII)  Francia 
5. CWI Amsterdam  Paesi Bassi 


Descrizione della situazione occupazionale dei dottori di ricerca che hanno acquisito il titolo negli ultimi tre anni (facoltativo)



Esperienze passate di collaborazione in attività di ricerca con le imprese convenzionate e valore aggiunto atteso per il corso di dottorato

In passato il corso di Dottorato ha usufruito di borse finanziate da Telecom,
St Microelectonics, Fondazione Cassa di Rispamio di Forli-Cesena.

Tutte quest esperienze sono state estremamente positive sia perche'
hanno dato modo di esporre gli studenti a nuovi temi di ricerca,
di immediato interesse industriale, sia perche' hanno permesso la collaborazione
con gruppi di ricerca e sviluppo presenti nella aziende interessate.


Note



3. Struttura in curricula
La sezione è compilabile solo se nel punto "Corso di Dottorato" si è risposto in maniera affermativa alla domanda "Presenza di eventuali curricula?"


Note


4. Struttura formativa

Attività didattica disciplinare e interdisciplinare

Insegnamenti ad hoc previsti nell'iter formativo Tot CFU: 24  n.ro insegnamenti: 6  di cui è prevista verifica finale: 6 
Insegnamenti mutuati da corsi di laurea magistrale NO     
Cicli seminariali SI 
Soggiorni di ricerca SI  ESTERO - al di fuori delle istituzioni coinvolte
 


Descrizione delle attività di formazione di cui all’art. 4, comma 1, lett. f)

Tipologia  Descrizione sintetica
Linguistica Sono previsti seminari sulla prosa scentifica. 
Informatica Nessuna attivita' perfezionamento e' necessaria, vista la natura del corso
che prevedere specifici aspetti curriculari informatici. 
Gestione della ricerca, della conoscenza dei sistemi di ricerca e dei sistemi di finanziamento Oltre ad un rapporto diretto del dottorando con il proprio relatore di tesi e con una commissione composta da tre membri del collegio dei docenti (che segue il dottorando nel suo percorso formativo), sono previsti seminari specifici e un corso specifico su questi argomenti. 
Valorizzazione dei risultati della ricerca e della proprietà intellettuale Vengono organizzati seminari specifici su questi argomenti. 


Attività dei dottorandi

È previsto che i dottorandi possano svolgere attività di tutorato SI
 		  
È previsto che i dottorandi possano svolgere attività di didattica integrativa SI
 		  


Note


5. Requisiti e modalità di ammissione

Requisiti richiesti per l'ammissione

Tutte le lauree magistrali: SI, Tutte 
se non tutte, indicare quali:  
Altro per studenti stranieri (max 500 caratteri):
Equivalenza titolo estero a Laurea italiana vecchio ordinamento o laurea specialistica/magistrale nuovo ordinamento. 
Eventuali note  


Modalità di ammissione


Analisi titoli
Orale
Lingua 
Per i laureati all'estero la modalità di ammissione è diversa da quella dei candidati laureati in Italia? NO 
se SI specificare:  


Note

(MAX 2.000 caratteri):
Per i candidati residenti all'estero l'esame orale puo' essere svolto per via telematica

6. Posti e borse

Posti

Posti banditi (messi a concorso) n. 14 
di cui  
    - Posti banditi con borsa n. 7 
    - Posti coperti da assegni di ricerca  
    - Posti coperti da contratti di apprendistato  
    - Eventuali posti senza borsa n. 7 
Posti con borsa riservati a laureati in università estere  
Posti riservati a borsisti di Stati esteri  
Posti riservati a borsisti in specifici programmi di mobilità internazionale  
Posti riservati a dipendenti di imprese impegnati in attività di elevata qualificazione (dottorato industriale)  
Posti riservati senza borsa a laureati in università estere  
Eventuali note  


Borse

Importo della borsa Euro:48.749,34 
Maggior importo procapite (per posto coperto con borsa) per soggiorni di ricerca all’estero Euro (max 50% borsa):4.251,00 
Budget procapite annuo per attività di ricerca in Italia e all’Estero Euro (min 10% importo borsa):1.625,00 
Eventuali note (max 500 caratteri):
Il maggior importo procapite per soggiorni di ricerca all'estero (50%) è stato calcolato per un periodo medio di 6 mesi.
Il budget procapite annuo per attività di ricerca è stato calcolato sull'importo base annuale della borsa. Tale budget è gestito dai Dipartimenti. 


Note




7. Strutture operative e scientifiche

Tipologia  Descrizione sintetica
Laboratori Il DISI (Diaprtimento di Informatica - Scienze ed Ingegneria) mette a
siposizione un posto di lavoro dedicato per dottorando (scrivania, computer personale con accesso alla rete) in stanza condivisa (tre stanze sono dedicate complessivamente ai dottorandi); inoltre sono disponibili risorse informatiche dipartimentali condivise (stampanti, server, ecc.); uso della segreteria dipartimentale.

I laboratori didattici del DISI, sono accessibili (e se necessario riservati esclusivamente) ai dotto... 
Biblioteche I dottorandi hanno accesso a tutte le biblioteche di Ateneo.
In particolare sono disponibili:
- Portale delle Biblioteche. Offre Accesso integrato a tutti i servizi informativi e documentali forniti dal Sistema Bibliotecario d'Ateneo
Portale delle biblioteche del Polo scientifico-didattico di Cesena
- Biblioteche del Polo di Cesena.
- Biblioteca di Ingegneria "Gian Paolo Dore"
- Biblioteca del Dipartimento di Matematica. Questa biblioteca ospita, cataloga e mette a disposizione degli utenti... 
Banche dati Il DISI ha accesso ad alcune banche dati ed ad alcuni servizi editoriali on line dei maggiori editori scientifici (ACM Press, Springer-Verlag, IEEE ecc.). I dottorandi da macchine del Diaprtimento possono usare tali servizi. 
Computer facilities Ad ogni dottorando e' assegnato un computer personale. Inoltre sono disponibili tutte le risorse informatiche dipartimentali condivise del DISI (stampanti, server, ecc.); 
Altro Il DISI destina ai dottorandi una somma di circa 5.000 euro (su fondi di ricerca) per dottorando, per ciclo, per coprire sia le esigenze di mobilità del candidato sia le necessità di equipaggiamento informatico (e.g., portatile aggiuntivo alla dotazione del posto di lavoro).
I dottorandi usufruiscono dei finanziamenti derivanti da fondi di ricerca (Finanziamenti da Ateneo, MIUR (es: Progetto Giovani, PRIN, FIRB), Contratti e Convenzioni di Ricerca con Aziende o Enti esterni, Contratti Europei... 


Note


8. Finanziatori esterni

Finanziatori esterni ITALIANI del corso di dottorato

n. Tipologia del soggetto Pubblico/Privato Denominazione del soggetto


Finanziatori esterni STRANIERI del corso di dottorato

n. Tipologia del soggetto Denominazione del soggetto Pubblico/Privato Paese


Note




Data di chiusura: 26/09/2013


.