Salvatore LA TORRE | Publications

12095Deterministic finite automata with recursive calls and DPDAs

	2003
	Articolo in rivista
	Deterministic finite automata with recursive calls and DPDAs INFORMATION PROCESSING LETTERS. Vol. 87. Pag.187-193 ISSN:0020-0190.
	Gallier, J; LA TORRE, Salvatore; Mukhopadhyay, S.
	Codice identificativo ISI: WOS:000184631400003 Codice identificativo SCOPUS: 2-s2.0-0043172394
	Show it in Product Database (IRIS)

9596Finite automata on timed omega-trees.

	2003
	Articolo in rivista
	Finite automata on timed omega-trees. THEORETICAL COMPUTER SCIENCE. Vol. 293. Pag.479-505 ISSN:0304-3975.
	LA TORRE, Salvatore; Napoli, Margherita
	Codice identificativo ISI: WOS:000180905300002 Codice identificativo SCOPUS: 2-s2.0-0037427175
	Show it in Product Database (IRIS)

19705Modular Strategies for Recursive Game Graphs

	2003
	Contributo in Atti di convegno
	Modular Strategies for Recursive Game Graphs. In: Proc. of the 9th International Conference onTools and Algorithms for the Construction and the Analysis of Systems (TACAS 2003) BERLIN Springer Vol.2619, Pag.363-378 ISBN:3-540-00898-5
	Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, (Poland) April 7-11, 2003
	Alur, R; LA TORRE, Salvatore; Madhusudan, P.
	Codice identificativo ISI: WOS:000183012400025 Codice identificativo SCOPUS: 2-s2.0-26444569586
	Show it in Product Database (IRIS)

11989Hierarchical and Recursive State Machines with Context-Dependent Properties

	2003
	Contributo in Atti di convegno
	Hierarchical and Recursive State Machines with Context-Dependent Properties. In: Proc. of the 30th International Colloquium on Automata, Languages and Programming (ICALP 2003). Lecture Notes in Computer Science Berlin Springer Vol.2719, Pag.776-789 ISBN:3540404937
	ICALP '03 Eindhoven (The Netherlands) June 30 - July 4, 2003
	LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
	Codice identificativo ISI: WOS:000185145700061 Codice identificativo SCOPUS: 2-s2.0-35248871028
	Show it in Product Database (IRIS)

19702Modular Strategies for Infinite Games on Recursive Graphs

	2003
	Contributo in Atti di convegno
	Modular Strategies for Infinite Games on Recursive Graphs. In: Proc. of the 15th International Conference on Computer-Aided Verification (CAV 2003). Lecture Notes in Computer Science. BERLIN Springer Vol.2725, Pag.67-79 ISBN:3-540-40524-0
	Computer Aided Verification, 15th International Conference, CAV 2003 Boulder -- Colorado (USA) July 8 - 12, 2003
	Alur, R; LA TORRE, Salvatore; Madhusudan, P.
	Codice identificativo ISI: WOS:000185145800006 Codice identificativo SCOPUS: 2-s2.0-33644689137
	Show it in Product Database (IRIS)

19703Playing Games with Boxes and Diamonds

	2003
	Contributo in Atti di convegno
	Playing Games with Boxes and Diamonds. In: Proc. of the 14th International Conference on Concurrency Theory (CONCUR 2003). Lecture Notes in Computer Science BERLIN Springer Vol.2761, Pag.127-141 ISBN:3540407537
	CONCUR 2003 - Concurrency Theory Marseille (France) September 3-5, 2003
	Alur, R; LA TORRE, Salvatore; Madhusudan, P.
	Codice identificativo ISI: WOS:000185948700008 Codice identificativo SCOPUS: 2-s2.0-35248822590
	Show it in Product Database (IRIS)