Pier Giorgio Bosco

18 papers A* 1B 3Misc 1Journal 2Unranked 11
YearRankTypeTitle / Venue / Authors
1997 — conf
ACE: An Environment for Specifying, Developing and Generating TINA Services.
Integrated Network Management
Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso
1997 — conf
MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems.
IDMS
Pier Giorgio Bosco, Giovanni Martini, Giovanni Reteuna
1997 A* conf
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services.
ICSE
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
1993 — conf
A Distributed Object-Oriented Platform Based on DCE and C++.
Open Distributed Processing
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
1992 — conf
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
IFIP Congress (1)
Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso
1991 J jnl
Comments on "Logic-Programming with Equations".
J. Log. Program.
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
1990 B conf
Logic and Functional Programming on Distributed Memory Architecture.
ICLP
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi
1989 B conf
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.
ICLP
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso
1989 — conf
IDEAL & K-LEAF implementation: a progress report.
PARLE (1)
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso
1988 — conf
Exploiting the Full Power of Logic Plus Functional Programming.
ICLP/SLP
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso
1988 J jnl
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci.
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987 — conf
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
SLP
Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987 — conf
A Parallel Architecture for Signal Understanding through Inference on Uncertain Data.
PARLE (1)
Pier Giorgio Bosco, Egidio P. Giachin, G. Giandonato, G. Martinengo, Claudio Rullent
1987 — conf
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1)
Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1987 — conf
Refined Strategies for Semantic Unification.
TAPSOFT, Vol.2
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1986 Misc conf
A Prolog-Compiled Higher-Order Functional and Logic Language.
AIMSA
Pier Giorgio Bosco, Elio Giovannetti
1986 — conf
IDEAL: An Ideal Deductive Applicative Language.
SLP
Pier Giorgio Bosco, Elio Giovannetti
1984 B conf
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.
ICLP
Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti