Suzana Andova

	2009
15		Suzana Andova, Sonja Georgievska: On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM 2009: 67-78
14		Sonja Georgievska, Suzana Andova: Testing Probabilistic Processes: Can Random Choices Be Unobservable? CoRR abs/0907.1540: (2009)
	2008
13		Danilo Gligoroski, Suzana Andova, Svein J. Knapskog: On the Importance of the Key Separation Principle for Different Modes of Operation. ISPEC 2008: 404-418
12		Suzana Andova, Luuk P. J. Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283
11		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008)
	2006
10		Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse: A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. CONCUR 2006: 327-342
9		Danilo Gligoroski, Svein J. Knapskog, Suzana Andova: Cryptcoding - Encryption and Error-Correction Coding in a Single Step. Security and Management 2006: 145-151
8		Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols CoRR abs/cs/0611062: (2006)
7		Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)
	2005
6		Suzana Andova, Tim A. C. Willemse: Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 128(2): 53-66 (2005)
	2003
5		Suzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
	2002
4		Suzana Andova, Jos C. M. Baeten: Alternative composition does not imply non-determinism. Bulletin of the EATCS 76: 125-127 (2002)
	2001
3		Suzana Andova, Jos C. M. Baeten: Abstraction in Probabilistic Process Algebra. TACAS 2001: 204-219
	2000
2		Suzana Andova: Time and Probability in Process Algebra. AMAST 2000: 323-338
	1999
1		Suzana Andova: Process Algebra with Probabilistic Choice. ARTS 1999: 111-129

Coauthor Index

1	Jos C. M. Baeten	[3] [4] [10]
2	Cas J. F. Cremers	[8] [11]
3	Sonja Georgievska	[14] [15]
4	Kristian Gjøsteen	[8] [11]
5	Danilo Gligoroski	[9] [13]
6	Luuk P. J. Groenewegen	[12]
7	Holger Hermanns	[5]
8	Joost-Pieter Katoen	[5]
9	Svein J. Knapskog	[9] [13]
10	Sjouke Mauw	[8] [11]
11	Stig Fr. Mjølsnes	[8] [11]
12	Sasa Radomirovic	[8] [11]
13	Jan H. S. Verschuren	[12]
14	Erik P. de Vink	[12]
15	Tim A. C. Willemse	[6] [7] [10]

Colors in the list of coauthors