Gianfranco Mascari

11 papers A* 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2009 — conf
The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework.
WIRN
Umberto Maniscalco, Gianfranco Mascari, Giovanni Pilato
1994 J jnl
Head Linear Reduction and Pure Proof Net Extraction.
Theor. Comput. Sci.
Gianfranco Mascari, Marco Pedicini
1993 J jnl
Autonomous Posets and Quantales.
RAIRO Theor. Informatics Appl.
Gianfranco Mascari, F. Pucci
1990 — conf
Model-Theoretic Specifications and Back-and-Forth Equivalences.
ADT
Gianfranco Mascari, Antonio Vincenzi
1989 J jnl
A Logic of Recursion
Inf. Comput.
V. Michele Abrusci, Gianfranco Mascari
1986 — conf
On the Integration of Numeric and Algebraic Computations.
AAECC
Gianfranco Mascari, Alfonso Miola
1985 — conf
On the Parameterized Algebraic Specification of Concurrent Systems.
TAPSOFT, Vol.1
Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
1985 J jnl
While-Programs with Nondeterministic Assignments and the Logic Alna.
Theor. Comput. Sci.
Gianfranco Mascari, Marisa Venturini Zilli
1983 — conf
Abstract Data Types and Categorical Logic.
ADT
W. Di Palma, Gianfranco Mascari
1982 A* conf
On the Algebraic Specification of Databases.
VLDB
Walter Dosch, Gianfranco Mascari, Martin Wirsing
1980 — conf
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
GI Jahrestagung
Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari