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