NAPOLI, Margherita
NAPOLI, Margherita
Dipartimento di Informatica/DI
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
A Decidable Dense Branching-time Temporal Logic
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita
A Model of Finite Automata on Timed omega-Trees
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
A NuSMV Extension for Graded-CTL Model Checking
2010-01-01 Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
A Temporal Logic for Multi-threaded Programs
2012-01-01 LA TORRE, Salvatore; Napoli, Margherita
A Unifying Approach for Multistack Pushdown Automata
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Automata-based Representations for Infinite Graphs
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
C-tree systolic automata
1988-01-01 E., Fachini; Napoli, Margherita
Coalitional Games with Priced-Resource Agents
2011-01-01 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
CTL Model-Checking with Graded Quantifiers
2008-01-01 Ferrante, A.; Napoli, Margherita; Parente, Domenico
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks
2006-01-01 Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Finite automata on timed omega-trees.
2003-01-01 LA TORRE, Salvatore; Napoli, Margherita
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Graded Alternating Time Temporal Logic
2009-01-01 Faella, Marco; Napoli, Margherita; Parente, Domenico
Graded Alternating-Time Temporal Logic
2010-01-01 Parente, Domenico; Napoli, Margherita; Faella, M.
Graded Alternating-Time Temporal Logic
2010-01-01 Faella, M; Napoli, Margherita; Parente, Domenico
Graded CTL model checking for test generation.
2011-01-01 Napoli, Margherita; Parente, Domenico
Graded-CTL: Satisfiability and Symbolic Model Checking
2009-01-01 Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico
Hierarchical and Recursive State Machines with Context-Dependent Properties
2003-01-01 SALVATORE LA, Torre; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
| 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 | 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 |