Concepedia

Simona Orzan

SO

Statistics

Publications

8

Citations

266

H-Index

8

Active since

2002

Affiliations

Centrum Wiskunde & Informatica(Current)

Eindhoven University of Technology

Simona Orzan is an author at Centrum Wiskunde & Informatica specializing in computer science, computing, and distributed systems.

Publications per year

2002–2009

8

Publications

8

Distributed Branching Bisimulation Reduction of State Spaces

Stefan Blom, Simona Orzan · Electronic Notes in Theoretical Computer Science · 2003 · 62 citations · Full text

Computing, Computer Engineering, Computer Science +17

A distributed algorithm for strong bisimulation reduction of state spaces

Stefan Blom, Simona Orzan · International Journal on Software Tools for Technology Transfer · 2005 · 60 citations

Computing, Computer Engineering, Computer Science +14

Distributed state space minimization

Stefan Blom, Simona Orzan · International Journal on Software Tools for Technology Transfer · 2005 · 41 citations

Computing, Computer Science, Distributed Systems +9

Epistemic Verification of Anonymity

Jan van Eijck, Simona Orzan · Electronic Notes in Theoretical Computer Science · 2007 · 40 citations · Full text

Computing, Computer Science, Cybersecurity +17

A State Space Distribution Policy Based on Abstract Interpretation

Simona Orzan, Jaco van de Pol, Miguel Valero Espada · Electronic Notes in Theoretical Computer Science · 2005 · 25 citations · Full text

Computing, Computer Science, Computer Systems +12

1–5 of 8