Sfoglia per Serie
On the parameterized verification of abstract models of contact tracing protocols
2021-01-01 Conchon, S.; Delzanno, G.; Sangnier, A.
On weak truthmaking
2019-01-01 Guarino, N.; Porello, D.; Guizzardi, G.
An ontological account of the action theory of economic exchanges
2020-01-01 Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N.
Ontological foundations for trust management: Extending the reference ontology of trust
2021-01-01 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.
An Ontology-Based Archive for Historical Research
2015-01-01 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
OpenSatRange: An Open Cyber Range for Operators and Users of Satellite Communication Networks
2024-01-01 Patrone, F.; Loreti, P.; Fiscariello, L.; Bracciale, L.; Amici, A.; Detti, A.; Roseti, C.; Zampognaro, F.; Luglio, M.; Bianchi, G.; Marchese, M.
Orchestrating global systems science and information technologies for policy modelling: The SYMPHONY approach
2015-01-01 Bothos, Efthimios; Nikolakakou, Niki; Metnzas, Gregoris; Raberto, Marco; Teglio, Andrea; Cincotti, Silvano; Schütze, Franziska; Zimmermann, Hendrik; Grobelnik, Marko; Triantafillou, Anna
OT Cyber Security Frameworks Comparison Tool (CSFCTool)
2021-01-01 Murino, Giuseppina; Ribaudo, Marina; Pietro Romano, Simon; Tacchella, Armando
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking
2018-01-01 Delzanno, G.
Pink panthers and toothless tigers: Three problems in classification
2019-01-01 Righetti, G.; Porello, D.; Kutz, O.; Troquard, N.; Masolo, C.
Preface
2016-01-01 Catania, B.; Engels, G.; Freivalds, R. M.; Spanek, R.
Preface to the proceedings of the demonstrations track of PRIMA 2017
2018-01-01 Mascardi, Viviana
PRELEARN @ EVALITA 2020: Overview of the prerequisite relation learning task for Italian
2020-01-01 Alzetta, C.; Miaschi, A.; Dell'Orletta, F.; Koceva, F.; Torre, I.
Prerequisite or Not Prerequisite? That’s the Problem! An NLP-based Approach for Concept Prerequisites Learning
2019-01-01 Alzetta, Chiara; Alessio, Miaschi; Adorni, Giovanni; Felice, Dell'Orletta; Koceva, Frosina; Passalacqua, Samuele; Torre, Ilaria
PRET: Prerequisite-enriched terminology. A case study on educational texts
2018-01-01 Alzetta, C.; Koceva, F.; Passalacqua, Samuele; Torre, I.; Adorni, G.
Probabilistic Bounds on Complexity of Networks Computing Binary Classification Tasks
2018-01-01 Kurkova, Vera; Sanguineti, Marcello
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), Harrachov, Czech Republic, January 23-28, 2016
2016-01-01 Freivalds, Rusins Martins; Engels, Gregor; Catania, Barbara; Spánek, Roman; Rimnac, Martin
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2016)
2016-01-01 Finzi, Alberto; Farinelli, Alessandro; Mastrogiovanni, Fulvio
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2017)
2017-01-01 Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio
Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2018)
2018-01-01 Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the parameterized verification of abstract models of contact tracing protocols | 1-gen-2021 | Conchon, S.; Delzanno, G.; Sangnier, A. | |
On weak truthmaking | 1-gen-2019 | Guarino, N.; Porello, D.; Guizzardi, G. | |
An ontological account of the action theory of economic exchanges | 1-gen-2020 | Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N. | |
Ontological foundations for trust management: Extending the reference ontology of trust | 1-gen-2021 | Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D. | |
An Ontology-Based Archive for Historical Research | 1-gen-2015 | Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca | |
OpenSatRange: An Open Cyber Range for Operators and Users of Satellite Communication Networks | 1-gen-2024 | Patrone, F.; Loreti, P.; Fiscariello, L.; Bracciale, L.; Amici, A.; Detti, A.; Roseti, C.; Zampognaro, F.; Luglio, M.; Bianchi, G.; Marchese, M. | |
Orchestrating global systems science and information technologies for policy modelling: The SYMPHONY approach | 1-gen-2015 | Bothos, Efthimios; Nikolakakou, Niki; Metnzas, Gregoris; Raberto, Marco; Teglio, Andrea; Cincotti, Silvano; Schütze, Franziska; Zimmermann, Hendrik; Grobelnik, Marko; Triantafillou, Anna | |
OT Cyber Security Frameworks Comparison Tool (CSFCTool) | 1-gen-2021 | Murino, Giuseppina; Ribaudo, Marina; Pietro Romano, Simon; Tacchella, Armando | |
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking | 1-gen-2018 | Delzanno, G. | |
Pink panthers and toothless tigers: Three problems in classification | 1-gen-2019 | Righetti, G.; Porello, D.; Kutz, O.; Troquard, N.; Masolo, C. | |
Preface | 1-gen-2016 | Catania, B.; Engels, G.; Freivalds, R. M.; Spanek, R. | |
Preface to the proceedings of the demonstrations track of PRIMA 2017 | 1-gen-2018 | Mascardi, Viviana | |
PRELEARN @ EVALITA 2020: Overview of the prerequisite relation learning task for Italian | 1-gen-2020 | Alzetta, C.; Miaschi, A.; Dell'Orletta, F.; Koceva, F.; Torre, I. | |
Prerequisite or Not Prerequisite? That’s the Problem! An NLP-based Approach for Concept Prerequisites Learning | 1-gen-2019 | Alzetta, Chiara; Alessio, Miaschi; Adorni, Giovanni; Felice, Dell'Orletta; Koceva, Frosina; Passalacqua, Samuele; Torre, Ilaria | |
PRET: Prerequisite-enriched terminology. A case study on educational texts | 1-gen-2018 | Alzetta, C.; Koceva, F.; Passalacqua, Samuele; Torre, I.; Adorni, G. | |
Probabilistic Bounds on Complexity of Networks Computing Binary Classification Tasks | 1-gen-2018 | Kurkova, Vera; Sanguineti, Marcello | |
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), Harrachov, Czech Republic, January 23-28, 2016 | 1-gen-2016 | Freivalds, Rusins Martins; Engels, Gregor; Catania, Barbara; Spánek, Roman; Rimnac, Martin | |
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2016) | 1-gen-2016 | Finzi, Alberto; Farinelli, Alessandro; Mastrogiovanni, Fulvio | |
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2017) | 1-gen-2017 | Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio | |
Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2018) | 1-gen-2018 | Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio |
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