Pubblicazioni
Pubblicazioni trovate: 413
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Laura Giordano, Valentina Gliozzi
Apparso su TR-INF-2020-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2020 - Analysis and Detection of Cyber Attack Processes targeting Smart Grids
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
Apparso su Innovative Smart Grid Technologies Europe, Ed. IEEE, 2019 - Approaching Adaptation Guided Retrieval in Case-Based Reasoning through Inference in Undirected Graphical Models
Luigi Portinale
Apparso su ARXIV, 2019 - Renvoi in Private International Law: a Formalization with Modal Contexts
Laura Giordano, Baldoni Matteo, Ken Satoh
Apparso su TR-INF-2019-10-05-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - UML class diagrams supporting formalism definition in the Draw-Net Modeling System
Daniele Codetta Raiteri
Apparso su TR-INF-2019-07-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - Tracing and preventing sharing and mutation
Paola Giannini, Marco Servetto, Elena Zucca
Apparso su TR-INF-2019-07-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - The Android Forensics Automator (AnForA): a tool for the Automated Forensic Analysis of Android Applications
Cosimo Anglano, Massimo Canonico, Marco Guazzone
Apparso su TR-INF-2019-06-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
Apparso su Convegno Nazionale CINI sull'Intelligenza Artificiale (Ital-IA), 2019 - A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
Apparso su Italian Conference on Cyber Security, CEUR Workshop Proceedings, vol. 2315, Ed. CEUR-WS, 2019 - Deriving Symbolic and Parametric Structural Relations in Symmetric Nets: Focus on Composition Operator
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su TR-INF-2019-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 > »
