Research on "Formal Methods in Computing"

Paola Bonfante, Francesca Cordero, Stefano Ghignone, Dino Ienco, Luisa Lanfranco, Giorgio Leonardi, Rosa Meo, Stefania Montani, Luca Roversi, and Alessia Visconti. A Modular Database Architecture Enabled to Comparative Sequence Analysis. LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems, 6990:124 - 147, 2011. [ bib | DOI | .pdf ]

Cordero, Francesca and Ghignone, Stefano and Lanfranco, Luisa and Leonardi, Giorgio and Meo, Rosa and Montani, Stefania and Roversi, Luca. BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse, volume Database Technology for Life Sciences and Medicine of Science, Engineering, and Biology Informatics, chapter 7, pages 139 - 155. World Scientific Publishing Company, Singapore, 2010. [ bib | .pdf ]

Matteo Baldoni, Cristina Baroglio, Claudio Grandi, and Luca Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294 - 295, Genova, July 2005. ECIG Edizioni Culturali Internazionali Genova. [ bib | .html ]

Matteo Baldoni, Cristina Baroglio, S. De Marchis, Barbara Demo, Alberto Martelli, Isabelle Perroteau, and Luca Roversi. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Settembre 2005. [ bib ]

Krastio Atanassov and Luca Roversi. Oracle 8i on Linux RH7.X Installation HOWTO. Dipartimento di Informatica - Università di Torino, 2002. Linux Domcumentation Project (http://tldp.org/HOWTO/Oracle8-on-RH7X-HOWTO.html). [ bib ]