Simona Orzan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multiparty contract signing over a reliable network Electronic Notes in Theoretical Computer Science	2016-05-06	Paper
A state space distribution policy based on abstract interpretation	2013-09-25	Paper
Distributed branching bisimulation reduction of state spaces	2013-08-30	Paper
A distributed algorithm for strong bisimulation reduction of state spaces	2013-08-16	Paper
Invariants for parameterised Boolean equation systems Theoretical Computer Science	2010-03-29	Paper
Static Analysis Techniques for Parameterised Boolean Equation Systems Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
A Framework for Automatically Checking Anonymity with μCRL Trustworthy Global Computing	2009-03-05	Paper
Refinement of Kripke Models for Dynamics Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
Fair Exchange Is Incomparable to Consensus Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
Invariants for Parameterised Boolean Equation Systems CONCUR 2008 - Concurrency Theory	2008-11-25	Paper
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Distribution of a simple shared dataspace architecture	2007-01-04	Paper

Research outcomes over time

This page was built for person: Simona Orzan