Latest News
CENSIS highlights the excellence of Computer Science at UPO
Third position in the CENSIS 2014 ranking in the area of Mathematical and Information Sciences. More - 27/11/2014
Third position in the CENSIS 2014 ranking in the area of Mathematical and Information Sciences. More - 27/11/2014
Informatics Education in Europe
Report about the informatics education in Europe; by Informatics Europe More - 07/11/2013
Report about the informatics education in Europe; by Informatics Europe More - 07/11/2013
Excellent Results for Computer Science in the National Evaluation of the Research
Following the pubblication of the results of the process concerning the national evaluation of the research in the period 2004-2010 (VQR 2004-2010), the Computer Science Istitute ranks at the first position in the segment of small structures. More - 18/07/2013
Following the pubblication of the results of the process concerning the national evaluation of the research in the period 2004-2010 (VQR 2004-2010), the Computer Science Istitute ranks at the first position in the segment of small structures. More - 18/07/2013
Latest Publications
- Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Network Models
Daniele Codetta Raiteri, Luigi Portinale 2015 - Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft
Daniele Codetta Raiteri, Luigi Portinale 2015 - A Provenly Correct Compilation of Functional Languages into Scripting Languages
Paola Giannini, Albert Shaqiri 2014