Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2004 | |
| Articolo in rivista | |
| Optimal paths in weighted timed automata THEORETICAL COMPUTER SCIENCE. Vol. 318. Pag.297-322 ISSN:0304-3975. | |
| Alur, R.; LA TORRE, Salvatore; Pappas, G. | |
| Codice identificativo ISI: WOS:000221896700002 Codice identificativo SCOPUS: 2-s2.0-2442597825 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Deterministic generators and games for Ltl fragments ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 5. Pag.1-25 ISSN:1529-3785. | |
| Alur, R; LA TORRE, Salvatore | |
| Codice identificativo SCOPUS: 2-s2.0-4444246434 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.229-243 ISSN:1571-0661. | |
| LA TORRE, Salvatore; Murano, Aniello; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010 Codice identificativo SCOPUS: 2-s2.0-18944406943 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Polyhedral Flows in Hybrid Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 24. Pag.261-280 ISSN:0925-9856. | |
| Alur, R; Kannan, S; LA TORRE, Salvatore | |
| Codice identificativo ISI: WOS:000221119700002 Codice identificativo SCOPUS: 2-s2.0-3543093974 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. In: Proc. of the 8th International Conference on Developments in Language Theory (DLT’04). Lecture Notes in Computer Science Berlin Springer Vol.3340, Pag.200-211 ISBN:3540240144 | |
| Developments in Language Theory Auckland (New Zealand) December 13 - 17, 2004 | |
| Gruska, J.; LA TORRE, Salvatore; Parente, Domenico | |
| Codice identificativo ISI: WOS:000226160800017 Codice identificativo SCOPUS: 2-s2.0-33746314400 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| Reasoning About Co-Büchi Tree Automata. In: Proc. of the 1st International Colloquium onTheoretical Aspects of Computing (ICTAC 2004). Lecture Notes in Computer Science. BERLIN Springer Vol.3407, Pag.527-542 ISBN:3-540-25304-1 | |
| Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium Guiyang (China) September 20 - 24, 2004 | |
| LA TORRE, Salvatore; Murano, A. | |
| Codice identificativo SCOPUS: 2-s2.0-24644480573 | |
| Visualizza sul Database dei Prodotti (IRIS) |
