Loredana Sorrentino

26 papers A 3B 1C 3Misc 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
Improving parity games in practice.
Ann. Math. Artif. Intell.
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
2021 J jnl
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games.
Concurr. Comput. Pract. Exp.
Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti
2020 J jnl
Alternating-time temporal logics with linear past.
Theor. Comput. Sci.
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
2020 — conf
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation.
AINA Workshops
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
2020 J jnl
Hierarchical cost-parity games.
Theor. Comput. Sci.
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2020 J jnl
Model-checking graded computation-tree logic with finite path semantics.
Theor. Comput. Sci.
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
2020 — conf
Smart Destination-Based Parking for the Optimization of Waiting Time.
AINA Workshops
Marco Balzano, Walter Balzano, Loredana Sorrentino, Silvia Stranieri
2019 — conf
A Smart Compact Traffic Network Vision Based on Wave Representation.
AINA Workshops
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
2019 — conf
Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach.
M&N
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
2018 J jnl
Additional Winning Strategies in Reachability Games.
Fundam. Informaticae
Vadim Malvone, Aniello Murano, Loredana Sorrentino
2018 J jnl
Cycle detection in computation tree logic.
Inf. Comput.
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2018 — conf
Graded CTL* over Finite Paths.
ICTCS
Loredana Sorrentino, Sasha Rubin, Aniello Murano
2018 J jnl
Reasoning about graded strategy quantifiers.
Inf. Comput.
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2018 C conf
Results on Alternating-Time Temporal Logics with Linear Past.
TIME
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
2017 A conf
Hiding Actions in Multi-Player Games.
AAMAS
Vadim Malvone, Aniello Murano, Loredana Sorrentino
2017 C conf
Hierarchical Cost-Parity Games.
TIME
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2017 Misc conf
Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm.
ICCS
Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino
2016 A conf
Concurrent Multi-Player Parity Games.
AAMAS
Vadim Malvone, Aniello Murano, Loredana Sorrentino
2016 — conf
Cycle Detection in Computation Tree Logic.
GandALF
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2016 A conf
Hiding Actions in Concurrent Games.
ECAI
Vadim Malvone, Aniello Murano, Loredana Sorrentino
2015 — conf
A Game-based Model for Human-robots Interaction.
WOA
Aniello Murano, Loredana Sorrentino
2015 — conf
Games with additional winning strategies.
CILC
Vadim Malvone, Aniello Murano, Loredana Sorrentino
2015 J jnl
On Promptness in Parity Games.
Fundam. Informaticae
Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2015 C conf
On the Counting of Strategies.
TIME
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2014 — conf
Solving Parity Games in Scala.
FACS
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
2013 B conf
On Promptness in Parity Games.
LPAR
Fabio Mogavero, Aniello Murano, Loredana Sorrentino