| |
| 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) |
| 1 | Matteo Cavaliere | [4] [7] |
| 2 | Corrado Priami | [1] [2] [3] [5] |
| 3 | Paola Quaglia | [2] |
| 4 | Sean Sedwards | [7] |
| 5 | Oleksandr Vagin | [2] |