Also look at My Scholar Profile :-)

  • Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti,
    On Quantitative Security Policies,
    PaCT-2011, Kazan, Russia, Sept 19-23, 2011 --- -pdf-
    The product may include trace amounts of measure theory, logic and dried fruit.
  • G.Mezzetti, G. Checcucci, B.E. Maserti, R. Del Carratore,
    Conserved sequences in orthologues CYP51 promoters,
    Poster at BITS-2011, Pisa, Itay, June 20-22, 2011 --- -pdf-
  • Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti,
    Typing Context-Dependent Behavioural Variations,
    PLACES-2012, --- -pdf-
    The product may include trace amounts of type-systems massaged with great quantities of Jojoba oil.
  • Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti,
    Types for Coordinating Secure Behavioural Variations,
    COORDINATION-2012, --- -pdf-
  • Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti,
    Nominal Automata for Resource Usage Control,
    CIAA-2012, --- -pdf-
  • Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti,
    Formalising Security in Ubiquitous and Cloud Scenarios,
    CISIM-2012, --- -pdf-
  • Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti,
    Towards Nominal Context-Free Model-Checking,
    CIAA-2013, --- -pdf-