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

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.


Testa, Alessandro, Cinque, Marcello, Coronato, Antonio and Augusto, Juan Carlos ORCID: (2017) A formal methodology to design and deploy dependable wireless sensor networks. Sensors, 17 (1). ISSN 1424-8220 (doi:10.3390/s17010019)

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos (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 (doi:10.1007/s10732-014-9258-x)

Conference or Workshop Item

Testa, Alessandro, Coronato, Antonio, Cinque, Marcello and Augusto, Juan Carlos (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.

Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos (2012) Modeling eating disorders of cognitive impaired people. In: HumanCom'2012, 6-8 of September 2012, Gwangju, South Korea.


Coronato, Antonio, Hunter, Gordon, Augusto, Juan Carlos, 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). 9781509040568.

This list was generated on Tue Nov 19 05:08:55 2019 GMT.