Molinari, Eduardo Alberto

Molinari, Eduardo Alberto  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling 4.1 Articoli in Atti di convegno 2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Changes in lymphocytes, neutrophils and immunoglobulins in year-1 cladribine treatment in multiple sclerosis 1.1 Articolo in rivista 2022 Spiezia, Antonio Luca; Cerbone, Vincenza; Molinari, Eduardo Alberto; Capasso, Nicola; Lanzillo, Roberta; Carotenuto, Antonio; Petracca, Maria; Novarella, Federica; Covelli, Bianca; Scalia, Giulia; Brescia Morra, Vincenzo; Moccia, Marcello