Publications
Publications found: 393
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Laura Giordano, Valentina Gliozzi
Published on 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
Published on Innovative Smart Grid Technologies Europe, Ed. IEEE, 2019
- Approaching Adaptation Guided Retrieval in Case-Based Reasoning through Inference in Undirected Graphical Models
Luigi Portinale
Published on ARXIV, 2019
- Renvoi in Private International Law: a Formalization with Modal Contexts
Laura Giordano, Baldoni Matteo, Ken Satoh
Published on 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
Published on 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
Published on 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
Published on 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
Published on 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
Published on 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
Published on TR-INF-2019-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
Pages: 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 > »
