| 1997 |
|---|
| 18 | EE | Pier Giorgio Bosco,
Giovanni Martini,
Corrado Moiso:
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services.
ICSE 1997: 620-621 |
| 17 | | Pier Giorgio Bosco,
Giovanni Martini,
Giovanni Reteuna:
MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems.
IDMS 1997: 31-40 |
| 16 | | Pier Giorgio Bosco,
D. Lo Giudice,
Giovanni Martini,
Corrado Moiso:
ACE: An Environment for Specifying, Developing and Generating TINA Services.
Integrated Network Management 1997: 515-526 |
| 1993 |
|---|
| 15 | | Pier Giorgio Bosco,
Giovanni Martini,
Corrado Moiso:
A Distributed Object-Oriented Platform Based on DCE and C++.
Open Distributed Processing 1993: 205-216 |
| 1992 |
|---|
| 14 | | Pier Giorgio Bosco,
Laura Ferrari,
Elio Giovannetti,
Corrado Moiso:
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
IFIP Congress (1) 1992: 142-148 |
| 1991 |
|---|
| 13 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso,
Catuscia Palamidessi:
Comments on "Logic-Programming with Equations".
J. Log. Program. 11(1&2): 85-89 (1991) |
| 1990 |
|---|
| 12 | | Pier Giorgio Bosco,
C. Cecchi,
Corrado Moiso,
M. Porta,
G. Sofi:
Logic and Functional Programmin on Distributed Memory Architectures.
ICLP 1990: 325-339 |
| 1989 |
|---|
| 11 | | Pier Giorgio Bosco,
C. Cecchi,
Corrado Moiso:
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.
ICLP 1989: 318-333 |
| 10 | | Pier Giorgio Bosco,
C. Cecchi,
Corrado Moiso:
IDEAL & K-LEAF implementation: a progress report.
PARLE (1) 1989: 413-432 |
| 1988 |
|---|
| 9 | | Pier Giorgio Bosco,
C. Cecchi,
Corrado Moiso:
Exploiting the Full Power of Logic Plus Functional Programming.
ICLP/SLP 1988: 3-17 |
| 8 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci. 59: 3-23 (1988) |
| 1987 |
|---|
| 7 | | Marco Bellia,
Pier Giorgio Bosco,
Elio Giovannetti,
Giorgio Levi,
Corrado Moiso,
Catuscia Palamidessi:
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1) 1987: 374-393 |
| 6 | | Pier Giorgio Bosco,
Egidio P. Giachin,
G. Giandonato,
G. Martinengo,
Claudio Rullent:
A Parallel Architecture for Signal Understanding through Inference on Uncertain Data.
PARLE (1) 1987: 86-102 |
| 5 | | Giorgio Levi,
Catuscia Palamidessi,
Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
SLP 1987: 318-327 |
| 4 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
Refined Strategies for Semantic Unification.
TAPSOFT, Vol.2 1987: 276-290 |
| 1986 |
|---|
| 3 | | Pier Giorgio Bosco,
Elio Giovannetti:
A Prolog-Compiled Higher-Order Functional and Logic Language.
AIMSA 1986: 105-116 |
| 2 | | Pier Giorgio Bosco,
Elio Giovannetti:
IDEAL: An Ideal Deductive Applicative Language.
SLP 1986: 89-94 |
| 1984 |
|---|
| 1 | | Pier Giorgio Bosco,
G. Giandonato,
Elio Giovannetti:
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.
ICLP 1984: 219-229 |
