Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2002 | |
| Contributo in Atti di convegno | |
| Dense Real-Time Games. In: Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002) IEEE Computer Society Press Pag.167-176 | |
| 17th Annual IEEE Symposium on Logic in Computer Science, LICS 2002 Copenhagen (Denmark) July 22-25, 2002. | |
| Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Digital Object Identifier (DOI): 10.1109/LICS.2002.1029826 Codice identificativo ISI: WOS:000177324300014 Codice identificativo SCOPUS: 2-s2.0-0036052664 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Optimal-Reachability and Control for Acyclic Weighted Timed Automata. In: Proc. of the 2nd IFIP International Conference on Theoretical Computer Science (IFIP TCS 2002) Kluwer Academic Publishers Pag.485-497 ISBN:978-147575275-5 | |
| IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science, TCS 2002 Montreal (Canada) August 25-30, 2002. | |
| LA TORRE, Salvatore; Mukhopadhyay, S; Murano, A. | |
| Digital Object Identifier (DOI): 10.1007/978-0-387-35608-2_40 Codice identificativo ISI: WOS:000178979200040 Codice identificativo SCOPUS: 2-s2.0-84891128671 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Automata-Theoretic Decision of Timed Games. In: Proc. of the 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2002). Lecture Notes in Computer Science. BERLIN Springer Vol.2294, Pag.94-108 ISBN:3540436316 | |
| 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 Venezia (Italia) January 21 - 22, 2002. | |
| Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Digital Object Identifier (DOI): 10.1007/3-540-47813-2_7 Codice identificativo SCOPUS: 2-s2.0-84894618648 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Weak Muller Acceptance Conditions for Tree Automata. In: Proc. of the 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2002). Lecture Notes in Computer Science Berlin Springer Vol.2294, Pag.240-254 ISBN:3540436316 | |
| 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 Venezia (Italia) January 21 - 22, 2002 | |
| LA TORRE, Salvatore; Murano, A; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1007/3-540-47813-2_17 Codice identificativo SCOPUS: 2-s2.0-24644464982 | |
| Visualizza sul Database dei Prodotti (IRIS) |
