MURANO, ANIELLO

MURANO, ANIELLO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 198 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
2-Visibly Pushdown automata 1-gen-2007 Carotenuto, Dario; Murano, Aniello; Peron, Adriano
A Sketch-Based System for Teaching Geometry 1-gen-2011 Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Vittorio, Fuccella
Additional Winning Strategies in Reachability Games 1-gen-2018 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Additional Winning Strategies in Two-Player Games 1-gen-2016 Malvone, Vadim; Murano, Aniello
Alternating Tree Automata with Qualitative Semantics 1-gen-2021 Berthon, R.; Fijalkow, N.; Filiot, E.; Guha, S.; Maubert, B.; Murano, A.; Pinault, L.; Pinchinat, S.; Rubin, S.; Serre, O.
Alternating-time Temporal Logic on Finite Traces 1-gen-2018 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Alternating-time temporal logics with linear past 1-gen-2020 Bozzelli, L.; Murano, A.; Sorrentino, L.
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science 1-gen-2009 Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
An Interdisciplinary Science Learning Envirnoment. 1-gen-2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
And Logic Begat Computer Science: When Giants Roamed the Earth 1-gen-2011 Murano, Aniello
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 1-gen-2012 Murano, Aniello
Associate Editor 1-gen-2016 Murano, Aniello
Assume-guarantee synthesis for prompt linear temporal logic 1-gen-2020 Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M.
Automata-theoretic decision of timed games 1-gen-2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Automata-theoretic Decision of Timed Games 1-gen-2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Automatic verification of multi-agent systems in parameterised grid-environments 1-gen-2016 Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian
Balanced Paths in Colored Graph 1-gen-2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation 1-gen-2020 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
A Behavioral Hierarchy of Strategy Logic 1-gen-2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification 1-gen-2018 Belardinelli, Francesco; Dima, Catalin; Murano, Aniello