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.015 secondi).
QuBPAL: Querying Business Process Knowledge
2022 Proietti, Maurizio; Taglino, Francesco; Smith, Fabrizio
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 | Proietti, Maurizio; Taglino, Francesco; Smith, Fabrizio | |
| 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 |