Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2001 | |
| Articolo in rivista | |
| Parametric temporal logic for "model measuring" ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 2. Pag.388-407 ISSN:1529-3785. | |
| Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. | |
| Digital Object Identifier (DOI): 10.1145/377978.377990 Codice identificativo SCOPUS: 2-s2.0-27644510684 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| A Model of Finite Automata on Timed omega-Trees ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 42. Pag.1-16 ISSN:1571-0661. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1016/S1571-0661(04)80884-3 Codice identificativo SCOPUS: 2-s2.0-18944400508 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Automata-based Representations for Infinite Graphs RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 35. Pag.311-330 ISSN:0988-3754. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1051/ita:2001122 Codice identificativo ISI: WOS:000173251500001 Codice identificativo SCOPUS: 2-s2.0-14244273624 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Timed tree Automata with an application to Temporal Logic ACTA INFORMATICA. Vol. 38. Pag.89-116 ISSN:0001-5903. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1007/s002360100067 Codice identificativo ISI: WOS:000172558100001 Codice identificativo SCOPUS: 2-s2.0-0035498097 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Deterministic Generators and Games for LTL Fragments. In: Proc. of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001) IEEE Computer Society Press Pag.291-302 | |
| 16th Annual IEEE Symposium on Logic in Computer Science Boston -- Massachusetts (USA) June 16 - 19, 2001 | |
| Alur, R; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1109/LICS.2001.932505 Codice identificativo ISI: WOS:000170688700028 Codice identificativo SCOPUS: 2-s2.0-0034858404 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. In: Proc. of the 3rd International Conference on Machines, Computations and Universality (MCU’01). Lecture Notes in Computer Science Berlin Springer Vol.2055, Pag.264-275 ISBN:3540421211 | |
| 3rd INTERNATIONAL CONFERENCE ON MACHINES, COMPUTATIONS AND UNIVERSALITY Chisinau (Moldavia) May 23-27, 2001 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo SCOPUS: 2-s2.0-2142736604 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Optimal Paths in Weighted Timed Automata. In: Proc. of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001). Lecture Notes in Computer Science. BERLIN Springer Vol.2034, Pag.49-62 ISBN:3540418660 | |
| 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001 Roma (Italia) March 28-30, 2001. | |
| Alur, R; LA TORRE, Salvatore; Pappas, G. | |
| Digital Object Identifier (DOI): 10.1007/3-540-45351-2_8 Codice identificativo SCOPUS: 2-s2.0-84944225404 | |
| Visualizza sul Database dei Prodotti (IRIS) |
