Marco Roveri
Identifiers
- name variant Marco Roveri 0.60 · backfill
Papers (4)
- Satisfiability Modulo Transcendental Functions via Incremental Linearization cs.LO · 2018 · author #4
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF cs.LO · 2018 · author #4
- High-frequency cyclicity in the Mediterranean Messinian evaporites: evidence for solar-lunar climate forcing physics.geo-ph · 2012 · author #4
- Formalization and Validation of Safety-Critical Requirements cs.SE · 2010 · author #2
Mentions
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