UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 57
Titolo Data di pubblicazione Autore(i) File
A Model of Finite Automata on Timed omega-Trees 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
Timed tree Automata with an application to Temporal Logic 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
Automata-based Representations for Infinite Graphs 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
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.
Specification and Verification of Protocols With Time Constraints 1-gen-2004 Napoli, Margherita; Parente, Domenico; Peron, A.
Weak Muller acceptance conditions for tree automata 1-gen-2005 LA TORRE, Salvatore; A., Murano; Napoli, Margherita
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 1-gen-2006 Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
On the Membership Problem for Visibly Pushdown Languages 1-gen-2006 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Verification of Succinct Hierarchical State Machines 1-gen-2007 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
The word problem for visibly pushdown languages described by grammars 1-gen-2007 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Verification of Scope-dependent Hierarchical State Machines 1-gen-2008 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
Program Complexity in Hierarchical Module Checking 1-gen-2008 A., Murano; Napoli, Margherita; Parente, Domenico
CTL Model-Checking with Graded Quantifiers 1-gen-2008 Ferrante, A.; Napoli, Margherita; Parente, Domenico
Graded Alternating Time Temporal Logic 1-gen-2009 Faella, Marco; Napoli, Margherita; Parente, Domenico
MODEL-CHECKING FOR GRADED CTL 1-gen-2009 Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico
Graded-CTL: Satisfiability and Symbolic Model Checking 1-gen-2009 Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 1-gen-2010 Angelo, Montanari; Napoli, Margherita; Parente, Domenico
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 1-gen-2010 Montanari, A; Napoli, Margherita; Parente, Domenico
Mostrati risultati da 21 a 40 di 57
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