Franco Sirovich

Publication Activity (10 Years)

Years Active: 1972-1987
Publications (10 Years): 0

Publications

M. Cristina Bena, Giorgio Montini, Franco Sirovich
Planning and Executing Office Procedures in Project ASPERA. IJCAI (1987)
Pierpaolo Degano, Franco Sirovich
An Evaluation Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 7 (1) (1985)
Giovanni Cortese, Franco Sirovich
A Daemon-based programming system for office procedures. COCS (1984)
E. Barbi, F. Calvo, C. Perale, Franco Sirovich, Franco Turini
A conceptual approach to document retrieval. COCS (1984)
Luigi Petrone, Antonio Di Leva, Franco Sirovich
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. ICSE (1982)
Pierpaolo Degano, A. Lomanto, Franco Sirovich
On Finding the Optimal Access Path to Resolve a Relational Data Base Query. MFCS (1980)
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE (1979)
Pierpaolo Degano, Franco Sirovich
Inducing Function Properties from Computation Traces. IJCAI (1979)
Giorgio Levi, Franco Sirovich
Generalized AND/OR Graphs. Artif. Intell. 7 (3) (1976)
Giorgio Levi, Franco Sirovich
A Problem Reduction Model for Non-Independent Subproblems. IJCAI (1975)
Giorgio Levi, Franco Sirovich
Pattern Matching and Call by Pattern. GI Jahrestagung (1975)
Giorgio Levi, Franco Sirovich
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS (1975)
Giorgio Levi, Franco Sirovich
Structural descriptions of fingerprint images. Inf. Sci. 4 (3-4) (1972)