Sfoglia per Serie
Varieties of Contexts
2017-01-01 Penco, Carlo; Vignolo, Massimiliano
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction
2021-01-01 Conchon, S.; Delzanno, G.; Sangnier, A.
Visualisation analysis for exploring prerequisite relations in textbooks
2019-01-01 Passalacqua, S.; Koceva, F.; Alzetta, C.; Torre, I.; Adorni, G.
What are the used UML diagrams? A Preliminary Survey
2013-01-01 Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo; Diego, Clerissi
What should an ASP Solver output? A Multiple Position Paper
2007-01-01 Brain, Martin; Faber, Wolfgang; Maratea, Marco; Polleres, Axel; Schaub, Torsten; Schindlauer, Roman
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Varieties of Contexts | 1-gen-2017 | Penco, Carlo; Vignolo, Massimiliano | |
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction | 1-gen-2021 | Conchon, S.; Delzanno, G.; Sangnier, A. | |
Visualisation analysis for exploring prerequisite relations in textbooks | 1-gen-2019 | Passalacqua, S.; Koceva, F.; Alzetta, C.; Torre, I.; Adorni, G. | |
What are the used UML diagrams? A Preliminary Survey | 1-gen-2013 | Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo; Diego, Clerissi | |
What should an ASP Solver output? A Multiple Position Paper | 1-gen-2007 | Brain, Martin; Faber, Wolfgang; Maratea, Marco; Polleres, Axel; Schaub, Torsten; Schindlauer, Roman |
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