Mardare, Iulian Radu
Mardare, Iulian Radu
A Decidable Extension of Hennessy-Milner Logic with Spatial Operators
2006-01-01 Mardare, Radu; Priami, Corrado
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents
2007-01-01 Mardare, Radu; Cavaliere, Matteo; Sedwards, Sean
A Process Algebraical Approach to Modelling Compartmentalized Biological Systems
2007-01-01 Mardare, Radu; Ihekwaba, Adaoha
A Propositional Branching Temporal Logic for the Ambient Calculus
2003-01-01 Priami, Corrado; Mardare, Radu
Colonies of Synchronizing Agents
2007-01-01 Mardare, Radu; Sedwards, Sean; Cavaliere, Matteo
Computing the accessibility relation for the Ambient Calculus
2003-01-01 Mardare, Radu; Priami, Corrado
Decidable extensions of Hennessy-Milner Logic
2006-01-01 Mardare, Iulian Radu; Priami, Corrado
Decision Problems for Spatial Logics Revisited
2008-01-01 Policriti, Alberto; Mardare, Radu
Dynamic Epistemic Spatial Logic
2006-01-01 Mardare, Radu; Priami, Corrado
Dynamic-Epistemic Reasoning on Distributed Systems
2007-01-01 Mardare, Radu
Dynamic-Epistemic Spatial Logic
2006-01-01 Mardare, Radu; Priami, Corrado
Model Checking Dynamic-Epistemic Spatial Logic
2006-01-01 Mardare, Radu; Priami, Corrado
Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking
2008-01-01 Ballarini, Paolo; Mura, Ivan; Mardare, Radu
The principles of ambient calculus revisited
2005-01-01 Mardare, Radu; Priami, Corrado
Towards a Complete Axiomatization for Spatial Logic
2008-01-01 Mardare, Radu; Policriti, Alberto