DI GIUSTO, CINZIA
DI GIUSTO, CINZIA
DIP. DI SCIENZE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Choreographies for Program Understanding
2025 Genovese, G.; Lanese, I.; Di Giusto, C.; Tuosto, E.; Vidal, G.
Expressiveness of Multiple Heads in CHR
2009 C. Di Giusto; M. Gabbrielli; M.C. Meo
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
2009 Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G
Full abstraction for Linda
2008 C. Di Giusto; M. Gabbrielli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Choreographies for Program Understanding | Genovese, G.; Lanese, I.; Di Giusto, C.; Tuosto, E.; Vidal, G. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | main.pdf |
| Expressiveness of Multiple Heads in CHR | C. Di Giusto; M. Gabbrielli; M.C. Meo | 2009-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages | Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G | 2009-01-01 | - | SPRINGER-VERLAG BERLIN | 4.01 Contributo in Atti di convegno | - |
| Full abstraction for Linda | C. Di Giusto; M. Gabbrielli | 2008-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |