Gianfranco Mascari

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

Coauthor Index

1	V. Michele Abrusci	[7]
2	Egidio Astesiano	[5]
3	Giorgio Ausiello	[1]
4	Walter Dosch	[1] [2]
5	Umberto Maniscalco	[11]
6	Alfonso Miola	[6]
7	W. Di Palma	[3]
8	Marco Pedicini	[10]
9	Giovanni Pilato	[11]
10	F. Pucci	[9]
11	Gianna Reggio	[5]
12	Antonio Vincenzi	[8]
13	Martin Wirsing	[1] [2] [5]
14	Marisa Venturini Zilli	[4]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page