by Danelutto, M., Di Cosmo, R.
Published in Procedia Computer Science (01.01.2012)

by Fiore, M., Di Cosmo, R., Balat, V.
Published in Proceedings - Symposium on Logic in Computer Science (01.01.2002)

by Fiore, Marcelo, Di Cosmo, Roberto, Balat, Vincent
Published in Annals of pure and applied logic (01.08.2006)

by Abate, P, Di Cosmo, R
Published in 2011 IEEE 27th International Conference on Data Engineering Workshops (01.04.2011)

by DI COSMO, ROBERTO
Published in Mathematical structures in computer science (01.10.2005)

by Di Cosmo, Roberto, Pottier, François, Rémy, Didier
Published in Lecture notes in computer science (01.01.2005)

by DI COSMO, Roberto, DUFOUR, Thomas
Published in Lecture notes in computer science (2005)

by Clément, F., Martin, V., Vodicka, A., Di Cosmo, R., Weis, P.
Published in Parallel computing (01.09.2006)

by Guariso, Graziella, Visonà Dalla Pozza, Laura, Manea, Silvia, Salmaso, Laura, Lodde, Veronica, Facchin, Paola
Published in Pediatric transplantation (01.11.2007)

by Di Cosmo, R.
Published in 2011 IEEE International Workshop on Open-source Software for Scientific Computation (01.10.2011)

by Abate, P., Di Cosmo, R., Boender, J., Zacchiroli, S.
Published in 2009 3rd International Symposium on Empirical Software Engineering and Measurement (01.10.2009)

by Artho, C., Suzaki, K., Di Cosmo, R., Treinen, R., Zacchiroli, S.
Published in 2012 9th IEEE Working Conference on Mining Software Repositories (MSR) (01.06.2012)

by Di Cosmo, R., Kesner, D.
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)

by Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Mancinelli, F.
Published in 2008 32nd Annual IEEE International Computer Software and Applications Conference (01.07.2008)

by Dicosmo, R.
Published in Information and computation (01.06.1995)

by Belbusti, F, Di Cosmo, R, Locatelli, J, De Oliveira Costa, J, Vasta, M, Donati, L
Published in Minerva medica (12.05.1982)