Simona Orzan

2007
14	EE	Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241
13	EE	Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
12	EE	Jan van Eijck, Simona Orzan: Epistemic Verification of Anonymity. Electr. Notes Theor. Comput. Sci. 168: 159-174 (2007)
2006
11	EE	Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
10	EE	Simona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006)
9	EE	Simona Orzan, Jaco van de Pol: Distribution of a Simple Shared Dataspace Architecture. Fundam. Inform. 73(4): 535-559 (2006)
2005
8	EE	Simona Orzan, Jaco van de Pol, Miguel Valero Espada: A State Space Distribution Policy Based on Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 128(3): 35-45 (2005)
7	EE	Stefan Blom, Simona Orzan: A distributed algorithm for strong bisimulation reduction of state spaces. STTT 7(1): 74-86 (2005)
6	EE	Stefan Blom, Simona Orzan: Distributed state space minimization. STTT 7(3): 280-291 (2005)
2003
5	EE	Simona Orzan, Jaco van de Pol: Verification of Distributed Dataspace Architectures. Ershov Memorial Conference 2003: 192-206
4	EE	Simona Orzan, Jaco van de Pol: Distribution of a Simple Shared Dataspace Architecture. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
3	EE	Stefan Blom, Simona Orzan: Distributed State Space Minimization. Electr. Notes Theor. Comput. Sci. 80: (2003)
2	EE	Stefan Blom, Simona Orzan: Distributed Branching Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2002
1	EE	Stefan Blom, Simona Orzan: A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 68(4): (2002)

Coauthor Index

1	Stefan Blom	[1] [2] [3] [6] [7] [13]
2	Jens R. Calame	[13]
3	Tom Chothia	[11]
4	Muhammad Torabi Dashti	[11] [13]
5	Francien Dechesne	[14]
6	Jan van Eijck	[12]
7	Miguel Valero Espada	[8]
8	Bert Lisser	[13]
9	Mohammad Reza Mousavi	[14]
10	Jun Pang	[11] [13]
11	Jaco van de Pol	[4] [5] [8] [9] [13]
12	Erik P. de Vink	[10]
13	Anton Wijs	[13]

Colors in the list of coauthors