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: 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 (doi:10.3390/s17010019)

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.

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 (doi:10.1007/s10732-014-9258-x)

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.

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.

This list was generated on Tue Dec 10 05:08:31 2019 GMT.