The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianfranco Mascari: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Walter Dosch, Gianfranco Mascari, Martin Wirsing
    On the Algebraic Specification of Databases. [Citation Graph (5, 16)][DBLP]
    VLDB, 1982, pp:370-385 [Conf]
  2. Gianfranco Mascari, Alfonso Miola
    On the Integration of Numeric and Algebraic Computations. [Citation Graph (0, 0)][DBLP]
    AAECC, 1986, pp:77-87 [Conf]
  3. Gianfranco Mascari, Antonio Vincenzi
    Model-Theoretic Specifications and Back-and-Forth Equivalences. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:166-184 [Conf]
  4. W. Di Palma, Gianfranco Mascari
    Abstract Data Types and Categorical Logic. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  5. Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
    Polynomials - The Specification, Analysis and Development of an Abstract Data Type. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:306-320 [Conf]
  6. Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
    On the Parameterized Algebraic Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:342-358 [Conf]
  7. V. Michele Abrusci, Gianfranco Mascari
    A Logic of Recursion [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:2, pp:168-226 [Journal]
  8. Gianfranco Mascari, F. Pucci
    Autonomous Posets and Quantales. [Citation Graph (0, 0)][DBLP]
    ITA, 1993, v:27, n:6, pp:483-501 [Journal]
  9. Gianfranco Mascari, Marco Pedicini
    Head Linear Reduction and Pure Proof Net Extraction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:1, pp:111-137 [Journal]
  10. Gianfranco Mascari, Marisa Venturini Zilli
    While-Programs with Nondeterministic Assignments and the Logic Alna. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:211-235 [Journal]

  11. The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework. [Citation Graph (, )][DBLP]


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