 | 1987 |
|---|
| 8 |       | M. Cristina Bena,
Giorgio Montini,
Franco Sirovich:
Planning and Executing Office Procedures in Project ASPERA.
IJCAI 1987: 576-583 |
| 1982 |
|---|
| 7 | | Luigi Petrone,
Antonio Di Leva,
Franco Sirovich:
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.
ICSE 1982: 350-359 |
| 1980 |
|---|
| 6 |  | Pierpaolo Degano,
A. Lomanto,
Franco Sirovich:
On Finding the Optimal Access Path to Resolve a Relational Data Base Query.
MFCS 1980: 219-230 |
| 1979 |
|---|
| 5 | | 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: 251-264 |
| 1976 |
|---|
| 4 | | Giorgio Levi,
Franco Sirovich:
Generalized AND/OR Graphs.
Artif. Intell. 7(3): 243-259 (1976) |
| 1975 |
|---|
| 3 | | Giorgio Levi,
Franco Sirovich:
Pattern Matching and Call by Pattern.
GI Jahrestagung 1975: 491-499 |
| 2 | | Giorgio Levi,
Franco Sirovich:
A Problem Reduction Model for Non-Independent Subproblems.
IJCAI 1975: 340-344 |
| 1 | | Giorgio Levi,
Franco Sirovich:
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.
MFCS 1975: 294-301 |
