Antonio Coronato Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcello Cinque, Antonio Coronato, Alessandro Testa: Dependable Services for Mobile Health Monitoring Systems. IJACI 4(1): 1-15 (2012)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gennaro Della Vecchia, Luigi Gallo, Massimo Esposito, Antonio Coronato: An infrastructure for smart hospitals. Multimedia Tools Appl. 59(1): 341-362 (2012)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohamed Bakhouya, Roy H. Campbell, Antonio Coronato, Giuseppe De Pietro, Anand Ranganathan: Introduction to special section on formal methods in pervasive computing. TAAS 7(1): 6 (2012)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications. IEEE Trans. Software Eng. 38(4): 975-991 (2012)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Detection of Motion Disorders of Patients with Autism Spectrum Disorders. IWAAL 2012: 415-422
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Alessandro Testa: Long-term Monitoring of Vital Signs for Mobile Patients. PECCS 2012: 15-20
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Luigi Gallo: Towards abnormal behavior detection of cognitive impaired people. PerCom Workshops 2012: 859-864
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Vincenzo De Florio, Mohamed Bakhouya, Giovanna Di Marzo Serugendo: Formal Modeling of Socio-technical Collective Adaptive Systems. SASO Workshops 2012: 187-192
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincenzo De Florio, Antonio Coronato, Mohamed Bakhouya, Giovanna Di Marzo Serugendo: Service-oriented Communities: Models and Concepts Towards Fractal Social Organizations. SITIS 2012: 450-457
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessandro Testa, Antonio Coronato, Marcello Cinque, Juan Carlos Augusto: Static Verification of Wireless Sensor Networks with Formal Methods. SITIS 2012: 587-594
2011
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marcello Cinque, Antonio Coronato, Alessandro Testa: On Dependability Issues in Ambient Intelligence Systems. IJACI 3(3): 18-27 (2011)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Formal Specification and Verification of Ubiquitous and Pervasive Systems. TAAS 6(1): 9 (2011)
2010
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Formal design and implementation of constraints in software components. Advances in Engineering Software 41(5): 737-747 (2010)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Formal Design of Ambient Intelligence Applications. IEEE Computer 43(12): 60-68 (2010)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuseppe De Pietro: Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments. IJAMC 4(2): 154-166 (2010)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Jong Hyuk Park, Han-Chieh Chao: A Framework for Engineering Pervasive Applications Applied to Intra-vehicular Sensor Network Applications. MONET 15(1): 137-147 (2010)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Formal specification of wireless and pervasive healthcare applications. ACM Trans. Embedded Comput. Syst. 10(1) (2010)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Ciampi, Antonio Coronato, Giuseppe De Pietro: A Service Oriented Architectural Model for Realizing Pervasive Grids. CISIS 2010: 1044-1049
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Giovanna Sannino: Middleware Services for Pervasive Monitoring Elderly and Ill People in Smart Environments. ITNG 2010: 810-815
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: A Middleware Architecture for Safety Critical Ambient Intelligence Applications. NEW2AN 2010: 26-37
2009
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Massimo Esposito, Giuseppe De Pietro: A multimodal semantic location service for intelligent environments: an application for Smart Hospitals. Personal and Ubiquitous Computing 13(7): 527-538 (2009)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department. AINA Workshops 2009: 1043-1048
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Formal specification of dependable pervasive applications. APSCC 2009: 358-365
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luigi Gallo, Antonio Coronato: Pervasive distributed volume rendering in a lightweight multi-agent platform. Int. Conf. Interaction Sciences 2009: 750-755
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: A Topology Based Approach for Context-Awareness in Smart Environments. NEW2AN 2009: 32-41
2008
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jong Hyuk Park, Hsiao-Hwa Chen, Antonio Coronato, Gerd Kortuem: Secure multi-mode systems and their applications for pervasive computing. Computer Communications 31(18): 4232-4233 (2008)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Middleware mechanisms for supporting multimodal interactions in smart environments. Computer Communications 31(18): 4242-4247 (2008)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: MiPeG: A middleware infrastructure for pervasive grids. Future Generation Comp. Syst. 24(1): 17-29 (2008)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Ciampi, Antonio Coronato, Giuseppe De Pietro: An asynchronous communication system for pervasive grids. IJWGS 4(2): 211-221 (2008)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Luigi Gallo: An agent based platform for task distribution in virtual environments. Journal of Systems Architecture - Embedded Systems Design 54(9): 877-882 (2008)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luigi Gallo, Giuseppe De Pietro, Antonio Coronato, Ivana Marra: Toward a natural interface to virtual medical imaging environments. AVI 2008: 429-432
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Middleware Services for Multimodal Interactions in Smart Environments. PerCom 2008: 515-519
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Massimo Esposito: Towards an Implementation of Smart Hospital: A Localization System for Mobile Users and Devices. PerCom 2008: 715-719
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: A Web Services Based Architecture for Supporting Mobile Users in Large Enterprises. J. Web Eng. 6(2): 131-142 (2007)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Luigi Gallo: Automatic Execution of Tasks in MiPeG. GPC 2007: 702-709
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Luigi Gallo: Dynamic Distribution and Execution of Tasks in Pervasive Grids. PDP 2007: 419-423
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: A context service for multimodal pervasive environments. SecureComm 2007: 84-87
2006
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Gennaro Della Vecchia, Giuseppe De Pietro: An RFID-Based Access and Location Service for Pervasive Grids. EUC Workshops 2006: 601-608
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mario Ciampi, Antonio Coronato, Giuseppe De Pietro: Middleware Services for Pervasive Grids. ISPA 2006: 485-498
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Massimo Esposito: A Semantic Location Service for Pervasive Grids. OTM Workshops (2) 2006: 1274-1284
2005
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Antonio d'Acierno, Giuseppe De Pietro: Automatic implementation of constraints in component based applications. Information & Software Technology 47(7): 497-509 (2005)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio d'Acierno, Giuseppe De Pietro, Antonio Coronato, Giuliano Gugliara: Plugin-Orb for Applications in a Pervasive Computing Environment. PSC 2005: 140-146
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Autonomic Pervasive Grids: A Session Manager Service for Handling Mobile Users. SOAS 2005: 175-182
2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Antonio d'Acierno, Diego D'Ambrosio, Giuseppe De Pietro: Supporting Tools for Designing-By-Contract in Component-Based Applications. Metainformatics 2004: 1-13
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro: Location and Tracking Services for a Meta-UbiComp Environment. Metainformatics 2004: 179-191
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Antonino Mazzeo, Luigi Romano: Improving the QoS of MPEG2 streaming over wireless LANs. Simulation Modelling Practice and Theory 11(7-8): 533-555 (2003)
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Giuseppe De Pietro, Gennaro Della Vecchia, Giuliano Gugliara: Video on Demand System Accessibility Environment. Multimedia Information Systems 2003: 107-114
2002
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonio Coronato, Marco Cinquegrani, Giuseppe De Pietro: Adding Business Rules and Constraints in Component Based Applications. CoopIS/DOA/ODBASE 2002: 948-964
2000
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application. PDPTA 2000
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Dependability analysis of transmission techniques for MPEG-2 streams. PRDC 2000: 120-127
1999
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luigi Romano, Antonio Coronato, Antonino Mazzeo, Nicola Mazzocca: A Design Tool for Dependable Video on Demand Applications. EUROMICRO 1999: 2150-

Coauthor Index

1Juan Carlos Augusto (Juan C. Augusto)
[c26]
2Mohamed Bakhouya
[j18] [c28] [c27]
3Roy H. Campbell
[j18]
4Han-Chieh Chao
[j11]
5Hsiao-Hwa Chen
[j8]
6Mario Ciampi
[j12] [c25] [j5] [c11]
7Marcello Cinque
[j20] [c26] [j16]
8Marco Cinquegrani
[c4]
9Diego D'Ambrosio
[c7]
10Massimo Esposito
[j19] [j9] [c16] [c10]
11Vincenzo De Florio
[c28] [c27]
12Luigi Gallo
[j19] [c29] [j12] [c20] [j4] [c18] [c15] [c14]
13Giuliano Gugliara
[c9] [c5]
14Gerd Kortuem (Gerd Kortüm)
[j8]
15Ivana Marra
[c18]
16Antonino Mazzeo
[j1] [c1]
17Nicola Mazzocca
[c3] [c2] [c1]
18Jong Hyuk Park (James J. Park)
[j11] [j8]
19Giuseppe De Pietro
[j18] [j17] [c31] [j15] [j14] [j13] [j12] [j11] [j10] [c25] [c24] [c23] [j9] [c22] [c21] [c19] [j7] [j6] [j5] [j4] [c18] [c17] [j3] [c15] [c14] [c13] [c12] [c11] [c10] [j2] [c9] [c8] [c7] [c6] [j1] [c5] [c4] [c3] [c2]
20Anand Ranganathan
[j18]
21Luigi Romano
[j1] [c3] [c2] [c1]
22Giovanna Sannino
[c24]
23Giovanna Di Marzo Serugendo
[c28] [c27]
24Alessandro Testa
[j20] [c30] [c26] [j16]
25Gennaro Della Vecchia
[j19] [c12] [c5]
26Antonio d'Acierno
[j2] [c9] [c7]

Colors in the list of coauthors

Last update Fri May 24 05:14:44 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page