The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Corrado Moiso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alberto Martelli, Corrado Moiso, Gianfranco Rossi
    An Algorithm for Unification in Equational Theories. [Citation Graph (1, 0)][DBLP]
    SLP, 1986, pp:180-186 [Conf]
  2. Elio Giovannetti, Corrado Moiso
    Some Aspects of the Integration between Logic Programming and Fiunctional Programming. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:69-79 [Conf]
  3. Elio Giovannetti, Corrado Moiso
    Notes on the Elimination of Conditions. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:91-97 [Conf]
  4. Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
    Formal Modelling and Verification of an Asynchronous Extension of SOAP. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:287-296 [Conf]
  5. Elio Giovannetti, Corrado Moiso
    A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:157-167 [Conf]
  6. Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
    A Formal Security Analysis of an OSA/Parlay Authentication Interface. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:131-146 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Maurizio Morisio, Daniele Romano, Corrado Moiso
    Framework Based Software Development: Investigating the Learning Effect. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 1999, pp:260-268 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
    Kernel-LEAF: A Logic plus Functional Language. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:42, n:2, pp:139-185 [Journal]
  20. 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]
  21. 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]
  22. Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
    Design and Verification ofWeb Services Compositions in the Telecommunication Domain. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:1214-1215 [Conf]
  23. Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
    Constraint-Based Policy Negotiation and Enforcement for Telco Services. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:463-472 [Conf]

  24. Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. [Citation Graph (, )][DBLP]


  25. Highly Distributed Supervision for Autonomic Networks and Services. [Citation Graph (, )][DBLP]


  26. Design and Analysis of the Composed Telecom Services. [Citation Graph (, )][DBLP]


  27. R-P2P: a data centric DTN middleware with interconnected throwboxes. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.056secs
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