S. Andova

Available identifiers

zbMath Open andova.suzanaMaRDI QIDQ764286

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5151036	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q2989000	2017-05-19	Paper
Dynamic Consistency in Process Algebra: From Paradigm to ACP	2015-03-19	Paper
Equivalences for silent transitions in probabilistic systems (extended abstract)	2013-09-25	Paper
Probabilistic may/must testing: retaining probabilities by restricted schedulers	2013-03-22	Paper
Branching bisimulation congruence for probabilistic systems	2012-03-13	Paper
Dynamic consistency in process algebra: from paradigm to ACP	2011-06-07	Paper
Retaining the Probabilities in Probabilistic Testing Theory	2010-04-27	Paper
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems	2009-02-03	Paper
A framework for compositional verification of security protocols	2008-04-16	Paper
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification	2007-09-04	Paper
Branching bisimulation for probabilistic systems: characteristics and decidability	2006-05-29	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4708427	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2769588	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2767184	2002-01-28	Paper

Research outcomes over time

This page was built for person: S. Andova