1. Marco Roveri (1997) Meccanizzazione di Astrazione: Problematiche ed Applicazioni (Mechanizing Abstraction: Problems and Applications). Master's thesis, Department of Communication, Computer and System Science, University of Genova, Italy. (BibTeX)
  2. Marco Roveri and Adolfo Villafiorita (1996) Using abstraction to prove theorems in boolean algebra. In Working Notes of {AISB96} Workshop and Tutorial Programme on Automated Reasoning: Bridging the Gap between Theory and Practice. Brighton, UK, apr. AISB, pages 40-41. (BibTeX)
  3. Fabio Massacci, Silvio Ranise, Marco Roveri and Emmanuel Zarpas (1996) AISB96: Report on the 3rd workshop on automated reasoning. AISB Quarterly. (BibTeX)
  4. Fausto Giunchiglia, Marco Roveri and Roberto Sebastiani (1996) A New Method for Testing Decision Procedures in Modal and Terminological Logics. In Description Logics., pages 119-123. (BibTeX)
  5. Fausto Giunchiglia, Marco Roveri and Roberto Sebastiani (1997) A New Method for Testing Decision Procedures in Modal Logics. In CADE., pages 264-267. (url) (BibTeX)
  6. Alessandro Cimatti, Fausto Giunchiglia and Marco Roveri (1998) Abstraction in Planning via Model Checking. In {Symposium on Abstraction, Reformulation, and Approximation (SARA-98)}. Pacific Grove, California USA, may. (BibTeX)
  7. Alessandro Cimatti, Fausto Giunchiglia and Marco Roveri (1998) Abstraction in Planning via Model Checking. In {FIREworks'98: Proceedings of the \emph{1st FIREworks Workshop}}. Magdeburg, Germany, may. (Gunter Saake and Can Turker, Eds.). (BibTeX)
  8. Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia and Marco Roveri (1998) \textscNuSmv: a reimplementation of \textscsmv. In {FIREworks'98: Proceedings of the \emph{1st FIREworks Workshop}}. Magdeburg, Germany, may. (Gunter Saake and Can Turker, Eds.). (BibTeX)
  9. Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia and Marco Roveri (1998) \textscNuSmv: a reimplementation of \textscsmv. In {International Workshop on Software Tools for Technology Transfer (STTT-98)}. Aalborg, Denmark, pages 25-31. (BibTeX)
  10. Alessandro Cimatti, Marco Roveri and Paolo Traverso (1998) Strong Planning in Non-Deterministic Domains Via Model Checking. In AIPS., pages 36-43. (BibTeX)
  11. Alessandro Cimatti, Marco Roveri and Paolo Traverso (1998) Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. In AAAI/IAAI., pages 875-881. (BibTeX)