| Name | Credits | Professors | Note | Type of Exam | Year |
| Seminars in Distributed Systems and Architectures | 6 | Roberto Baldoni | |
A | 2011 |
| Least Squares Estimation and SLAM | 2.5 | Giorgio Grisetti and Thomas Schoen | |
B | 2011 |
| Seminars in Computer Networks | 6 | Stefano Leonardi, Debora Donato, Aris Anagnostopoulos | |
A | 2011 |
| Seminars in Software and Services | 6 | Tiziana Catarci, Alan Dix | |
A | 2011 |
| Seminars in Artificial Intelligence | 6 | Luigia Carlucci Aiello | |
A | 2011 |
| Elective in Distributed Systems and Architectures | 6 | Bruno Ciciani, Roberto Beraldi, Antonino Virgillito | |
A | 2011 |
| Elective in Computer Networks | 6 | Alberto Marchetti-Spaccamela | |
A | 2011 |
| Elective in Software and Services | 6 | Maurizio Lenzerini, Giuseppe De Giacomo, Riccardo Rosati, Giuseppe Santucci | |
A | 2011 |
| Supervisory Control of Discrete-Event Systems | 2.5 | W.M. Wonham | |
B | 2011 |
| Elective in Artificial Intelligence | 6 | Paolo Liberatore, Daniele Nardi, Fiora Pirri, Marco Schaerf | |
A | 2011 |
| Readings on Verification and Synthesis | 2.5 | Giuseppe De Giacomo | |
B | 2010 |
| Automated Planning | 2.5 | Hector Geffner (DTIC, Universitat Pompeu Fabra, Barcelona, Spain) | |
B | 2010 |
| Complex Adaptive Systems of Systems (CASoS) Modeling and Engineering | 2.5 | Robert J Glass and Walter E Beyeler, Sandia National Laboratories, Albuquerque, New Mexico, USA. | |
B | 2010 |
| Artificial Intelligence II | 6 | Daniele Nardi | |
B | 2010 |
| Seminars in Computer Networks | 6 | Stefano Leonardi, Debora Donato, Aris Anagnostopoulos | |
A | 2009 |
| Seminars in Software and Services | 6 | Tiziana Catarci, Alan Dix | |
A | 2009 |
| Seminars in Artificial Intelligence | 6 | Luigia Carlucci Aiello | |
A | 2009 |
| Elective in Distributed Systems and Architectures | 6 | Bruno Ciciani, Roberto Beraldi, Antonino Virgillito | |
A | 2009 |
| Elective in Computer Networks | 6 | Alberto Marchetti-Spaccamela | |
A | 2009 |
| Elective in Software and Services | 6 | Maurizio Lenzerini, Giuseppe De Giacomo, Riccardo Rosati, Giuseppe Santucci | |
A | 2009 |
| Elective in Artificial Intelligence | 6 | Paolo Liberatore, Daniele Nardi, Fiora Pirri, Marco Schaerf | |
A | 2009 |
| Selected topics in distributed computing | 6 | Shmuel Zaks, Jared Saia | February-March 2009 |
B | 2009 |
| Reasoning about actions and high level programs | 6 | Giuseppe De Giacomo, Yves Lesperance, Adrian Pearce | June-July 2009 |
B | 2009 |
| Gossiping in Large-Scale Distributed Systems | 6 | Roberto Beraldi, Leonardo Querzoni, Marteen van Steen | |
B | 2009 |
| Machine Learning | 0 | Luca Iocchi | |
B | 2009 |
| Seminario Interdipartimentale di Algoritmica | 0.5 | | |
C | 2008 |
| Theory of Computing (in English) | 5 | Alberto Marchetti Spaccamela | April-June |
A | 2008 |
| Database Systems (in English) | 5 | Maurizio Lenzerini | january-march |
A | 2008 |
| Distributed Systems (in English) | 5 | Roberto Baldoni | january-march |
A | 2008 |
| Software Design (in English) | 5 | Massimo Mecella | april-june |
A | 2008 |
| Automated Reasoning (in English) | 5 | Paolo Liberatore | january-march |
A | 2008 |
| Seminars in Distributed Sytems and Architectures (in English) | 5 | Roberto Baldoni | april-june |
A | 2008 |
| Seminars in Artificial Intelligence (in English) | 5 | Luigia Carlucci Aiello | april-june |
A | 2008 |
| Elective in Software and Services (in English) | 5 | Maurizio Lenzerini, Giuseppe De Giacomo, Riccardo Rosati, Giuseppe Santucci | |
A | 2008 |
| Seminars in Computer Networks (in English) | 5 | Stefano Leonardi | april-june |
A | 2008 |
| Semantic Technologies | 3 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Giuseppe Santucci | This course is mapped onto one of the four modules of the course: Elective in Software and Services. The preferred mapping is onto the module on "Semantic Web", taught by Riccardo Rosati. However, interested students may opt for a different module. |
B | 2008 |
| Computer Networks | 2.5 | Stefano Leonardi | |
B | 2008 |
| Seminars on Computer Science and Engineering | 0.5 | | |
C | 2008 |
| Vision | 2.5 | Fiora Pirri | |
B | 2008 |
| Ragionamento Automatico | 5 | Paolo Liberatore | Eligible for category B |
A | 2007 |
| Ricerca dell'Informazione nel Web | 5 | Stefano Leonardi | Eligible for category B |
A | 2007 |
| Sistemi Distributi | 5 | Roberto Baldoni | Eligible for category B |
A | 2007 |
| Seminari di Ingegneria del Software | 5 | Giuseppe De Giacomo | Eligible for category B |
A | 2007 |
| Seminari di Architetture e Sistemi Distribuiti | 5 | Roberto Baldoni | Eligible for category B |
A | 2007 |
| Seminari di Intelligenza Artificiale | 5 | Luigia Carlucci Aiello | Eligible for category B |
A | 2007 |
| Seminari di Reti di Calcolatori | 5 | Camil Demetrescu | Eligible for category B |
A | 2007 |
| Autonomous Agents and Multiagent Systems | 2.5 | Yves Lesperance and Sebastian Sardinia | |
B | 2007 |
| Semantic Web | 2.5 | Riccardo Rosati | |
B | 2007 |
| Access Control Systems for Database Systems | 2.5 | Elisa Bertino, Department of Computer Science, Purdue University and Research Director of CERIAS | |
B | 2006 |
| Service Oriented Computing: A Theoretical Perspective | 2.5 | Amir Pnueli (New York University and Weizmann Institute of Science), Giuseppe De Giacomo e Massimo Mecella | |
B | 2006 |
| View-based query processing | 2.5 | Diego Calvanese, Giuseppe De Giacomo, Georg Gottlob, Maurizio Lenzerini, Riccardo Rosati | |
B | 2005 |
| Information retrieval | 2.5 | Stefano Leonardi (vi saranno su alcuni argomenti le collaborazioni di Luca Becchetti, Massimo Santini e Alessandro Panconesi e sulle esercitazioni di Luciana Salete Buriol e Debora Donato) | Gli studenti di dottorato interessati dovranno seguire ALMENO 5 - 6 topic a scelta oppure due di questi 3 cluster (riferiti agli item del programma)
1 - 6 - 7,
2 - 3 - 8,
4 - 5
escludendo le esercitazioni a meno che non si è interessati a superare l'esame svolgendo un progetto su uno degli argomenti del corso. |
B | 2005 |
| Dependable Distributed Systems and Probabilistic Algorithms | 2.5 | Roberto Baldoni e Alessandro Panconesi | Algoritmi probabilistici per sistemi distribuiti |
B | 2005 |
| Constraint Satisfaction, Complexity, and Logic | 2.5 | Phokion G. Kolaitis (Almaden, IBM), Marco Cadoli | |
B | 2005 |
| Algorithms for Managing Massive Data Streams | 2.5 | S. Muthu Muthukrishnan, Rutgers University, NJ | |
B | 2004 |
| A Concise Course on Statistical Inference | 2.5 | Larry Wasserman (Carnegie Mellon University), Alberto Marchetti-Spaccamela | |
B | 2004 |
| Multi-Agent Systems | 2.5 | Paul Scerri, Carnegie Mellon University | |
B | 2004 |
| Fault tolerance and dependability evaluation | 2.5 | Bruno Ciciani, Dhiraj Pradhan, Karama Kanoun | |
B | 2004 |
| Multi-Agent Systems -- Coordination techniques and practical applications | 2.5 | Daniele Nardi, Paul Scerri | |
B | 2004 |
| Human-Computer Interaction - post-millennial models | 2.5 | Professor Alan Dix (Computing Department - Lancaster University, UK) | Alan Dix has worked in human-computer interaction research since the mid 1980's and he is author of one of the main textbooks in the area. He has also been a founder director of two Internet startup companies focused on intelligent agent technology and web community building. His nearly two hundred publications include his popular ACM SIGCHI Bulletin education column, five books, many journal articles, conference keynotes, and invited contributions to several recent handbooks in HCI; they cover topics from the application of formal techniques in interface design, through understanding the physical workplace, to methods for enhancing innovation and creativity. |
B | 2003 |
| Distributed Computing (how to build and crash a network) | 2.5 | Shmuel Zaks (Technion, Haifa), Rachid Guerraoui (EPFL, Lousanne), Roberto Baldoni (DIS, Roma), Umberto Nanni (DIS, Roma) | |
B | 2003 |
| Computational Game Theory and Mechanism Design | 2.5 | Elias Koutsoupias (University of Athens), Jochen Koenemann (University of Waterloo and University of Rome 'La Sapienza'), Stefano Leonardi | |
B | 2003 |
| Planning Under Uncertainty | 2.5 | Thomas Lukasiewicz (Technische Universitaet Wien), Carlo Mannino, Daniele Nardi, Massimo Romano, Fiora Pirri | |
B | 2003 |
| Cognitive Robotics | 2.5 | Yves Lesperance (York University, Toronto, Canada) Giuseppe De Giacomo, Daniele Nardi, Fiora Pirri | |
B | 2002 |
