| 2009 |
|---|
| 10 | EE | Paolo Ballarini,
Radu Mardare,
Ivan Mura:
Analysing Biochemical Oscillation through Probabilistic Model Checking.
Electr. Notes Theor. Comput. Sci. 229(1): 3-19 (2009) |
| 2008 |
|---|
| 9 | EE | Radu Mardare,
Alberto Policriti:
A Complete Axiomatic System for a Process-Based Spatial Logic.
MFCS 2008: 491-502 |
| 8 | EE | Radu Mardare,
Matteo Cavaliere,
Sean Sedwards:
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.
Int. J. Found. Comput. Sci. 19(5): 1199-1221 (2008) |
| 7 | EE | Matteo Cavaliere,
Radu Mardare,
Sean Sedwards:
A multiset-based model of synchronizing agents: Computability and robustness.
Theor. Comput. Sci. 391(3): 216-238 (2008) |
| 2007 |
|---|
| 6 | EE | Radu Mardare:
Observing Distributed Computation. A Dynamic-Epistemic Approach.
CALCO 2007: 379-393 |
| 2006 |
|---|
| 5 | EE | Radu Mardare,
Corrado Priami:
Decidable Extensions of Hennessy-Milner Logic.
FORTE 2006: 196-211 |
| 4 | EE | Matteo Cavaliere,
Radu Mardare:
Partial Knowledge in Membrane Systems: A Logical Approach.
Workshop on Membrane Computing 2006: 279-297 |
| 2005 |
|---|
| 3 | EE | Radu Mardare,
Corrado Priami:
Logical Analysis of Biological Systems.
Fundam. Inform. 64(1-4): 275-289 (2005) |
| 2004 |
|---|
| 2 | EE | Radu Mardare,
Corrado Priami,
Paola Quaglia,
Oleksandr Vagin:
Model Checking Biological Systems Described Using Ambient Calculus.
CMSB 2004: 85-103 |
| 1 | EE | Radu Mardare,
Corrado Priami:
A Logical Approach to Security in the Context of Ambient Calculus.
Electr. Notes Theor. Comput. Sci. 99: 3-29 (2004) |
