Sfoglia per Serie
SAT-based proof search in intermediate propositional logics
2022-01-01 Fiorentini, C.; Ferrari, M.
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects
2020-01-01 Boffa, S.; Gerla, B.
Structural model checking for communicating hierarchical machines
2004-01-01 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Supporting verification-driven incremental distributed design of components
2018-01-01 Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C.
Towards a formal notion of impact metric for cyber-physical attacks
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Virtual patients for knowledge sharing and clinical practice training: A gamified approach
2016-01-01 Cabitza, F.; Fogli, D.; Locoro, A.
Visual Word Embedding for Text Classification
2021-01-01 Gallo, I.; Nawaz, S.; Landro, N.; La Grassa, R.
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
2018-01-01 Lanotte, Ruggero; Tini, Simone
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SAT-based proof search in intermediate propositional logics | 1-gen-2022 | Fiorentini, C.; Ferrari, M. | |
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects | 1-gen-2020 | Boffa, S.; Gerla, B. | |
Structural model checking for communicating hierarchical machines | 1-gen-2004 | MAGGIOLO SCHETTINI, A; Lanotte, Ruggero | |
Supporting verification-driven incremental distributed design of components | 1-gen-2018 | Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C. | |
Towards a formal notion of impact metric for cyber-physical attacks | 1-gen-2018 | Lanotte, Ruggero; Merro, Massimo; Tini, Simone | |
Virtual patients for knowledge sharing and clinical practice training: A gamified approach | 1-gen-2016 | Cabitza, F.; Fogli, D.; Locoro, A. | |
Visual Word Embedding for Text Classification | 1-gen-2021 | Gallo, I.; Nawaz, S.; Landro, N.; La Grassa, R. | |
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces | 1-gen-2018 | Lanotte, Ruggero; Tini, Simone |
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