Salvatore LA TORRE | Publications

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)

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)

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)

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)