Home Advanced Search

Advanced Search - Page 1

A Process Algebraic Approach to Software Architecture Design
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
  • PDF
  • English
  • Year: 2010
  • Author: Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
Italy’s Top Products in World Trade: The Fortis-Corradini Index
  • PDF
  • English
  • Year: 2015
  • Author: Marco Fortis, Stefano Corradini, Monica Carminati (auth.)
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures
  • PDF
  • English
  • Year: 2004
  • Author: Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)
User-Centric Networking: Future Perspectives
  • PDF
  • English
  • Year: 2014
  • Author: Alessandro Aldini, Alessandro Bogliolo (eds.)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
search