Home Advanced Search

Advanced Search - Page 1

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
  • PDF
  • English
  • Year: 2019
  • Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
  • EPUB
  • English
  • Year: 2019
  • Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Predicates and Fibrations
  • PDF
  • English
  • Year: 1990
  • Author: Dusko Pavlovic
Programs as Diagrams: From Categorical Computability to Computable Categories
  • PDF
  • English
  • Year: 2023
  • Author: Dusko Pavlovic
Programs as Diagrams: From Categorical Computability to Computable Categories
  • EPUB
  • English
  • Year: 2023
  • Author: Dusko Pavlovic
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
search