Gianfranco Mascari

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	EE	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	Alfonso Miola	[6]
6	W. Di Palma	[3]
7	Marco Pedicini	[10]
8	F. Pucci	[9]
9	Gianna Reggio	[5]
10	Antonio Vincenzi	[8]
11	Martin Wirsing	[1] [2] [5]
12	Marisa Venturini Zilli	[4]

Colors in the list of coauthors