On Promptness in Parity Games. - Fabio Mogavero; Aniello Murano; Loredana Sorrentino (LPAR, 2013)

Solving Parity Games in Scala. - Antonio Di Stasio 001; Aniello Murano; Vincenzo Prignano; Loredana Sorrentino (FACS, 2014)

Games with additional winning strategies. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (CILC, 2015)

On the Counting of Strategies. - Vadim Malvone; Fabio Mogavero; Aniello Murano; Loredana Sorrentino (TIME, 2015)

A Game-based Model for Human-robots Interaction. - Aniello Murano; Loredana Sorrentino (WOA, 2015)

Concurrent Multi-Player Parity Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (AAMAS, 2016)

Hiding Actions in Concurrent Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (ECAI, 2016)

Hiding Actions in Multi-Player Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (AAMAS, 2017)

Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm. - Rossella Arcucci; Umberto Marotta; Aniello Murano; Loredana Sorrentino (ICCS, 2017)

Hierarchical Cost-Parity Games. - Laura Bozzelli; Aniello Murano; Giuseppe Perelli; Loredana Sorrentino (TIME, 2017)

Graded CTL* over Finite Paths. - Loredana Sorrentino; Sasha Rubin; Aniello Murano (ICTCS, 2018)

Results on Alternating-Time Temporal Logics with Linear Past. - Laura Bozzelli; Aniello Murano; Loredana Sorrentino (TIME, 2018)

Additional Winning Strategies in Reachability Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (Fundam. Informaticae, 2018)

Cycle detection in computation tree logic. - Gaëlle Fontaine; Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Loredana Sorrentino (Inf. Comput., 2018)

Reasoning about graded strategy quantifiers. - Vadim Malvone; Fabio Mogavero; Aniello Murano; Loredana Sorrentino (Inf. Comput., 2018)

A Smart Compact Traffic Network Vision Based on Wave Representation. - Walter Balzano; Aniello Murano; Loredana Sorrentino; Silvia Stranieri (AINA Workshops, 2019)

Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach. - Walter Balzano; Aniello Murano; Loredana Sorrentino; Silvia Stranieri (M&N, 2019)

Smart Destination-Based Parking for the Optimization of Waiting Time. - Marco Balzano; Walter Balzano; Loredana Sorrentino; Silvia Stranieri (AINA Workshops, 2020)

Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. - Walter Balzano; Aniello Murano; Loredana Sorrentino; Silvia Stranieri (AINA Workshops, 2020)

Alternating-time temporal logics with linear past. - Laura Bozzelli; Aniello Murano; Loredana Sorrentino (Theor. Comput. Sci., 2020)

Model-checking graded computation-tree logic with finite path semantics. - Aniello Murano; Mimmo Parente; Sasha Rubin; Loredana Sorrentino (Theor. Comput. Sci., 2020)

Improving parity games in practice. - Antonio Di Stasio 001; Aniello Murano; Vincenzo Prignano; Loredana Sorrentino (Ann. Math. Artif. Intell., 2021)

Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games. - Luisa D'Amore; Aniello Murano; Loredana Sorrentino; Rossella Arcucci; Giuliano Laccetti (Concurr. Comput. Pract. Exp., 2021)