Phan Cong Vinh
Phan Cong Vinh
Nguyen Tat Thanh University, Vietnam
Verified email at
Cited by
Cited by
Springer International Publishing: Cham
H Yin, D Camacho, P Novais, AJ Tallón-Ballesteros
Switzerland, 2018
An energy-efficient transmission strategy for wireless sensor networks
C Van Phan, Y Park, HH Choi, J Cho, JG Kim
IEEE Transactions on Consumer Electronics 56 (2), 597-605, 2010
Optimising energy efficiency of non-orthogonal multiple access for wireless backhaul in heterogeneous cloud radio access network
QT Vien, TA Le, B Barn, CV Phan
Iet Communications 10 (18), 2516-2524, 2016
On the energy efficiency of NOMA for wireless backhaul in multi-tier heterogeneous CRAN
HQ Tran, PQ Truong, CV Phan, QT Vien
2017 International Conference on Recent Advances in Signal Processing …, 2017
Formal methods for the development and verification of autonomic IT systems
R Calinescu, S Kikuchi, M Kwiatkowska
Formal and Practical Aspects of Autonomic Computing and Networking …, 2012
Formal aspects of self-* in autonomic networked computing systems
P Cong-Vinh
Autonomic Computing and Networking, 381-410, 2009
An energy-efficient NOMA for small cells in heterogeneous CRAN under QoS constraints
QT Vien, TA Le, CV Phan, MO Agyeman
European Wireless 2017; 23th European Wireless Conference, 1-6, 2017
Continuity aspects of embedded reconfigurable computing
PC Vinh, JP Bowen
Innovations in Systems and Software Engineering 1 (1), 41-53, 2005
Concurrency of self-* in autonomic systems
PC Vinh
Future Generation Computer Systems 56, 140-152, 2016
Coalgebraic aspects of context-awareness
PC Vinh, NT Tung
Mobile Networks and Applications 18 (3), 391-397, 2013
A formal approach to aspect-oriented modular reconfigurable computing
P Cong-Vinh, JP Bowen
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems
PC Vinh
Scientific Annals of Computer Science 17, 113, 2007
Formalising Configuration Relocation Behaviours for Reconfigurable Computing
PC Vinh, JP Bowen
Proceedings of the FDL 2, 24-27, 2002
Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources
I Uddin, A Rakib, HMU Haque, PC Vinh
Mobile Networks and Applications 23 (1), 13-26, 2018
The energy-aware operational time of wireless ad-hoc sensor networks
NT Tung, PC Vinh
Mobile Networks and Applications 18 (3), 454-463, 2013
Categorical approaches to models and behaviors of autonomic agent systems
P Cong-Vinh
International Journal of Cognitive Informatics and Natural Intelligence …, 2009
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification: Specification, Development, and Verification
P Cong-Vinh
IGI Global, 2011
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
PC Vinh, JP Bowen
Transactions on Computational Science I, 1-36, 2008
Toward formalized autonomic networking
PC Vinh
Mobile Networks and Applications 19 (5), 598-607, 2014
Ultrasound images denoising based context awareness in bandelet domain
NT Binh, VTH Tuyet, PC Vinh
International Conference on Context-Aware Systems and Applications, 115-124, 2013
The system can't perform the operation now. Try again later.
Articles 1–20