Sfoglia per Serie
UAV teams in emergency scenarios: A summary of the work within the project PRISMA
2015-01-01 Recchiuto, C.; Sgorbissa, A.; Wanderlingh, F.; Zaccaria, R.
Unit Testing of Model to Text Transformations
2014-01-01 Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio
Users collaboration as a driver for reputation system effectiveness: A simulation study
2009-01-01 Boella, G.; Remondino, M.; Tornese, G.
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 |
---|---|---|---|
UAV teams in emergency scenarios: A summary of the work within the project PRISMA | 1-gen-2015 | Recchiuto, C.; Sgorbissa, A.; Wanderlingh, F.; Zaccaria, R. | |
Unit Testing of Model to Text Transformations | 1-gen-2014 | Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio | |
Users collaboration as a driver for reputation system effectiveness: A simulation study | 1-gen-2009 | Boella, G.; Remondino, M.; Tornese, G. | |
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