Items where Author / Artist / Editor is "Coronato, Antonio"

Article

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2017) A formal methodology to design and deploy dependable wireless sensor networks. Sensors, 17 (1) . ISSN 1424-8220 [Article] (doi:10.3390/s17010019)

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2015) The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics, 21 (2) . pp. 145-175. ISSN 1381-1231 [Article] (doi:10.1007/s10732-014-9258-x)

Conference or Workshop Item

Testa, Alessandro, Coronato, Antonio, Cinque, Marcello and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2012) Static verification of wireless sensor networks with formal methods. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012), 25 - 29 November 2012, Naples, Italy. . [Conference or Workshop Item]

Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2012) Modeling eating disorders of cognitive impaired people. In: HumanCom'2012, 6-8 of September 2012, Gwangju, South Korea. . [Conference or Workshop Item]

Book

Coronato, Antonio, Hunter, Gordon, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, Loureiro, Rui C. V., Egerton, Simon, Poslad, Stefan, Chessa, Stefano, Middleton, Stuart, Kymlinen, Tiina and Huang, Tony, eds. (2016) Proceedings: 12th international conference on Intelligent Environments (IE), 14-16 September, 2016, London, United Kingdom. Institute of Electrical and Electronics Engineers (IEEE). ISBN 9781509040568. [Book]