Salvatore LA TORRE | Publications

18665The Firing Squad Synchronization Problem on Squares, Toruses and Rings

	2007
	Articolo in rivista
	The Firing Squad Synchronization Problem on Squares, Toruses and Rings INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 18. Pag.637-654 ISSN:0129-0541.
	Gruska, J; LA TORRE, Salvatore; Parente, Domenico
	Codice identificativo ISI: WOS:000251155900012 Codice identificativo SCOPUS: 2-s2.0-34249750503
	Show it in Product Database (IRIS)

18904The word problem for visibly pushdown languages described by grammars

	2007
	Articolo in rivista
	The word problem for visibly pushdown languages described by grammars FORMAL METHODS IN SYSTEM DESIGN. Vol. 31 (3). Pag.265-279 ISSN:0925-9856.
	LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
	Digital Object Identifier (DOI): 10.1007/s10703-007-0040-7 Codice identificativo ISI: WOS:000250580800004 Codice identificativo SCOPUS: 2-s2.0-35649027452
	Show it in Product Database (IRIS)

41017A Robust Class of Context-Sensitive Languages

	2007
	Contributo in Atti di convegno
	A Robust Class of Context-Sensitive Languages. In: Proc. of the 22nd Annual IEEE Symposium on Logic in Computer Science,(LICS 2007) IEEE COMPUTER SOCIETY PRESS Pag.161-170 ISBN:0769529089
	22nd Annual IEEE Symposium on Logic in Computer Science Wroclaw, Poland 10-12 July 2007
	LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
	Codice identificativo ISI: WOS:000248944000016 Codice identificativo SCOPUS: 2-s2.0-82755165825
	Show it in Product Database (IRIS)

18893Verification of Succinct Hierarchical State Machines

	2007
	Contributo in Atti di convegno
	Verification of Succinct Hierarchical State Machines. In: Proc. of the 1st International Conference on Language and Automata Theory and Applications, (LATA 2007). Universitat Rovira i Virgili, Tarragona Vol.Report 35/07, Pag.485-496
	1st International Conference on Language and Automata Theory and Applications, LATA 2007 Tarragona (Spain) March 29 - April 4, 2007
	LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
	Show it in Product Database (IRIS)

18667On the Complexity of LTL Model-Checking of Recursive State Machines

	2007
	Contributo in Atti di convegno
	On the Complexity of LTL Model-Checking of Recursive State Machines. In: Proc. of the 34th International Colloquium on Automata, Languages andProgramming (ICALP 2007). Lecture Notes in Computer Science BERLIN Springer Vol.4596, Pag.937-948 ISBN:3540734198
	34th International Colloquium on Automata, Languages and Programming, ICALP 2007 Wroclaw (Poland) July 9 - 13, 2007
	LA TORRE, Salvatore; Parlato, G.
	Codice identificativo ISI: WOS:000248143000079 Codice identificativo SCOPUS: 2-s2.0-38149035168
	Show it in Product Database (IRIS)

18666Decision Problems for lower/upper bound Parametric Timed Automata

	2007
	Contributo in Atti di convegno
	Decision Problems for lower/upper bound Parametric Timed Automata. In: Proc. of the 34th International Colloquium on Automata, Languages andProgramming (ICALP 2007). Lecture Notes in Computer Science BERLIN Springer Vol.4596, Pag.925-936 ISBN:3540734198
	Automata, Languages and Programming, 34th International Colloquium, ICALP 2007 Wroclaw (Poland) July 9 - 13, 2007
	Bozzelli, L; LA TORRE, Salvatore
	Codice identificativo ISI: WOS:000248143000078 Codice identificativo SCOPUS: 2-s2.0-38149024855
	Show it in Product Database (IRIS)