|
Search the dblp DataBase
Simona Orzan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Simona Orzan, Jaco van de Pol
Verification of Distributed Dataspace Architectures. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2003, pp:192-206 [Conf]
- Stefan Blom, Simona Orzan
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
- Stefan Blom, Simona Orzan
Distributed Branching Bisimulation Reduction of State Spaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
- Stefan Blom, Simona Orzan
Distributed State Space Minimization. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
- Simona Orzan, Jaco van de Pol
Distribution of a Simple Shared Dataspace Architecture. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
- Simona Orzan, Jaco van de Pol, Miguel Valero Espada
A State Space Distribution Policy Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:35-45 [Journal]
- Simona Orzan, Erik P. de Vink
Multiparty Contract Signing Over a Reliable Network. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:3, pp:27-41 [Journal]
- Jan van Eijck, Simona Orzan
Epistemic Verification of Anonymity. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:159-174 [Journal]
- Simona Orzan, Jaco van de Pol
Distribution of a Simple Shared Dataspace Architecture. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:73, n:4, pp:535-559 [Journal]
- Stefan Blom, Simona Orzan
A distributed algorithm for strong bisimulation reduction of state spaces. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:1, pp:74-86 [Journal]
- Stefan Blom, Simona Orzan
Distributed state space minimization. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:3, pp:280-291 [Journal]
- Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:226-241 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:683-689 [Conf]
Invariants for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]
Refinement of Kripke Models for Dynamics. [Citation Graph (, )][DBLP]
Fair Exchange Is Incomparable to Consensus. [Citation Graph (, )][DBLP]
Parameterised Anonymity. [Citation Graph (, )][DBLP]
Static Analysis Techniques for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]
A Framework for Automatically Checking Anonymity with mu CRL. [Citation Graph (, )][DBLP]
Data Failures. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|