Pier Giorgio Bosco

According to our database, Pier Giorgio Bosco authored at least 18 papers between 1984 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

ACE: An Environment for Specifying, Developing and Generating TINA Services.

Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso

Proceedings of the Integrated Network Management V, 1997

MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems.

Pier Giorgio Bosco, Giovanni Martini, Giovanni Reteuna

Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1997

TINA ACE: An Environment for Specifying, Developing and Generating TINA Services.

Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso

Proceedings of the Pulling Together, 1997

1993

A Distributed Object-Oriented Platform Based on DCE and C++.

Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso

Proceedings of the Open Distributed Processing, 1993

1992

An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.

Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Comments on "Logic-Programming with Equations".

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi

J. Log. Program., 1991

1990

Logic and Functional Programming on Distributed Memory Architecture.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi

Proceedings of the Logic Programming, 1990

1989

IDEAL & K-LEAF implementation: a progress report.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Proceedings of the Logic Programming, 1989

1988

Narrowing vs. SLD-Resolution.

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso

Theor. Comput. Sci., 1988

Exploiting the Full Power of Logic Plus Functional Programming.

Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso

Proceedings of the Logic Programming, 1988

1987

Refined Strategies for Semantic Unification.

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 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

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

A Parallel Architecture for Signal Understanding through Inference on Uncertain Data.

Pier Giorgio Bosco, Egidio P. Giachin, G. Giandonato, G. Martinengo, Claudio Rullent

Proceedings of the PARLE, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.

Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Proceedings of the PARLE, 1987

1986

IDEAL: An Ideal Deductive Applicative Language.

Pier Giorgio Bosco, Elio Giovannetti

Proceedings of the 1986 Symposium on Logic Programming, 1986

A Prolog-Compiled Higher-Order Functional and Logic Language.

Pier Giorgio Bosco, Elio Giovannetti

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1984

A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.

Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti

Proceedings of the Second International Logic Programming Conference, 1984