Pubblicazioni
Pubblicazioni trovate: 410
- 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 - Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets without Unfolding
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Apparso su TR-INF-2018-07-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2018 - Mean field analysis for Continuous Time Bayesian Networks
Davide Cerotti, Daniele Codetta Raiteri
Apparso su Communications in Computer and Information Science, vol. 825, Ed. Springer, 2018, Pagine: 156-169 - Decision Networks for Security Risk Assessment of Critical Infrastructures
Daniele Codetta Raiteri, Luigi Portinale
Apparso su ACM Transactions on Internet Technology, vol. 18(3), Ed. ACM, 2018
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 > »
