Algebraic Automata and Optimal Solutions in Pattern Recognition. - Egidio Astesiano; Gerardo Costa (Optimization Techniques, 1973)

Sharing in Nondeterminism. - Egidio Astesiano; Gerardo Costa (ICALP, 1979)

Delayed evaluation trees and their application to sementics (Additif). - Egidio Astesiano; Gerardo Costa (CLAAP, 1980)

Delayed evaluation trees and their application to sementics. - Egidio Astesiano; Gerardo Costa (CLAAP, 1980)

Languages with Reducing Reflective Types. - Egidio Astesiano; Gerardo Costa (ICALP, 1980)

Nondeterminism and Fully Abstract Models. - Egidio Astesiano; Gerardo Costa (RAIRO Theor. Informatics Appl., 1980)

Reducing Types in Applicative Languages with Structured Data. - Egidio Astesiano; Gerardo Costa (ICFPC, 1981)

A Fair Calculus of Communicating Systems. - Gerardo Costa; Colin Stirling (FCT, 1983)

The Insensitivity Theorem for Nonreducing Reflexive Types. - Egidio Astesiano; Gerardo Costa (J. Comput. Syst. Sci., 1983)

Weak and Strong Fairness in CCS. - Gerardo Costa; Colin Stirling (MFCS, 1984)

Distributive Semantics for Nondeterministic Typed lambda-Calculi. - Egidio Astesiano; Gerardo Costa (Theor. Comput. Sci., 1984)

A Metric Characterization of Fair Computations in CCS. - Gerardo Costa (TAPSOFT, Vol.1, 1985)

Abstract Dynamic Data Types: A Temporal Logic Approach. - Gerardo Costa; Gianna Reggio (MFCS, 1991)

Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. - Gerardo Costa; Gianna Reggio (Theor. Comput. Sci., 1997)