Suzana Andova

Identifiers

• name variant Suzana Andova 0.60 · backfill

Papers (4)

1. Testing Reactive Probabilistic Processes cs.LO · 2010 · author #2
2. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications cs.LO · 2009 · author #1
3. Testing Probabilistic Processes: Can Random Choices Be Unobservable? cs.LO · 2009 · author #2
4. A framework for compositional verification of security protocols cs.CR · 2006 · author #1

Mentions

• 1006.5100 #2 · backfill · confidence 0.70 Suzana Andova
• 0912.2128 #1 · backfill · confidence 0.70 Suzana Andova
• 0907.1540 #2 · backfill · confidence 0.70 Suzana Andova

Frequent Coauthors

• Sonja Georgievska 2 shared papers
• Annabelle McIver 1 shared papers
• Caroll Morgan 1 shared papers
• Cas Cremers 1 shared papers
• Jasen Markovski 1 shared papers
• Kristian Gjosteen 1 shared papers
• Manuel N\'u\~nez 1 shared papers
• Pedro D'Argenio 1 shared papers
• Pieter Cuijpers 1 shared papers
• Sasa Radomirovic 1 shared papers
• Sjouke Mauw 1 shared papers
• Stig F. Mjolsnes 1 shared papers