Improving Priority Promotion for Parity Games. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Haifa Verification Conference, 2016)

A Delayed Promotion Policy for Parity Games. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (GandALF, 2016)

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (GandALF, 2017)

Solving parity games via priority promotion. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Formal Methods Syst. Des., 2018)

Solving Infinite Games on Graphs via Quasi Dominions. - Daniele Dell'Erba (2019)

From Quasi-Dominions to Progress Measures. - Massimo Benerecetti; Daniele Dell'Erba; Marco Faella; Fabio Mogavero (CoRR, 2020)

Robust worst cases for parity games algorithms. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Inf. Comput., 2020)

Smaller progress measures and separating automata for parity games. - Daniele Dell'Erba; Sven Schewe (Frontiers Comput. Sci., 2022)

An Objective Improvement Approach to Solving Discounted Payoff Games. - Daniele Dell'Erba; Arthur Dumas; Sven Schewe (GandALF, 2023)

Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games". - Peter Austin; Daniele Dell'Erba (CoRR, 2023)

DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. - Daniele Dell'Erba; Yong Li 031; Sven Schewe (FM (2), 2024)

Solving mean-payoff games via quasi dominions. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Inf. Comput., 2024)

Semantic flowers for good-for-games and deterministic automata. - Daniele Dell'Erba; Sven Schewe; Qiyi Tang 001; Tansholpan Zhanabekova (Inf. Process. Lett., 2024)

Priority Promotion with Parysian flair. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero; Sven Schewe; Dominik Wojtczak (J. Comput. Syst. Sci., 2025)