The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simona Orzan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simona Orzan, Jaco van de Pol
    Verification of Distributed Dataspace Architectures. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:192-206 [Conf]
  2. 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]
  3. 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]
  4. Stefan Blom, Simona Orzan
    Distributed State Space Minimization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Stefan Blom, Simona Orzan
    Distributed state space minimization. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:280-291 [Journal]
  12. 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]
  13. 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]

  14. Invariants for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]


  15. Refinement of Kripke Models for Dynamics. [Citation Graph (, )][DBLP]


  16. Fair Exchange Is Incomparable to Consensus. [Citation Graph (, )][DBLP]


  17. Parameterised Anonymity. [Citation Graph (, )][DBLP]


  18. Static Analysis Techniques for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]


  19. A Framework for Automatically Checking Anonymity with mu CRL. [Citation Graph (, )][DBLP]


  20. Data Failures. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002