1. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso. (2003) MBP: A Model Based Planner. In Notes of ICAPS'03: system demo session. Trento, Italy, jun. (BibTeX)
  2. Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso (2003) Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell., 147(1-2):35-84. (url) (BibTeX)
  3. Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri and John Mylopoulos (2003) Specifying and Analyzing Early Requirements: Some Experimental Results. In RE., pages 105-. (url) (BibTeX)
  4. Anna Perini, Marco Pistore, Marco Roveri and Angelo Susi (2003) Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In AOSE., pages 36-52. (url) (BibTeX)