SIROVICH, Franco
SIROVICH, Franco
INFORMATICA
A Capability Based Access Control Model for Office Information Systems
1984-01-01 Amedeo Lomanto; Giuliano Perego; Franco Sirovich;
A conceptual approach to document retrieval
1984-01-01 E. Barbi; F. Calvo; C. Perale; F. Sirovich; F. Turini
A Daemon-based programming system for office procedures
1984-01-01 Giovanni Cortese; Franco Sirovich
A Distributed System For Banking Applications
1984-01-01 G. Malatesta; A. Osnaghi; F. Sirovich
A Flexible Environment for Program Development Based on a Symbolic Interpreter
1979-01-01 P. Asirelli; P. Degano; G. Levi; A. Martelli; U. Montanari; G. Pacini; F. Sirovich; F. Turini
A Non-Standard Theorem Prover
1982-01-01 Pierpaolo Degano; Luigi Maccaferro; Franco Sirovich
A Problem Reduction Model for Non-Independent Subproblems
1975-01-01 Giorgio Levi; Franco Sirovich
Access control models and office structures
1984-01-01 G. Montini; F. Sirovich
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione
1968-01-01 Clerici R.; Grasselli A.; Levi G.; Martelli A.; Montanari U.; Sirovich F.
An Approach to quantitative analysis of dermatoglyphics by digital computer
1969-01-01 Ceccarelli M.; Giorgi P.; Grasselli; A.; Levi G.; Paci A.; Sirovich F.
An evaluation based theorem prover
1985-01-01 Degano P. ; Sirovich F.
An Integrated System to Support Program Design Development and Analysis
1979-01-01 Degano F.; G. Levi; G. Pacini; F. Sirovich; F. Turini
Apprendimento e risoluzione automatica di problemi
1973-01-01 G. Levi; F. Sirovich
Automazione di ufficio per la gestione delle aziende
1983-01-01 F. Sirovich
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements
1982-01-01 Luigi Petrone; Antonio Di Leva; Franco Sirovich
Electronic forms with missing values
1984-01-01 James A. Larson; Franco Sirovich; Marco Cupidi; Giuliano Perego
Generalized AND/OR Graphs
1976-01-01 Giorgio Levi; Franco Sirovich
Generalized AND/OR graphs and their relation to formal grammars.
1973-01-01 G. Levi; Franco Sirovich
Inducing Function Properties from Computation Traces
1979-01-01 P. Degano; F. Sirovich
Isomorfismo fra grafi: Un algoritmo efficiente per trovare tutti gli isomorfismi
1971-01-01 Franco Sirovich