Sfoglia per Autore
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
2010-01-01 Angelo, Montanari; Napoli, Margherita; Parente, Domenico
Parametric Metric Interval Temporal Logic
2010-01-01 DI GIAMPAOLO, Barbara; LA TORRE, Salvatore; Napoli, Margherita
Graded Alternating-Time Temporal Logic
2010-01-01 Parente, Domenico; Napoli, Margherita; Faella, M.
A NuSMV Extension for Graded-CTL Model Checking
2010-01-01 Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
Graded Alternating-Time Temporal Logic
2010-01-01 Faella, M; Napoli, Margherita; Parente, Domenico
On a Logic for Coalitional Games with Priced-Resource Agents
2011-01-01 Dario Della, Monica; Napoli, Margherita; Parente, Domenico
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
2011-01-01 LA TORRE, Salvatore; Napoli, Margherita
Coalitional Games with Priced-Resource Agents
2011-01-01 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Graded CTL model checking for test generation.
2011-01-01 Napoli, Margherita; Parente, Domenico
A Temporal Logic for Multi-threaded Programs
2012-01-01 LA TORRE, Salvatore; Napoli, Margherita
Model checking coalitional games in shortage resource scenarios
2013-01-01 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Scope-Bounded Pushdown Languages
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Minimum and non-minimum time solutions to the firing squad synchronization problem
2014-01-01 Napoli, M.; Parente, M.
A Unifying Approach for Multistack Pushdown Automata
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Parametric metric interval temporal logic
2015-01-01 Barbara Di, Giampaolo; LA TORRE, Salvatore; Napoli, Margherita
Scope-Bounded Pushdown Languages
2016-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Reachability of scope-bounded multistack pushdown systems
2020-01-01 La Torre, S.; Napoli, M.; Parlato, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Proceedings First Symposium on Games, Automata, Logic, and Formal Verification | 1-gen-2010 | Angelo, Montanari; Napoli, Margherita; Parente, Domenico | |
| Parametric Metric Interval Temporal Logic | 1-gen-2010 | DI GIAMPAOLO, Barbara; LA TORRE, Salvatore; Napoli, Margherita | |
| Graded Alternating-Time Temporal Logic | 1-gen-2010 | Parente, Domenico; Napoli, Margherita; Faella, M. | |
| A NuSMV Extension for Graded-CTL Model Checking | 1-gen-2010 | Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F. | |
| Graded Alternating-Time Temporal Logic | 1-gen-2010 | Faella, M; Napoli, Margherita; Parente, Domenico | |
| On a Logic for Coalitional Games with Priced-Resource Agents | 1-gen-2011 | Dario Della, Monica; Napoli, Margherita; Parente, Domenico | |
| Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations | 1-gen-2011 | LA TORRE, Salvatore; Napoli, Margherita | |
| Coalitional Games with Priced-Resource Agents | 1-gen-2011 | DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico | |
| Graded CTL model checking for test generation. | 1-gen-2011 | Napoli, Margherita; Parente, Domenico | |
| A Temporal Logic for Multi-threaded Programs | 1-gen-2012 | LA TORRE, Salvatore; Napoli, Margherita | |
| Model checking coalitional games in shortage resource scenarios | 1-gen-2013 | DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico | |
| Scope-Bounded Pushdown Languages | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Minimum and non-minimum time solutions to the firing squad synchronization problem | 1-gen-2014 | Napoli, M.; Parente, M. | |
| A Unifying Approach for Multistack Pushdown Automata | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Parametric metric interval temporal logic | 1-gen-2015 | Barbara Di, Giampaolo; LA TORRE, Salvatore; Napoli, Margherita | |
| Scope-Bounded Pushdown Languages | 1-gen-2016 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Reachability of scope-bounded multistack pushdown systems | 1-gen-2020 | La Torre, S.; Napoli, M.; Parlato, G. |
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