UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 101
Titolo Data di pubblicazione Autore(i) File
Timed tree Automata with an application to Temporal Logic 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
Weak Muller Acceptance Conditions for Tree Automata 1-gen-2002 LA TORRE, Salvatore; Murano, A; Napoli, Margherita
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 1-gen-2002 LA TORRE, Salvatore; Mukhopadhyay, S; Murano, A.
Dense Real-Time Games 1-gen-2002 Faella, M; LA TORRE, Salvatore; Murano, A.
Automata-Theoretic Decision of Timed Games 1-gen-2002 Faella, M; LA TORRE, Salvatore; Murano, A.
Modular Strategies for Infinite Games on Recursive Graphs 1-gen-2003 Alur, R; LA TORRE, Salvatore; Madhusudan, P.
Finite automata on timed omega-trees. 1-gen-2003 LA TORRE, Salvatore; Napoli, Margherita
Hierarchical and Recursive State Machines with Context-Dependent Properties 1-gen-2003 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
Deterministic finite automata with recursive calls and DPDAs 1-gen-2003 Gallier, J; LA TORRE, Salvatore; Mukhopadhyay, S.
Playing Games with Boxes and Diamonds 1-gen-2003 Alur, R; LA TORRE, Salvatore; Madhusudan, P.
Modular Strategies for Recursive Game Graphs 1-gen-2003 Alur, R; LA TORRE, Salvatore; Madhusudan, P.
Deterministic generators and games for Ltl fragments 1-gen-2004 Alur, R; LA TORRE, Salvatore
Reasoning About Co-Büchi Tree Automata 1-gen-2004 LA TORRE, Salvatore; Murano, A.
Optimal paths in weighted timed automata 1-gen-2004 Alur, R.; LA TORRE, Salvatore; Pappas, G.
Polyhedral Flows in Hybrid Automata 1-gen-2004 Alur, R; Kannan, S; LA TORRE, Salvatore
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings 1-gen-2004 Gruska, J.; LA TORRE, Salvatore; Parente, Domenico
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK 1-gen-2004 LA TORRE, Salvatore; Murano, Aniello; Parente, Domenico
Decidability and Infinite Precision in Timed Automata 1-gen-2005 LA TORRE, Salvatore
Perturbed Timed Automata 1-gen-2005 Alur, R; LA TORRE, Salvatore; Madhusudan, P.
Weak Muller acceptance conditions for tree automata 1-gen-2005 LA TORRE, Salvatore; A., Murano; Napoli, Margherita
Mostrati risultati da 21 a 40 di 101
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile