MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Mikael Buchholtz" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Automated analysis of infinite scenarios  
  • by Mikael Buchholtz — 2005 — In Proceedings of Trustworthy Global Computing (TGC 2005), Lecture Notes in Computer Science
  • …Automated Analysis of Infinite Scenarios Mikael Buchholtz ⋆ Informatics and Mathematical Modelling…
  • Cited by 1 (1 self) – Add To MetaCart
  • For-LySa: UML for authentication analysis  
  • by Mikael Buchholtz, Carlo Montangero, Lara Perrone — 2004 — Proceedings of the second workshop on Global Computing, volume 3267 of Lecture Notes in Computer Science
  • …For-LySa: UML for Authentication Analysis ⋆ Mikael Buchholtz 1 , Carlo Montangero 2 , Lara Perrone…
  • Cited by 6 (2 self) – Add To MetaCart
  • Experiments with Succinct Solvers  
  • by Mikael Buchholtz, Buchholtz Hanne, Hanne Riis Nielson, Flemming Nielson — 2002
  • …Experiments with Succinct Solvers Authors : Mikael Buchholtz Hanne Riis Nielson Flemming Nielson…
  • Cited by 3 (1 self) – Add To MetaCart
  • Static validation of security protocols  
  • by Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson — 2005 — Journal of Computer Security
  • …Static Validation of Security Protocols ∗ Chiara Bodei 1 , Mikael Buchholtz 2 , Pierpaolo Degano 1…
  • Cited by 18 (6 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB