المؤلفون: Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Petrillo, Alberto, Santini, Stefania, Vittorini, Valeria

المساهمون: Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Petrillo, Alberto, Santini, Stefania, Vittorini, Valeria

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-5386-4192-7; info:eu-repo/semantics/altIdentifier/wos/WOS:000458328800073; ispartofbook:2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles and International Transportation Electrification Conference, ESARS-ITEC 2018; firstpage:1; lastpage:6; numberofpages:6; http://hdl.handle.net/11367/99047Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85062062904

الإتاحة: https://doi.org/10.1109/ESARS-ITEC.2018.8607523Test
http://hdl.handle.net/11367/99047Test

المؤلفون: Buccafurri, Francesco, MUSARELLA, Lorenzo, Nardone, Roberto

المساهمون: Buccafurri, Francesco, Musarella, Lorenzo, Nardone, Roberto

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9781450362498; info:eu-repo/semantics/altIdentifier/wos/WOS:000810167700008; ispartofbook:ACM International Conference Proceeding Series; firstpage:1; lastpage:6; numberofpages:6; http://hdl.handle.net/11367/99041Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85070955701

الإتاحة: https://doi.org/10.1145/3331076.3331108Test
http://hdl.handle.net/11367/99041Test

المؤلفون: NARDONE L., MANZO R., GALLUZZO D., PILZ M., CARANNANTE S., DI MAIO R., ORAZI M.

المساهمون: Alessandro Rebez, Paolo Giurco, Nardone, L., Manzo, R., Galluzzo, D., Pilz, M., Carannante, S., DI MAIO, R., Orazi, M.

مصطلحات موضوعية: Broad band seismic signals, Shear-wave velocity model, Ischia island

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-88-940442-9-4; ispartofbook:Atti del 38° Convegno Nazionale GNGTS; 38° Convegno Nazionale del GNGTS; firstpage:182; lastpage:185; numberofpages:4; alleditors:Alessandro Rebez, Paolo Giurco; http://hdl.handle.net/11588/849262Test; http://www3.inogs.it/gngts/files/2019/GNGTS_2019_completo.pdfTest

الإتاحة: http://hdl.handle.net/11588/849262Test
http://www3.inogs.it/gngts/files/2019/GNGTS_2019_completo.pdfTest

المؤلفون: Bernardeschi C., Mercaldo F., Nardone V., Santone A.

المساهمون: KES, Bernardeschi, C., Mercaldo, F., Nardone, V., Santone, A.

مصطلحات موضوعية: Android, botnet, formal method, malware, model checking, security, temporal logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000571151500099; ispartofbook:KES; volume:159; firstpage:963; lastpage:972; numberofpages:10; journal:PROCEDIA COMPUTER SCIENCE; http://hdl.handle.net/11695/90906Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85076259247; http://www.sciencedirect.com/science/journal/18770509Test

الإتاحة: https://doi.org/10.1016/j.procs.2019.09.263Test
http://hdl.handle.net/11695/90906Test
http://www.sciencedirect.com/science/journal/18770509Test

المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.

المساهمون: 13th International Symposium on Intelligent Distributed Computing, Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.

مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32257-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32258-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000570007800057; ispartofbook:Studies in Computational Intelligence; 13th International Symposium on Intelligent Distributed Computing, IDC 2019; volume:868; firstpage:485; lastpage:494; numberofpages:10; serie:STUDIES IN COMPUTATIONAL INTELLIGENCE; http://hdl.handle.net/11695/90571Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299; http://www.springer.com/series/7092Test

الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11695/90571Test
http://www.springer.com/series/7092Test

المؤلفون: Capobianco G., Giacomo U. D., Mercaldo F., Nardone V., Santone A.

المساهمون: ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Capobianco, G., Giacomo, U. D., Mercaldo, F., Nardone, V., Santone, A.

مصطلحات موضوعية: Game Analysi, Machine Learning, Result Prediction, Soccer Match Prediction, Sport Analytics

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000671841000044; ispartofbook:ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence; 11th International Conference on Agents and Artificial Intelligence, ICAART 2019; volume:2; firstpage:458; lastpage:465; numberofpages:8; http://hdl.handle.net/11695/88842Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064809151; http://www.scitepress.org/DigitalLibrary/HomePage.aspxTest

الإتاحة: http://hdl.handle.net/11695/88842Test
http://www.scitepress.org/DigitalLibrary/HomePage.aspxTest

المؤلفون: Fasano Fausto, Martinelli F, Mercaldo F, Nardone V, Santone A

المساهمون: Paolo Mori, Steven Furnell, Olivier Camp, Fasano, Fausto, Martinelli, F, Mercaldo, F, Nardone, V, Santone, A

مصطلحات موضوعية: Android, Formal Method, Malware, Security, Temporal Logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000570402400076; ispartofbook:ICISSP 2019 - Proceedings of the 5th International Conference on Information Systems Security and Privacy; 5th International Conference on Information Systems Security and Privacy, ICISSP 2019; firstpage:690; lastpage:699; numberofpages:10; http://hdl.handle.net/11695/88660Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064710074; http://www.scitepress.org/DigitalLibrary/HomePage.aspxTest

الإتاحة: http://hdl.handle.net/11695/88660Test
http://www.scitepress.org/DigitalLibrary/HomePage.aspxTest

المؤلفون: Borrelli A., Di Lucca G. A., Nardone V., Santone A.

المساهمون: Proceedings - 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Borrelli, A., Di Lucca, G. A., Nardone, V., Santone, A.

مصطلحات موضوعية: Formal method, model checking, railway system, safety critical system

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-7281-0676-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000589384600047; ispartofbook:Proceedings - 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019; 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019; firstpage:249; lastpage:254; numberofpages:6; http://hdl.handle.net/11695/88840Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071689050; http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8790376Test

الإتاحة: https://doi.org/10.1109/WETICE.2019.00060Test
http://hdl.handle.net/11695/88840Test
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8790376Test

المؤلفون: Fasano F., Martinelli F., Mercaldo F., Nardone V., Santone A.

المساهمون: Paolo Mori, Steven Furnell, Fasano, F., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A.

مصطلحات موضوعية: Malware, Android, Security, Formal Method, Temporal Logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000570402400076; ispartofbook:Proceedings of the 5th International Conference on Information Systems Security and Privacy (ICISSP 2019), pages 690-699; firstpage:690; lastpage:699; numberofpages:10; https://hdl.handle.net/11695/131289Test

الإتاحة: https://doi.org/10.5220/0007704806900699Test
https://hdl.handle.net/11695/131289Test

المؤلفون: Masotta, O, Pascarella, A, Loreto, V, Trojano, L, Formisano, R, Bartol, M, Aabid, H, Perin, C, Pistoia, F, Sara, M, Nardone, A, Berlusconi, M, Marino, S, Lucca, L, Gentile, S, Piperno, R, Casanova, E, Romoli, AM, Scarponi, F, Patriarca, E, Carboncini, MC, Avesani, R, Sant'Angelo, N, Intiso, D, Diana, AR, Pilia, F, Salvi, GP, Gambarin, M, Premoselli, S, De Tanti, A, Bertoni, M, Biacchi, D, Antenucci, R, Estraneo, A

المساهمون: Masotta, O, Pascarella, A, Loreto, V, Trojano, L, Formisano, R, Bartol, M, Aabid, H, Perin, C, Pistoia, F, Sara, M, Nardone, A, Berlusconi, M, Marino, S, Lucca, L, Gentile, S, Piperno, R, Casanova, E, Romoli, A, Scarponi, F, Patriarca, E, Carboncini, M, Avesani, R, Sant'Angelo, N, Intiso, D, Diana, A, Pilia, F, Salvi, G, Gambarin, M, Premoselli, S, De Tanti, A, Bertoni, M, Biacchi, D, Antenucci, R, Estraneo, A

مصطلحات موضوعية: Brain Injury, Heterotopic ossification

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000466897000246; IXIII world Congress of Brain Injury (IBIA); volume:33; firstpage:116; lastpage:117; numberofpages:2; journal:BRAIN INJURY; http://hdl.handle.net/10281/276565Test

الإتاحة: http://hdl.handle.net/10281/276565Test