The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pier Giorgio Bosco: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pier Giorgio Bosco, Elio Giovannetti
    A Prolog-Compiled Higher-Order Functional and Logic Language. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:105-116 [Conf]
  2. Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
    Exploiting the Full Power of Logic Plus Functional Programming. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:3-17 [Conf]
  3. Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
    An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:318-333 [Conf]
  4. Pier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi
    Logic and Functional Programmin on Distributed Memory Architectures. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:325-339 [Conf]
  5. Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti
    A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:219-229 [Conf]
  6. Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
    TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:620-621 [Conf]
  7. Pier Giorgio Bosco, Giovanni Martini, Giovanni Reteuna
    MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IDMS, 1997, pp:31-40 [Conf]
  8. Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso
    An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:142-148 [Conf]
  9. Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso
    ACE: An Environment for Specifying, Developing and Generating TINA Services. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1997, pp:515-526 [Conf]
  10. Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
    A Distributed Object-Oriented Platform Based on DCE and C++. [Citation Graph (0, 0)][DBLP]
    Open Distributed Processing, 1993, pp:205-216 [Conf]
  11. Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
    A Two-Level Approach to Logic plus Functional Programming Integration. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:374-393 [Conf]
  12. Pier Giorgio Bosco, C. Cecchi, Corrado Moiso
    IDEAL & K-LEAF implementation: a progress report. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1989, pp:413-432 [Conf]
  13. Pier Giorgio Bosco, Egidio P. Giachin, G. Giandonato, G. Martinengo, Claudio Rullent
    A Parallel Architecture for Signal Understanding through Inference on Uncertain Data. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:86-102 [Conf]
  14. Pier Giorgio Bosco, Elio Giovannetti
    IDEAL: An Ideal Deductive Applicative Language. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:89-94 [Conf]
  15. Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:318-327 [Conf]
  16. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Refined Strategies for Semantic Unification. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:276-290 [Conf]
  17. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
    Comments on "Logic-Programming with Equations". [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1991, v:11, n:1&2, pp:85-89 [Journal]
  18. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Narrowing vs. SLD-Resolution. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:3-23 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002