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.

Theory and Practice of Logic Programming
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Predicate Pairing for Program Verification, Theory and Practice of Logic Programming 18, 126-166, 2018
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Solving Horn Clauses on Inductive Data Types Without Induction, Theory and Practice of Logic Programming 18, 452-469, 2018
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses, Theory and Practice of Logic Programming 15, 635-650, 2015
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, Theory and Practice of Logic Programming 13, 175-199, 2013
  • Pettorossi A., Maurizio Proietti, Senni V.: Transformations of Logic Programs on Infinite Lists, Theory and Practice of Logic Programming 10, 383-399, 2010
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -