- CSB - MetaPress - Google - Bing - Yahoo
 | 1987 | |
|---|---|---|
| c8 |      | M. Cristina Bena, Giorgio Montini, Franco Sirovich: Planning and Executing Office Procedures in Project ASPERA. IJCAI 1987: 576-583 |
| 1985 | ||
| j2 |  | Pierpaolo Degano, Franco Sirovich: An Evaluation Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 7(1): 70-79 (1985) |
| 1982 | ||
| c7 | | Luigi Petrone, Antonio Di Leva, Franco Sirovich: DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. ICSE 1982: 350-359 |
| 1980 | ||
| c6 | | Pierpaolo Degano, A. Lomanto, Franco Sirovich: On Finding the Optimal Access Path to Resolve a Relational Data Base Query. MFCS 1980: 219-230 |
| 1979 | ||
| c5 | | 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 |
| c4 | | Pierpaolo Degano, Franco Sirovich: Inducing Function Properties from Computation Traces. IJCAI 1979: 208-216 |
| 1976 | ||
| j1 | | |
| 1975 | ||
| c3 | | |
| c2 | | Giorgio Levi, Franco Sirovich: A Problem Reduction Model for Non-Independent Subproblems. IJCAI 1975: 340-344 |
| c1 | | Giorgio Levi, Franco Sirovich: Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS 1975: 294-301 |
| 1 | Patrizia Asirelli | |
| 2 | M. Cristina Bena | |
| 3 | Pierpaolo Degano | |
| 4 | Antonio Di Leva | |
| 5 | Giorgio Levi | |
| 6 | A. Lomanto | |
| 7 | Alberto Martelli | |
| 8 | Ugo Montanari | |
| 9 | Giorgio Montini | |
| 10 | Giuliano Pacini | |
| 11 | Luigi Petrone | |
| 12 | Franco Turini |
Colors in the list of coauthors
Last update Tue May 21 13:48:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page