Salvatore LA TORRE | 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) |