Pier Giorgio Bosco Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1997
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. ICSE 1997: 620-621
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Giovanni Martini, Giovanni Reteuna: MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems. IDMS 1997: 31-40
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso: A Distributed Object-Oriented Platform Based on DCE and C++. Open Distributed Processing 1993: 205-216
1992
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi: Logic and Functional Programmin on Distributed Memory Architectures. ICLP 1990: 325-339
1989
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: IDEAL & K-LEAF implementation: a progress report. PARLE (1) 1989: 413-432
1988
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Narrowing vs. SLD-Resolution. Theor. Comput. Sci. 59: 3-23 (1988)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: Exploiting the Full Power of Logic Plus Functional Programming. ICLP/SLP 1988: 3-17
1987
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 86-102
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 374-393
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Refined Strategies for Semantic Unification. TAPSOFT, Vol.2 1987: 276-290
1986
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Elio Giovannetti: A Prolog-Compiled Higher-Order Functional and Logic Language. AIMSA 1986: 105-116
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pier Giorgio Bosco, Elio Giovannetti: IDEAL: An Ideal Deductive Applicative Language. SLP 1986: 89-94
1984
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
[c6]
2C. Cecchi
[c11] [c10] [c9] [c8]
3Laura Ferrari
[c12]
4Egidio P. Giachin
[c7]
5G. Giandonato
[c7] [c1]
6Elio Giovannetti
[c12] [j2] [j1] [c6] [c5] [c4] [c3] [c2] [c1]
7D. Lo Giudice
[c14]
8Giorgio Levi
[c6] [c5]
9G. Martinengo
[c7]
10Giovanni Martini
[c16] [c15] [c14] [c13]
11Corrado Moiso
[c16] [c14] [c13] [c12] [j2] [c11] [c10] [c9] [j1] [c8] [c6] [c5] [c4]
12Catuscia Palamidessi
[j2] [c6] [c5]
13M. Porta
[c11]
14Giovanni Reteuna
[c15]
15Claudio Rullent
[c7]
16G. Sofi
[c11]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 15:43:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page