Franco Sirovich

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