Concepedia

Suzana Andova

SA

Statistics

Publications

11

Citations

366

H-Index

10

Active since

1997

Affiliations

Eindhoven University of Technology(Current)

Norwegian University of Science and Technology

Leiden University

Suzana Andova is an author at Eindhoven University of Technology specializing in computer science, computing, and formal methods.

Publications per year

1997–2012

11

Publications

11

Probabilistic process algebra

Suzana Andova · TU/e Research Portal · 2002 · 105 citations · Full text

Computing, Computer Science, Computer Systems +8

A framework for compositional verification of security protocols

Suzana Andova, Cas Cremers, Kristian Gjøsteen et al. · Information and Computation · 2007 · 59 citations · Full text

Computing, Computer Science, Cybersecurity +14

Discrete-time rewards model-checked (to appear)

Suzana Andova, Holger Hermanns, Joost-Pieter Katoen · Formal Modeling and Analysis of Timed Systems · 2003 · 45 citations

Computing, Mathematics, Reward Systems +6

Branching bisimulation for probabilistic systems: Characteristics and decidability

Suzana Andova, Tim A. C. Willemse · Theoretical Computer Science · 2006 · 31 citations · Full text

Engineering, Computer Science, Mathematics +11

Cryptcoding : encryption and error-correction coding in a single step

Danilo Gligoroski, Svein J. Knapskog, Suzana Andova · TU/e Research Portal · 2006 · 28 citations

Engineering, Computer Science, Computer Security +12

1–5 of 11