Journals
  1. M. Bakhouya, R. Campbell, A. Coronato, G. De Pietro, A. Ranganathan. TO APPEAR. On the Use of Formal Methods in Pervasive Computing: Potentials and Challenges. ACM Transactions on Autonomous and Adaptive Systems, SI on Formal Methods for Pervasive, Self-Adaptive, and Context-Aware Systems. ISI Impact Factor (2010): 1.000
    article

  2. Antonio Coronato, Giuseppe De Pietro. Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications. IEEE Transactions on Software Engineering. 20 Jul. 2011. IEEE computer Society Digital Library. IEEE Computer Society, ISI Impact Factor (2010): 2.216
    https://ieeexplore.ieee.org/abstract/document/5963693/


  3. Cinque, M., Coronato, A., & Testa, A. (2011). On Dependability Issues in Ambient Intelligence Systems. International Journal of Ambient Computing and Intelligence (IJACI), 3(3), 18-27.
    https://www.igi-global.com/article/content/64187

  4. A. Coronato and G. De Pietro. 2011. Formal Specification and Verification of Ubiquitous and Pervasive Systems. ACM Transactions on Autonomous and Adaptive Systems, 6, 1, Article 12 (February 2011). ISI Impact Factor (2010): 1.000
    Pdf https://dl.acm.org/doi/abs/10.1145/2168260.2168266


  5. G. Della Vecchia, M. Esposito, L. Gallo and A. Coronato. An infrastructure for Smart Hospitals. On line 6th Jannuary 2011. Multimedia Tools and Applications, Springer. ISI Impact Factor (2010): 0.885
    https://link.springer.com/article/10.1007/s11042-010-0695-8

  6. Coronato, A. and De Pietro, G. 2010. Formal specification of wireless and pervasive healthcare applications. ACM Transactions on Embedded Computing Systems, 10, 1, Article 12 (August 2010). http://doi.acm.org/10.1145/1814539.1814551. ISI Impact Factor (2010): 1.057
    https://dl.acm.org/doi/abs/10.1145/1814539.1814551

  7. Antonio Coronato, Giuseppe De Pietro. 2010. Formal Design of Ambient Intelligence Applications. Computer, pp. 60-68, (December 2010)
    http://doi.ieeecomputersociety.org/10.1109/MC.2010.335. ISI Impact Factor (2010): 1.790
    https://ieeexplore.ieee.org/abstract/document/5662550/

  8. A. Coronato and G. De Pietro. 2010. Formal Design and Implementation of Constraints in Software Components in the Journal of Advances in Engineering Software. Vol. 41, No. 5. Elsevier, ISI Impact Factor (2010): 1.004
    Pdf  Bibtex

  9. A. Coronato, G. De Pietro, L. Gallo. 2010. Medical Data Visualization via a Pervasive Multi-Agent Platform in the special issue on Pervasive and Smart Technologies for Healthcare: Ubiquitous Methodologies and Tools of the International Journal of Healthcare Delivery Reform Initiatives (IJHDRI). Vol. 1, No 4. IGI-Global Publisher.
    Pdf  Bibtex

  10. M. Ciampi, L. Gallo, A. Coronato, G. De Pietro. Middleware mechanisms for interaction interoperability in collaborative virtual environments. In the International Journal of Advanced Media and Communication, Vol. 4, No. 2, 2010,Inderscience Publisher.
    Article

  11. A. Coronato, G. De Pietro, J. H. Park, H. C. Chao. 2010. A Framework for Engineering Pervasive Applications applied to Intra-Vehicular Sensor Network Applications in the ACM/Springer MONET Journal, Vol. 15, N. 1 / February, 2010 Springer, http://dx.doi.org/10.1007/s11036-009-0163-8. ISI Impact Factor (2010): 0.683
    https://link.springer.com/article/10.1007/s11036-009-0163-8

  12. A. Coronato, G. De Pietro, M. Esposito. 2009. A Multimodal Semantic Location Service for Intelligent Environments: An Applications for Smart Hospitals. Journal of Personal and Ubiquitous Computing. Vol. 13, Issue 7, pp 527-538, 2009. Springer. http://dx.doi.org/10.1007/s00779-009-0223-x. ISI Impact Factor (2009): 1.554
    https://link.springer.com/article/10.1007/s00779-009-0223-x

  13. A. Coronato and G. De Pietro. 2008. Middleware mechanisms for supporting multimodal interactions in smart environments. Journal of Computer Communications. Vol. 31, Issue 18, pp 4242 - 4247, 2008. Elsevier Editor, ISI Impact Factor (2008): 0.884
    https://www.sciencedirect.com/science/article/abs/pii/S0140366408003563

  14. Jong Hyuk Park, Hsiao-Hwa Chen, Antonio Coronato, Gerd Kortuem. 2008. Guest editorial for the special issue on Secure multi-mode systems and their applications for pervasive computing. Journal of Computer Communications. Vol. 31, Issue 18, pp 4232-4233, 2008. Elsevier Editor, ISI Impact Factor (2008): 0.884
    Pdf  Bibtex

  15. A. Coronato, G. De Pietro, L. Gallo. 2008. An Agent Based Platform for Task Distribution in Virtual Environments. In the Journal of Systems Architecture, Vol. 54, Issue 9, pp 877-882, 2008, Elsevier Editor, ISI Impact Factor (2008): 0.984
    https://www.sciencedirect.com/science/article/abs/pii/S1383762108000386

  16. A. Coronato and G. De Pietro. 2008. MiPeG: A Middleware Infrastructure for Pervasive Grids. In the Journal of Future Generation Computer Systems. Elsevier Editor, Volume 24, Issue 1, Pages 1-84 (January 2008). ISI Impact Factor (2008): 1.476
    Pdf  Bibtex

  17. M. Ciampi, A. Coronato, G. De Pietro. 2008. An Asynchronous Communication System for Pervasive Grids. in the International Journal of Web and Grid Services, Inderscience Publisher, Vol. 4, Issue 2, pp 211-221, 2008.
  18. A. Coronato and G. De Pietro. 2007. A Web Services Based Architecture for Supporting Mobile Users in Large Enterprises. In the Journal of Web Engineering, Vol.6 No.2 pp131-142, Rinton Editor, 2007.
  19. A. Coronato and G. De Pietro. 2006. Federations of UbiComp Environments. In the WSEAS Transactions on Computers Journal Vol 5, pp 3119-3126, WSEAS Editor, 2006.
  20. A. Coronato, A. d’Acierno, G. De Pietro. 2005. Automatic Implementation of Constraints in Component Based Applications. In the Information and Software Technology Journal. Vol. 47/7, pp 497-509, Editor Elsevier, 2005. ISI Impact Factor (2005): 0.435

  21. A. Coronato, G. De Pietro, L. Romano, A. Mazzeo. 2003. Improving the QoS of MPEG2 Streaming over Wireless LANs. In the Simulation Practice and Theory Journal. Vol. 11, pp 533-555, Editor Elsevier, 2003. ISI Impact Factor (2003): 0.419