Pier Giorgio Bosco

Publication Activity (10 Years)

Years Active: 1984-1997
Publications (10 Years): 0

Publications

Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. ICSE (1997)
Pier Giorgio Bosco, Giovanni Martini, Giovanni Reteuna
MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems. IDMS (1997)
Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso
ACE: An Environment for Specifying, Developing and Generating TINA Services. Integrated Network Management (1997)
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
A Distributed Object-Oriented Platform Based on DCE and C++. Open Distributed Processing (1993)
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)
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
Comments on "Logic-Programming with Equations". J. Log. Program. 11 (1&2) (1991)
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi
Logic and Functional Programmin on Distributed Memory Architectures. ICLP (1990)
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
IDEAL & K-LEAF implementation: a progress report. PARLE (1) (1989)
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. ICLP (1989)
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
Exploiting the Full Power of Logic Plus Functional Programming. ICLP/SLP (1988)
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
Narrowing vs. SLD-Resolution. Theor. Comput. Sci. 59 (1988)
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
Refined Strategies for Semantic Unification. TAPSOFT, Vol.2 (1987)
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)
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)
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)
Pier Giorgio Bosco, Elio Giovannetti
IDEAL: An Ideal Deductive Applicative Language. SLP (1986)
Pier Giorgio Bosco, Elio Giovannetti
A Prolog-Compiled Higher-Order Functional and Logic Language. AIMSA (1986)
Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. ICLP (1984)