MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Alessandro Cimatti – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 37 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance  
  • by Alessandro Cimatti, Ro Cimatti, Luciano Serafini, Luciano Serafini — 1994 — Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science
  • … with Belief Contexts II: Elaboration Tolerance Alessandro Cimatti Luciano Serafini December 1994 Technical…
  • Cited by 50 (6 self) – Add To MetaCart
  • Bounded Model Checking for Past LTL  
  • by Marco Benedetti, Alessandro Cimatti — 2003 — IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • …Bounded Model Checking for Past LTL Marco Benedetti and Alessandro Cimatti Istituto per la Ricerca…
  • Cited by 16 (2 self) – Add To MetaCart
  • Introspective Metatheoretic Reasoning  
  • by Fausto Giunchiglia, Fausto Giunchiglia, Alessandro Cimatti, Alessandro Cimatti — 1994 — In Proc. of META-94, Workshop on Metaprogramming in Logic
  • … Metatheoretic Reasoning Fausto Giunchiglia Alessandro Cimatti November 1992 Technical Report # 9211…
  • Cited by 15 (6 self) – Add To MetaCart
  • NuSMV: a reimplementation of SMV  
  • by E. Cimatti, Clarke, Giunchiglia, M. Roveri, Alessandro Cimatti, Fausto Giunchiglia, Marco Roveri — 1998 — In Proc. STTT'98
  • … or legally obtained copies of the article. NuSmv: a reimplementation of Smv Alessandro Cimatti 1 , Ed…
  • Cited by 9 (2 self) – Add To MetaCart
  • NuSMV 2.1 User Manual  
  • by Roberto Cavada Alessandro, Ro Cimatti, Marco Roveri
  • …NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB