Flavio Ferrarotti

Identifiers

• name variant Flavio Ferrarotti 0.60 · backfill

Papers (8)

1. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory cs.LO · 2025 · author #2
2. The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic cs.LO · 2018 · author #1
3. Expressivity within second-order transitive-closure logic cs.LO · 2018 · author #1
4. Towards an ASM thesis for reflective sequential algorithms cs.LO · 2017 · author #1
5. A Logic for Non-Deterministic Parallel Abstract State Machines cs.LO · 2017 · author #1
6. On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic cs.LO · 2016 · author #1
7. A Complete Logic for Database Abstract State Machines cs.LO · 2016 · author #1
8. A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis cs.LO · 2015 · author #1

Mentions

• 1504.06203 #1 · backfill · confidence 0.70 Flavio Ferrarotti

Frequent Coauthors

• Klaus-Dieter Schewe 5 shared papers
• Loredana Tec 5 shared papers
• Qing Wang 3 shared papers
• Jos\'e Mar\'ia Turull-Torres 2 shared papers
• Guillaume Dupont 1 shared papers
• Jan Van den Bussche 1 shared papers
• Jonni Virtema 1 shared papers
• Jose Maria Turull Torres 1 shared papers
• Neeraj Kumar Singh 1 shared papers
• Peter Rivi\`ere 1 shared papers
• Sen\'en Gonz\'alez 1 shared papers
• Yamine A\"it Ameur 1 shared papers