Mardare, Radu and Policriti, Alberto (2008) Decision problems for Spatial Logics revisited. UNSPECIFIED. (Unpublished)

Ballarini, Paolo and Mura, Ivan and Mardare, Radu (2008) Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking. UNSPECIFIED.

Mardare, Radu and Policriti, Alberto (2008) Towards a Complete Axiomatization for Spatial Logic. UNSPECIFIED.

Cavaliere, Matteo and Mardare, Radu and Sedwards, Sean (2007) Colonies of Synchronizing Agents. UNSPECIFIED.

Mardare, Radu (2007) Dynamic-Epistemic reasoning on distributed systems. UNSPECIFIED.

Mardare, Radu and Cavaliere, Matteo and Sedwards, Sean (2007) A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. UNSPECIFIED.

Ihekwaba, Adaoha and Mardare, Radu (2007) A Process Algebraical Approach to Modelling Compartmentalized Biological Systems. UNSPECIFIED.

Mardare, Radu and Priami, Corrado (2006) Dynamic-Epistemic Spatial Logic. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) Model Checking Dynamic-Epistemic Spatial Logic. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) A Decidable Extension of Hennessy-Milner Logic with Spatial Operators. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) Dynamic Epistemic Spatial Logic. UNSPECIFIED.

Mardare, Radu and Priami, Corrado (2005) The principles of ambient calculus revisited. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2003) Computing the accessibility relation for the Ambient Calculus. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2003) A Propositional Branching Temporal Logic for the Ambient Calculus. UNSPECIFIED. (Unpublished)