SOFTWARE AND KNOWLEDGE-BASED SYSTEMS (SaKS)

This page shows the publications appeared in journals, collections, periodic conferences, and books whose authors are currently affiliated with the Institute. The publications are grouped by research topic and then by publication site. Finally, each publication site is linked to the corresponding article list. The numbers in square brackets give the total number of publications associated with the corresponding item.

Fundamenta Informaticae
  • Emanuele De Angelis, Fioravanti F., Meo M.C., Pettorossi A., Maurizio Proietti: Semantics and controllability of time-aware business processes, Fundamenta Informaticae 165, 2019
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, Fundamenta Informaticae 150 (1), 73-117, 2017
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, Fundamenta Informaticae 140, 329-355, 2015
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-based Verification, Fundamenta Informaticae 124, 483-502, 2013
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Proving Theorems by Program Transformation, Fundamenta Informaticae 127 (1-4), 115-134, 2013
  • Emanuele De Angelis, Pettorossi A., Maurizio Proietti: Synthesizing Concurrent Programs Using Answer Set Programming, Fundamenta Informaticae 120, 205-229, 2012
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae 119, 281-300, 2012
  • Senni V., Pettorossi A., Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, Fundamenta Informaticae 96 (3), 373-393, 2009
  • Pettorossi A., Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2., Fundamenta Informaticae 69, i-iii, 2006
  • Pettorossi A., Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1, Fundamenta Informaticae 66, i-iii, 2005
  • Maurizio Proietti, Pettorossi A.: An Abstract Strategy for Transforming Logic Programs, Fundamenta Informaticae 18 (2--4), 267-282, 1993
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -