1. 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)
  2. 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)
  3. 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)
  4. 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)