PROIETTI, MAURIZIO
PROIETTI, MAURIZIO
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.011 secondi).
QuBPAL: Querying Business Process Knowledge
2022 Maurizio Proietti;Francesco Taglino;Fabrizio Smith
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
2008 Pettorossi, A; Proietti, M; Renault, S
Automatic Proofs of Protocols via Program Transformation
2005 Fioravanti, F.; Pettorossi, A.; Proietti, M.
Transformation of Logic Programs
1998 Pettorossi, A.; Proietti, M.
The Use of the Tupling Strategy in the Development of Parallel Programs
1993 Pettorossi, A; Pietropoli, E; Proietti, M
Importing and Exporting Information in Program Development
1988 Pettorossi, Alberto; Proietti, Maurizio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
QuBPAL: Querying Business Process Knowledge | 1-gen-2022 | Maurizio Proietti;Francesco Taglino;Fabrizio Smith | |
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism | 1-gen-2008 | Pettorossi, A; Proietti, M; Renault, S | |
Automatic Proofs of Protocols via Program Transformation | 1-gen-2005 | Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
Transformation of Logic Programs | 1-gen-1998 | Pettorossi, A.; Proietti, M. | |
The Use of the Tupling Strategy in the Development of Parallel Programs | 1-gen-1993 | Pettorossi, A; Pietropoli, E; Proietti, M | |
Importing and Exporting Information in Program Development | 1-gen-1988 | Pettorossi, Alberto; Proietti, Maurizio |