Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
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
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
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 | |
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 |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile