Marco Roveri

Identifiers

• name variant Marco Roveri 0.60 · backfill

Papers (4)

1. Satisfiability Modulo Transcendental Functions via Incremental Linearization cs.LO · 2018 · author #4
2. Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF cs.LO · 2018 · author #4
3. High-frequency cyclicity in the Mediterranean Messinian evaporites: evidence for solar-lunar climate forcing physics.geo-ph · 2012 · author #4
4. Formalization and Validation of Safety-Critical Requirements cs.SE · 2010 · author #2

Mentions

• 1212.6394 #4 · backfill · confidence 0.70 Marco Roveri
• 1003.1741 #2 · backfill · confidence 0.70 Marco Roveri

Frequent Coauthors

• Alessandro Cimatti 3 shared papers
• Ahmed Irfan 2 shared papers
• Alberto Griggio 2 shared papers
• Roberto Sebastiani 2 shared papers
• Angelo Susi 1 shared papers
• Charlotte B. Schreiber 1 shared papers
• Nicola Scafetta 1 shared papers
• Rocco Gennari 1 shared papers
• Stefano Lugli 1 shared papers
• Stefano Tonetta 1 shared papers
• Vinicio Manzi 1 shared papers