Massimo Benerecetti

Identifiers

• name variant Massimo Benerecetti 0.60 · backfill

Papers (4)

1. Automaton-based Characterisations of First Order Logic over Infinite Trees cs.LO · 2026 · author #1
2. Solving Mean-Payoff Games via Quasi Dominions cs.LO · 2019 · author #1
3. Automatic Synthesis of Switching Controllers for Linear Hybrid Automata cs.LO · 2011 · author #1
4. Verification of recursive parallel systems cs.LO · 2003 · author #2

Mentions

• 1103.4584 #1 · arxiv_oai · confidence 0.70 Massimo Benerecetti
• 1103.4584 #1 · backfill · confidence 0.70 Massimo Benerecetti

Frequent Coauthors

• Fabio Mogavero 2 shared papers
• Adriano Peron 1 shared papers
• Angelo Matteo 1 shared papers
• Daniele Dell'Erba 1 shared papers
• Dario Della Monica 1 shared papers
• Gabriele Puppis 1 shared papers
• Laura Bozzelli 1 shared papers
• Marco Faella 1 shared papers
• Stefano Minopoli 1 shared papers