Salvatore LA TORRE | Publications

14165Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks

	2006
	Articolo in rivista
	Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 40. Pag.177-206 ISSN:0988-3754.
	Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
	Codice identificativo ISI: WOS:000239790500007 Codice identificativo SCOPUS: 2-s2.0-33746307821
	Show it in Product Database (IRIS)

14107Modular Strategies for Recursive Game Graphs

	2006
	Articolo in rivista
	Modular Strategies for Recursive Game Graphs THEORETICAL COMPUTER SCIENCE. Vol. 354. Pag.230-249 ISSN:0304-3975.
	R., Alur; LA TORRE, Salvatore; P., Madhusudan
	Codice identificativo ISI: WOS:000236485400005 Codice identificativo SCOPUS: 2-s2.0-33644676096
	Show it in Product Database (IRIS)

14123On the Membership Problem for Visibly Pushdown Languages

	2006
	Contributo in Atti di convegno
	On the Membership Problem for Visibly Pushdown Languages. In: Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Lecture Notes in Computer Science. BERLIN Springer Vol.4218, Pag.96-109 ISBN:3540472371
	Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006 Beijing (China) October 23-26
	LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
	Codice identificativo ISI: WOS:000241648200010 Codice identificativo SCOPUS: 2-s2.0-33845197318
	Show it in Product Database (IRIS)

14108Verification of Well-Formed Communicating Recursive State Machines

	2006
	Contributo in Atti di convegno
	Verification of Well-Formed Communicating Recursive State Machines. In: Proc. ofthe 7th International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006). Lecture Notes in Computer Science BERLIN Springer Vol.3855, Pag.416-426 ISBN:3540311394
	Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006 Charleston -- South Carolina (USA) January 8 - 10, 2006
	Bozzelli, L; LA TORRE, Salvatore; Peron, A.
	Codice identificativo ISI: WOS:000235836700027 Codice identificativo SCOPUS: 2-s2.0-33745642477
	Show it in Product Database (IRIS)