NAPOLI, Margherita

NAPOLI, Margherita  

Dipartimento di Informatica/DI  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.016 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
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
A Decidable Dense Branching-time Temporal Logic 1-gen-2000 LA TORRE, Salvatore; 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
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 Parente, Domenico; Napoli, Margherita; Faella, M.
Graded Alternating-Time Temporal Logic 1-gen-2010 Faella, M; Napoli, Margherita; Parente, Domenico
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 SALVATORE LA, Torre; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
Hierarchical and Recursive State Machines with Context-Dependent Properties 1-gen-2003 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
Languages accepted by systolic Y-tree automata: structural characterizations 1-gen-1992 E., Fachini; A., Monti; Napoli, Margherita; Parente, Domenico
Minimum and non-minimum time solutions to the firing squad synchronization problem 1-gen-2014 Napoli, M.; Parente, M.
Model checking coalitional games in shortage resource scenarios 1-gen-2013 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico