Inizio contenuto principale del sito

Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Lluch Lafuente, Alberto; Vandin, Andrea

White-box validation of quantitative product lines by statistical model checking and process mining Apre una nuova scheda del browser

(2024)

Paolini, Emilio; Perotto, Gianluca; Valcarenghi, Luca; Civerchia, Federico; Maggiani, Luca; Andriolli, Nicola

Protecting NextG Military Networks with Convolutional Neural Networks Apre una nuova scheda del browser

(2023)

Paolini, Emilio; Perotto, Gianluca; Valcarenghi, Luca; Civerchia, Federico; Maggiani, Luca; Andriolli, Nicola

Protecting NextG Military Networks with Convolutional Neural Networks Apre una nuova scheda del browser

(2023)

Pigatto, Giacomo; Braico, Niccolò; Cinquini, Lino; Tenucci, Andrea

Accounting, Biodiversity and Ecosystems Apre una nuova scheda del browser

(2023)

Pigatto, Giacomo; Braico, Niccolò; Cinquini, Lino; Tenucci, Andrea

Accounting, Biodiversity and Ecosystems Apre una nuova scheda del browser

(2023)