A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. - Pier Giorgio Bosco; G. Giandonato; Elio Giovannetti (ICLP, 1984)

A Prolog-Compiled Higher-Order Functional and Logic Language. - Pier Giorgio Bosco; Elio Giovannetti (AIMSA, 1986)

IDEAL: An Ideal Deductive Applicative Language. - Pier Giorgio Bosco; Elio Giovannetti (SLP, 1986)

A Two-Level Approach to Logic plus Functional Programming Integration. - Marco Bellia; Pier Giorgio Bosco; Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi (PARLE (1), 1987)

A Parallel Architecture for Signal Understanding through Inference on Uncertain Data. - Pier Giorgio Bosco; Egidio P. Giachin; G. Giandonato; G. Martinengo; Claudio Rullent (PARLE (1), 1987)

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. - Giorgio Levi; Catuscia Palamidessi; Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (SLP, 1987)

Refined Strategies for Semantic Unification. - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (TAPSOFT, Vol.2, 1987)

Exploiting the Full Power of Logic Plus Functional Programming. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (ICLP/SLP, 1988)

Narrowing vs. SLD-Resolution. - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (Theor. Comput. Sci., 1988)

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (ICLP, 1989)

IDEAL & K-LEAF implementation: a progress report. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (PARLE (1), 1989)

Logic and Functional Programming on Distributed Memory Architecture. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso; Marisa Porta; Giorgio Sofi (ICLP, 1990)

Comments on "Logic-Programming with Equations". - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso; Catuscia Palamidessi (J. Log. Program., 1991)

An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. - Pier Giorgio Bosco; Laura Ferrari; Elio Giovannetti; Corrado Moiso (IFIP Congress (1), 1992)

A Distributed Object-Oriented Platform Based on DCE and C++. - Pier Giorgio Bosco; Giovanni Martini; Corrado Moiso (Open Distributed Processing, 1993)

TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. - Pier Giorgio Bosco; Giovanni Martini; Corrado Moiso (ICSE, 1997)

MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems. - Pier Giorgio Bosco; Giovanni Martini; Giovanni Reteuna (IDMS, 1997)

ACE: An Environment for Specifying, Developing and Generating TINA Services. - Pier Giorgio Bosco; D. Lo Giudice; Giovanni Martini; Corrado Moiso (Integrated Network Management, 1997)