Mardare, Iulian Radu

Mardare, Iulian Radu  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.02 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Decidable Extension of Hennessy-Milner Logic with Spatial Operators 1-gen-2006 Mardare, RaduPriami, Corrado
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents 1-gen-2007 Mardare, RaduSedwards, Sean +
A Process Algebraical Approach to Modelling Compartmentalized Biological Systems 1-gen-2007 Mardare, Radu +
A Propositional Branching Temporal Logic for the Ambient Calculus 1-gen-2003 Priami, CorradoMardare, Radu
Colonies of Synchronizing Agents 1-gen-2007 Mardare, RaduSedwards, Sean +
Computing the accessibility relation for the Ambient Calculus 1-gen-2003 Mardare, RaduPriami, Corrado
Decidable extensions of Hennessy-Milner Logic 1-gen-2006 Mardare, Iulian RaduPriami, Corrado
Decision Problems for Spatial Logics Revisited 1-gen-2008 Mardare, Radu +
Dynamic Epistemic Spatial Logic 1-gen-2006 Mardare, RaduPriami, Corrado
Dynamic-Epistemic Reasoning on Distributed Systems 1-gen-2007 Mardare, Radu
Dynamic-Epistemic Spatial Logic 1-gen-2006 Mardare, RaduPriami, Corrado
Model Checking Dynamic-Epistemic Spatial Logic 1-gen-2006 Mardare, RaduPriami, Corrado
Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking 1-gen-2008 Ballarini, PaoloMardare, Radu +
The principles of ambient calculus revisited 1-gen-2005 Mardare, RaduPriami, Corrado
Towards a Complete Axiomatization for Spatial Logic 1-gen-2008 Mardare, Radu +