Molinari, Eduardo Alberto
Molinari, Eduardo Alberto
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.012 secondi).
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions
2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling
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
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
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 |