Pier Giorgio Bosco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1984–1997
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | IM | ACE: An Environment for Specifying, Developing and Generating TINA Services. | Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso |
| 1997 | ICSE | TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. | Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso |
| 1990 | ICLP | Logic and Functional Programming on Distributed Memory Architecture. | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi |
| 1989 | ICLP | An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
| 1988 | ICLP | Exploiting the Full Power of Logic Plus Functional Programming. | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
| 1986 | AIMSA | A Prolog-Compiled Higher-Order Functional and Logic Language. | Pier Giorgio Bosco, Elio Giovannetti |
| 1984 | ICLP | A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. | Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti |