Franco Sirovich

According to our database, Franco Sirovich authored at least 13 papers between 1972 and 1987.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1987

Planning and Executing Office Procedures in Project ASPERA.

M. Cristina Bena, Giorgio Montini, Franco Sirovich

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1985

An Evaluation Based Theorem Prover.

Pierpaolo Degano, Franco Sirovich

IEEE Trans. Pattern Anal. Mach. Intell., 1985

1984

A Daemon-based programming system for office procedures.

Giovanni Cortese, Franco Sirovich

Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984

A conceptual approach to document retrieval.

E. Barbi, F. Calvo, C. Perale, Franco Sirovich, Franco Turini

Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984

1982

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.

Luigi Petrone, Antonio Di Leva, Franco Sirovich

Proceedings of the Proceedings, 1982

1980

On Finding the Optimal Access Path to Resolve a Relational Data Base Query.

Pierpaolo Degano, A. Lomanto, Franco Sirovich

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Inducing Function Properties from Computation Traces.

Pierpaolo Degano, Franco Sirovich

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

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

Proceedings of the 4th International Conference on Software Engineering, 1979

1976

Generalized AND/OR Graphs.

Giorgio Levi, Franco Sirovich

Artif. Intell., 1976

1975

Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.

Giorgio Levi, Franco Sirovich

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

A Problem Reduction Model for Non-Independent Subproblems.

Giorgio Levi, Franco Sirovich

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

Pattern Matching and Call by Pattern.

Giorgio Levi, Franco Sirovich

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1972

Structural descriptions of fingerprint images.

Giorgio Levi, Franco Sirovich

Inf. Sci., 1972