Structural descriptions of fingerprint images. - Giorgio Levi; Franco Sirovich (Inf. Sci., 1972)

Pattern Matching and Call by Pattern. - Giorgio Levi; Franco Sirovich (GI Jahrestagung, 1975)

A Problem Reduction Model for Non-Independent Subproblems. - Giorgio Levi; Franco Sirovich (IJCAI, 1975)

Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. - Giorgio Levi; Franco Sirovich (MFCS, 1975)

Generalized AND/OR Graphs. - Giorgio Levi; Franco Sirovich (Artif. Intell., 1976)

A Flexible Environment for Program Development Based on a Symbolic Interpreter. - Patrizia Asirelli; Pierpaolo Degano; Giorgio Levi; Alberto Martelli; Ugo Montanari; Giuliano Pacini; Franco Sirovich; Franco Turini (ICSE, 1979)

Inducing Function Properties from Computation Traces. - Pierpaolo Degano; Franco Sirovich (IJCAI, 1979)

On Finding the Optimal Access Path to Resolve a Relational Data Base Query. - Pierpaolo Degano; A. Lomanto; Franco Sirovich (MFCS, 1980)

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. - Luigi Petrone; Antonio Di Leva; Franco Sirovich (ICSE, 1982)

A conceptual approach to document retrieval. - E. Barbi; F. Calvo; C. Perale; Franco Sirovich; Franco Turini (COCS, 1984)

A Daemon-based programming system for office procedures. - Giovanni Cortese; Franco Sirovich (COCS, 1984)

An Evaluation Based Theorem Prover. - Pierpaolo Degano; Franco Sirovich (IEEE Trans. Pattern Anal. Mach. Intell., 1985)

Planning and Executing Office Procedures in Project ASPERA. - M. Cristina Bena; Giorgio Montini; Franco Sirovich (IJCAI, 1987)