Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 25
Titolo Tipologia Data di pubblicazione Autore(i) File
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.
Hierarchical cost-parity games 1.1 Articolo in rivista 2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
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.
Model-checking graded computation-tree logic with finite path semantics 1.1 Articolo in rivista 2020 Murano, A.; Parente, M.; Rubin, S.; Sorrentino, L.
A Smart Compact Traffic Network Vision Based on Wave Representation 4.1 Articoli in Atti di convegno 2019 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
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.
Graded CTL* over Finite Paths 4.1 Articoli in Atti di convegno 2018 Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello
Results on Alternating-Time Temporal Logics with Linear Past 4.1 Articoli in Atti di convegno 2018 Bozzelli, Laura; 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
Hiding actions in multi-player games 4.1 Articoli in Atti di convegno 2017 Malvone, V.; Murano, A.; Sorrentino, L.
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
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 4.1 Articoli in Atti di convegno 2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; 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
Hiding actions in concurrent games 4.1 Articoli in Atti di convegno 2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Concurrent Multi-Player Parity Games 4.1 Articoli in Atti di convegno 2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
A game-based model for human-robots interaction 4.1 Articoli in Atti di convegno 2015 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
Mostrati risultati da 1 a 20 di 25
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