Search the dblp DataBase

Publications of Author

1. Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
   Model Checking Biological Systems Described Using Ambient Calculus. [Citation Graph (0, 0)][DBLP]
   CMSB, 2004, pp:85-103 [Conf]
   
2. Radu Mardare, Corrado Priami
   Decidable Extensions of Hennessy-Milner Logic. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:196-211 [Conf]
   
3. Matteo Cavaliere, Radu Mardare
   Partial Knowledge in Membrane Systems: A Logical Approach. [Citation Graph (0, 0)][DBLP]
   Workshop on Membrane Computing, 2006, pp:279-297 [Conf]
   
4. Radu Mardare, Corrado Priami
   A Logical Approach to Security in the Context of Ambient Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:3-29 [Journal]
   
5. Radu Mardare, Corrado Priami
   Logical Analysis of Biological Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:64, n:1-4, pp:275-289 [Journal]
   
6. Radu Mardare
   Observing Distributed Computation. A Dynamic-Epistemic Approach. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:379-393 [Conf]
   
7. 
   A Complete Axiomatic System for a Process-Based Spatial Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Analysing Biochemical Oscillation through Probabilistic Model Checking. [Citation Graph (, )][DBLP]