Phan Cong Vinh
Phan Cong Vinh
Research Scientist in Computing at Nguyen Tat Thanh University, Vietnam
Verified email at ntt.edu.vn
TitleCited byYear
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
562010
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
252016
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
232017
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
232012
Formal aspects of self-* in autonomic networked computing systems
P Cong-Vinh
Autonomic Computing and Networking, 381-410, 2009
182009
Continuity aspects of embedded reconfigurable computing
PC Vinh, JP Bowen
Innovations in Systems and Software Engineering 1 (1), 41-53, 2005
162005
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
132007
Formalising Configuration Relocation Behaviours for Reconfigurable Computing
PC Vinh, JP Bowen
Proceedings of the FDL 2, 24-27, 2002
132002
Coalgebraic aspects of context-awareness
PC Vinh, NT Tung
Mobile Networks and Applications 18 (3), 391-397, 2013
122013
Concurrency of self-* in autonomic systems
PC Vinh
Future Generation Computer Systems 56, 140-152, 2016
112016
The energy-aware operational time of wireless ad-hoc sensor networks
NT Tung, PC Vinh
Mobile Networks and Applications 18 (3), 454-463, 2013
112013
Semantics of RTL and validation of synthesized RTL designs using formal verification in reconfigurable computing systems
PC Vinh, JP Bowen
12th IEEE International Conference and Workshops on the Engineering of …, 2005
112005
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification: Specification, Development, and Verification
P Cong-Vinh
IGI Global, 2011
102011
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
102008
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems
PC Vinh
Scientific Annals of Computer Science 17, 113, 2007
102007
Formal aspects of dynamic reconfigurability in reconfigurable computing systems
CV Phan
London South Bank University, 2006
102006
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
92017
Toward formalized autonomic networking
PC Vinh
Mobile Networks and Applications 19 (5), 598-607, 2014
92014
Categorical approaches to models and behaviors of autonomic agent systems
P Cong-Vinh
International Journal of Cognitive Informatics and Natural Intelligence …, 2009
92009
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs
PC Vinh, JP Bowen
Proceedings of the 2004 ACM/SIGDA 12th international symposium on Field …, 2004
92004
The system can't perform the operation now. Try again later.
Articles 1–20