Gianfranco Rossi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
7
Active years
1986–2017
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CADE | A Decision Procedure for Restricted Intensional Sets. | Maximiliano Cristi, Gianfranco Rossi |
| 2016 | CAV | A Decision Procedure for Sets, Binary Relations and Partial Functions. | Maximiliano Cristi, Gianfranco Rossi |
| 2015 | FM | Helping Programmers to Adopt Set-Based Specifications. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2013 | SEFM | {log} as a Test Case Generator for the Test Template Framework. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2009 | ICLP | Answer Set Programming with Constraints Using Lazy Grounding. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2003 | ICLP | Intensional Sets in CLP. | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2003 | PPDP | Integrating finite domain constraints and CLP with sets. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1999 | ICLP | ACI1 Constraints. | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
| 1998 | ICLP | On the Representation and Management of Finite Sets in CLP Languages. | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |
| 1994 | ICLP | Compiling Intensional Sets in CLP. | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1993 | ICLP | Unification of Hyperset Terms. | Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo |
| 1993 | ICLP | Extensional and Intensional Sets in CLP with Intensional Negation. | Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli |
| 1991 | ICLP | {log}: A Logic Programming Language with Finite Sets. | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
| 1988 | ESOP | Enhancing Prolog to Support Prolog Programming Environments. | Alberto Martelli, Gianfranco Rossi |
| 1986 | ICLP | On the Semantics of Logic Programing Languages. | Alberto Martelli, Gianfranco Rossi |