LA TORRE, SALVATORE
LA TORRE, SALVATORE
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.022 secondi).
Model-checking the Secure Release of a Time-locked Secret over a Network
2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
Automata-theoretic Decision of Timed Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Weak Muller Acceptance Conditions for Tree Automata
2005 Murano, Aniello; LA TORRE, Salvatore; M., Napoli
Dense Real-time Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Optimal-Reachability and Control for Acyclic Weighted Timed Automata
2002 LA TORRE, Salvatore; Murano, Aniello; S., Mukhopadhyay
Weak Muller Acceptance Condition for Tree Automata
2002 LA TORRE, Salvatore; Murano, Aniello; M., Napoli
Reasoning About Co-Buchi Tree Automata
2005 LA TORRE, Salvatore; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Model-checking the Secure Release of a Time-locked Secret over a Network | 1.1 Articolo in rivista | 2004 | LA TORRE, Salvatore; Murano, Aniello; Parente, M. | |
| Automata-theoretic Decision of Timed Games | 4.1 Articoli in Atti di convegno | 2002 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Weak Muller Acceptance Conditions for Tree Automata | 1.1 Articolo in rivista | 2005 | Murano, Aniello; LA TORRE, Salvatore; M., Napoli | |
| Dense Real-time Games | 4.1 Articoli in Atti di convegno | 2002 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Optimal-Reachability and Control for Acyclic Weighted Timed Automata | 4.1 Articoli in Atti di convegno | 2002 | LA TORRE, Salvatore; Murano, Aniello; S., Mukhopadhyay | |
| Weak Muller Acceptance Condition for Tree Automata | 4.1 Articoli in Atti di convegno | 2002 | LA TORRE, Salvatore; Murano, Aniello; M., Napoli | |
| Reasoning About Co-Buchi Tree Automata | 4.1 Articoli in Atti di convegno | 2005 | LA TORRE, Salvatore; Murano, Aniello |