Publications of Maurizio Proietti

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  2014, with author Proietti M., in the category Articles in Proceedings (or show them all):   (Items found: 3)

2014  [top]
  • Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, in the Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 169, 2014
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, in the Proceedings of Proceedings of VPT 2014, EasyChair Proceedings in Computing (EPiC) series, 28, 2014
  • Maurizio Proietti, Smith F.: Reasoning on Data-Aware Business Processes with Constraint Logic, in the Proceedings of Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), CEUR-WS, 1293, 2014
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -