dblp.uni-trier.dewww.uni-trier.de

Pier Giorgio Bosco Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
18EEPier 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
10EEPier 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
7EEMarco 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
6EEPier 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
4EEPier 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

Coauthor Index

1Marco Bellia [7]
2C. Cecchi [9] [10] [11] [12]
3Laura Ferrari [14]
4Egidio P. Giachin [6]
5G. Giandonato [1] [6]
6Elio Giovannetti [1] [2] [3] [4] [5] [7] [8] [13] [14]
7D. Lo Giudice [16]
8Giorgio Levi [5] [7]
9G. Martinengo [6]
10Giovanni Martini [15] [16] [17] [18]
11Corrado Moiso [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18]
12Catuscia Palamidessi [5] [7] [13]
13M. Porta [12]
14Giovanni Reteuna [17]
15Claudio Rullent [6]
16G. Sofi [12]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)