|
Publications of Alberto Pettorossi
|
|
|
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
2009, with author Pettorossi A., in the category ALL
(or show them all): (Items found: 6)
2009 [top]
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Linear Temporal Logic, IASI-CNR, R. 09-03, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, IASI-CNR, R. 09-04, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, in the Proceedings of 19th International Symposium on Logic Program Synthesis and Transformation (LOPSTR 2009), De Schreye D., Quaresma P. eds., 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Linear Temporal Logic, Electronic Proceedings of the 2009 Italian Conference on Computational Logic (CILC 2009), 24-26 June, 2009, Ferrara, Italy. http://www.ing.unife.it/eventi/cilc09/accepted.shtml, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Senni V., Alberto Pettorossi, Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, Fundamenta Informaticae 96 (3), 373-393, 2009
|
|
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
