MURANO, ANIELLO
MURANO, ANIELLO
Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione
2-Visibly Pushdown automata
2007 Carotenuto, Dario; Murano, Aniello; Peron, Adriano
A Sketch-Based System for Teaching Geometry
2011 Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Vittorio, Fuccella
Additional Winning Strategies in Reachability Games
2018 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Additional Winning Strategies in Two-Player Games
2016 Malvone, Vadim; Murano, Aniello
Alternating Tree Automata with Qualitative Semantics
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
2018 Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha
Alternating-time temporal logics with linear past
2020 Bozzelli, L.; Murano, A.; Sorrentino, L.
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science
2009 Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
An Interdisciplinary Science Learning Envirnoment.
2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
And Logic Begat Computer Science: When Giants Roamed the Earth
2011 Murano, Aniello
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012
2012 Murano, Aniello
Associate Editor
2016 Murano, Aniello
Assume-guarantee synthesis for prompt linear temporal logic
2020 Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M.
Automata-theoretic decision of timed games
2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Automata-theoretic Decision of Timed Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Automatic verification of multi-agent systems in parameterised grid-environments
2016 Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation
2020 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
A Behavioral Hierarchy of Strategy Logic
2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification
2018 Belardinelli, Francesco; Dima, Catalin; Murano, Aniello
| 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 |