Search the dblp DataBase

Publications of Author

1. Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi
   BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. [Citation Graph (0, 0)][DBLP]
   EUMAS, 2005, pp:214-223 [Conf]
   
2. Giorgio Delzanno, Roberto Montagna
   Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:302-316 [Conf]
   
3. Giorgio Delzanno, Roberto Montagna
   On Reachability and Spatial Reachability in Fragments of BioAmbients. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:69-79 [Journal]
   
4. 
   Simulations of the EGFR - KRAS - MAPK Signalling Network in Colon Cancer. Virtual Mutations and Virtual Treatments with Inhibitors Have More Important Effects Than a 10 Times Range of Normal Parameters and Rates Fluctuations. [Citation Graph (, )][DBLP]
   
   
5. 
   Deciding Reachability in Mobile Ambients with Name Restriction. [Citation Graph (, )][DBLP]