UniSa - IRIS Institutional Research Information System

NAPOLI, Margherita

NAPOLI, Margherita  

Dipartimento di Informatica/DI  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 1-gen-2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
A Decidable Dense Branching-time Temporal Logic 1-gen-2000 LA TORRE, Salvatore; Napoli, Margherita
A Model of Finite Automata on Timed omega-Trees 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
A NuSMV Extension for Graded-CTL Model Checking 1-gen-2010 Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
A Temporal Logic for Multi-threaded Programs 1-gen-2012 LA TORRE, Salvatore; Napoli, Margherita
A Unifying Approach for Multistack Pushdown Automata 1-gen-2014 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Automata-based Representations for Infinite Graphs 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita
C-tree systolic automata 1-gen-1988 E., Fachini; Napoli, Margherita
Coalitional Games with Priced-Resource Agents 1-gen-2011 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 1-gen-2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
CTL Model-Checking with Graded Quantifiers 1-gen-2008 Ferrante, A.; Napoli, Margherita; Parente, Domenico
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
Finite automata on timed omega-trees. 1-gen-2003 LA TORRE, Salvatore; Napoli, Margherita
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Graded Alternating Time Temporal Logic 1-gen-2009 Faella, Marco; Napoli, Margherita; Parente, Domenico
Graded Alternating-Time Temporal Logic 1-gen-2010 Faella, M; Napoli, Margherita; Parente, Domenico
Graded Alternating-Time Temporal Logic 1-gen-2010 Parente, Domenico; Napoli, Margherita; Faella, M.
Graded CTL model checking for test generation. 1-gen-2011 Napoli, Margherita; Parente, Domenico
Graded-CTL: Satisfiability and Symbolic Model Checking 1-gen-2009 Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico
Hierarchical and Recursive State Machines with Context-Dependent Properties 1-gen-2003 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.