Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2006 | |
| Articolo in rivista | |
| Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 40. Pag.177-206 ISSN:0988-3754. | |
| Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000239790500007 Codice identificativo SCOPUS: 2-s2.0-33746307821 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Modular Strategies for Recursive Game Graphs THEORETICAL COMPUTER SCIENCE. Vol. 354. Pag.230-249 ISSN:0304-3975. | |
| R., Alur; LA TORRE, Salvatore; P., Madhusudan | |
| Codice identificativo ISI: WOS:000236485400005 Codice identificativo SCOPUS: 2-s2.0-33644676096 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| Verification of Well-Formed Communicating Recursive State Machines. In: Proc. ofthe 7th International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006). Lecture Notes in Computer Science BERLIN Springer Vol.3855, Pag.416-426 ISBN:3540311394 | |
| Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006 Charleston -- South Carolina (USA) January 8 - 10, 2006 | |
| Bozzelli, L; LA TORRE, Salvatore; Peron, A. | |
| Codice identificativo ISI: WOS:000235836700027 Codice identificativo SCOPUS: 2-s2.0-33745642477 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| On the Membership Problem for Visibly Pushdown Languages. In: Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Lecture Notes in Computer Science. BERLIN Springer Vol.4218, Pag.96-109 ISBN:3540472371 | |
| Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006 Beijing (China) October 23-26 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000241648200010 Codice identificativo SCOPUS: 2-s2.0-33845197318 | |
| Visualizza sul Database dei Prodotti (IRIS) |
