Publications (Roberto Di Cosmo)


Publication list

You can keep track of most of my publications by looking at my DBLP entry. On this page I mention just a few extra documents that do not fit into the DBLP schema.

Books

  • Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Design
  • Contents and Overview

    • Course Notes

  • Introduction to Linear Logic

    • General surveys

  • An introductory survey article on Linear Logic co-written with Dale Miller for the Stanford Encyclopedia of Phylosophy is available online since September 2006.

    • Influential, and published material

  • I wrote a detailed analysis of the issues related to scientific publication in the Internet era, titled Scientific Publications: The Role of Public Administrations in The ICT Era, which got the best paper award for 2006.

    • Influential, but unpublished material

  • On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack. This paper describes in detail an attack on multiple-choice voting schemas, that has gone largely unnoticed in the literature. Written in 2006, to complement my original Wikipedia article dating back to January 2005, it is still unpublished up to now: I did not find yet the necessary energy to go through the process of getting it accepted in the scholar community working on security, which is not my research domain. And yet, it is probably my most referenced and more influential article to date (just Google it around a bit).