Home Advanced Search

Advanced Search - Page 1

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Principles of Program Analysis
  • PDF
  • English
  • Year: 1999
  • Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Greg Nelson (auth.), Alessandro Armando (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Semantics with applications: an appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Nielson, Flemming;Nielson, Hanne Riis
Semantics with applications : an appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Hanne Riis Nielson; Flemming Nielson
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Flemming Nielson, David Sands
Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
  • PDF
  • English
  • Year: 2017
  • Author: Xiaofeng Gao,Hongwei Du,Meng Han (eds.)
search