bibliographer - Fabio Mogavero

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron [github]

Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron [github]

Quantifying over Trees in Monadic Second-Order Logic Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron [github]

Solving Mean-Payoff Games via Quasi Dominions Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero [github]

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero [github]

Reasoning About Substructures and Games Massimo Benerecetti Fabio Mogavero Aniello Murano [github]

Solving parity games via priority promotion Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero [github]

Robust worst cases for parity games algorithms Massimo Benerecetti Daniele DelltextquotesingleErba Fabio Mogavero [github]

Reasoning About Strategies Fabio Mogavero Aniello Murano Giuseppe Perelli Moshe Y. Vardi [github]

On Promptness in Parity Games Fabio Mogavero Aniello Murano Loredana Sorrentino [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]