IRIS

SORRENTINO, LOREDANA

SORRENTINO, LOREDANA  

DIPARTIMENTO DI MATEMATICA E APPLICAZIONE "RENATO CACCIOPPOLI"  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.044 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
On Promptness in Parity Games 4.1 Articoli in Atti di convegno 2013 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Solving parity games in scala 4.1 Articoli in Atti di convegno 2015 Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana
Games with additional winning strategies 4.1 Articoli in Atti di convegno 2015 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
On promptness in parity games 1.1 Articolo in rivista 2015 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
On the Counting of Strategies 4.1 Articoli in Atti di convegno 2015 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Hiding actions in concurrent games 4.1 Articoli in Atti di convegno 2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Cycle Detection in Computation Tree Logic 4.1 Articoli in Atti di convegno 2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Concurrent Multi-Player Parity Games 4.1 Articoli in Atti di convegno 2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 8.05 Partecip. Consigli Scientifici/Direttivi 2016 Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio
Hierarchical cost-parity games 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm 4.1 Articoli in Atti di convegno 2017 Arcucci, Rossella; Marotta, Umberto; Murano, Aniello; Sorrentino, Loredana
A game-based model for human-robots interaction 4.1 Articoli in Atti di convegno 2015 Murano, Aniello; Sorrentino, Loredana
Reasoning about graded strategy quantifiers 1.1 Articolo in rivista 2017 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Cycle detection in computation tree logic 1.1 Articolo in rivista 2018 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Additional Winning Strategies in Reachability Games 1.1 Articolo in rivista 2018 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation 4.1 Articoli in Atti di convegno 2020 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
Hierarchical cost-parity games 1.1 Articolo in rivista 2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Model-checking graded computation-tree logic with finite path semantics 1.1 Articolo in rivista 2020 Murano, A.; Parente, M.; Rubin, S.; Sorrentino, L.
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games 1.1 Articolo in rivista 2021 D'Amore, L.; Murano, A.; Sorrentino, L.; Arcucci, R.; Laccetti, G.
Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach 4.1 Articoli in Atti di convegno 2019 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.