Pubblicazioni

Salvatore LA TORRE Pubblicazioni


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
Visualizza sul Database dei Prodotti (IRIS)
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
Visualizza sul Database dei Prodotti (IRIS)
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
Visualizza sul Database dei Prodotti (IRIS)
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
Visualizza sul Database dei Prodotti (IRIS)
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
Visualizza sul Database dei Prodotti (IRIS)
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.
Visualizza sul Database dei Prodotti (IRIS)