DOVIER, Agostino
DOVIER, Agostino
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.007 secondi).
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità
2020-01-01 Dovier, Agostino; Giacobazzi, Roberto
Interval-based Modelling with Constraints Propagation
2005-01-01 Dovier, Agostino; Farenzena, Michela; Fusiello, Andrea
Reconstruction with Interval Constraints Propagation
2006-01-01 Farenzena, Michela; Fusiello, Andrea; Dovier, Agostino
Refining and Compressing Abstract Model Checking
2001-01-01 Dovier, Agostino; Giacobazzi, Roberto; Quintarelli, Elisa
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità | 1-gen-2020 | Dovier, Agostino; Giacobazzi, Roberto | |
Interval-based Modelling with Constraints Propagation | 1-gen-2005 | Dovier, Agostino; Farenzena, Michela; Fusiello, Andrea | |
Reconstruction with Interval Constraints Propagation | 1-gen-2006 | Farenzena, Michela; Fusiello, Andrea; Dovier, Agostino | |
Refining and Compressing Abstract Model Checking | 1-gen-2001 | Dovier, Agostino; Giacobazzi, Roberto; Quintarelli, Elisa |