Gianfranco Mascari

According to our database, Gianfranco Mascari authored at least 11 papers between 1980 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework.

Umberto Maniscalco, Gianfranco Mascari, Giovanni Pilato

Proceedings of the Neural Nets WIRN09, 2009

1994

Head Linear Reduction and Pure Proof Net Extraction.

Gianfranco Mascari, Marco Pedicini

Theor. Comput. Sci., 1994

1993

Autonomous Posets and Quantales.

Gianfranco Mascari, F. Pucci

RAIRO Theor. Informatics Appl., 1993

1990

Model-Theoretic Specifications and Back-and-Forth Equivalences.

Gianfranco Mascari, Antonio Vincenzi

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

A Logic of Recursion

V. Michele Abrusci, Gianfranco Mascari

Inf. Comput., May, 1989

1986

On the Integration of Numeric and Algebraic Computations.

Gianfranco Mascari, Alfonso Miola

Proceedings of the Applied Algebra, 1986

1985

While-Programs with Nondeterministic Assignments and the Logic Alna.

Gianfranco Mascari, Marisa Venturini Zilli

Theor. Comput. Sci., 1985

On the Parameterized Algebraic Specification of Concurrent Systems.

Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

Abstract Data Types and Categorical Logic.

W. Di Palma, Gianfranco Mascari

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

On the Algebraic Specification of Databases.

Walter Dosch, Gianfranco Mascari, Martin Wirsing

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1980

Polynomials - The Specification, Analysis and Development of an Abstract Data Type.

Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980