Molinari, Eduardo Alberto

Molinari, Eduardo Alberto  

Dipartimento di Medicina veterinaria e Produzioni animali  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
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
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