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