Roberto Montagna

	2009
5		Giorgio Delzanno, Roberto Montagna: Deciding Reachability in Mobile Ambients with Name Restriction. Electr. Notes Theor. Comput. Sci. 239: 5-15 (2009)
	2008
4		Giorgio Delzanno, Roberto Montagna: Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Asp. Comput. 20(4-5): 407-428 (2008)
	2007
3		Giorgio Delzanno, Roberto Montagna: On Reachability and Spatial Reachability in Fragments of BioAmbients. Electr. Notes Theor. Comput. Sci. 171(2): 69-79 (2007)
	2006
2		Giorgio Delzanno, Roberto Montagna: Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. ICTAC 2006: 302-316
	2005
1		Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi: BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223

Coauthor Index

1	Giorgio Delzanno	[1] [2] [3] [4] [5]
2	Maurizio Martelli	[1]
3	Viviana Mascardi	[1]