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  2010, with author Proietti M., in the category Articles in Proceedings (or show them all):   (Items found: 7)


2010  [top]
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for Business Process Knowledge Base Management, in the Proceedings of 18th Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, 2010
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: An Open Platform for Business Process Modeling and Verification, in the Proceedings of International Conference on Database and Expert Systems Applications, DEXA, September 2010, Lecture Notes in Computer Science, 6261, 2010
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in the Proceedings of 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, RISC-Linz Report Series No. 10-14., Alpuente M ed., 2010
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: A Business Process Knowledge Base for Composite Services Development, in the Proceedings of International Workshop on Business System Management and Engineering, BSME, Malaga, 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: Reasoning on Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 3rd Interop-Vlab.It Workshop, CEUR-WS, 653, 2010
  • Pettorossi A., Maurizio Proietti, Senni V.: A Transformation Strategy for Verifying Logic Programs on Infinite Lists, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -