Phan Cong Vinh
Phan Cong Vinh
Research Scientist in Computing at Nguyen Tat Thanh University, Vietnam
Adresse e-mail validée de ntt.edu.vn
Titre
Citée par
Citée par
Année
Springer International Publishing: Cham
AF Frangi, JA Schnabel, C Davatzikos, C Alberola-López, G Fichtinger
Switerland, 2018
3092018
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
652010
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
312017
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
312016
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
192009
Continuity aspects of embedded reconfigurable computing
PC Vinh, JP Bowen
Innovations in Systems and Software Engineering 1 (1), 41-53, 2005
152005
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
132017
Concurrency of self-* in autonomic systems
PC Vinh
Future Generation Computer Systems 56, 140-152, 2016
132016
Coalgebraic aspects of context-awareness
PC Vinh, NT Tung
Mobile Networks and Applications 18 (3), 391-397, 2013
122013
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
122007
Formalising Configuration Relocation Behaviours for Reconfigurable Computing
PC Vinh, JP Bowen
Proceedings of the FDL 2, 24-27, 2002
122002
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification: Specification, Development, and Verification
P Cong-Vinh
IGI Global, 2011
112011
Categorical approaches to models and behaviors of autonomic agent systems
P Cong-Vinh
International Journal of Cognitive Informatics and Natural Intelligence …, 2009
112009
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems
PC Vinh
Scientific Annals of Computer Science 17, 113, 2007
112007
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
The energy-aware operational time of wireless ad-hoc sensor networks
NT Tung, PC Vinh
Mobile Networks and Applications 18 (3), 454-463, 2013
102013
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
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
92018
Toward formalized autonomic networking
PC Vinh
Mobile Networks and Applications 19 (5), 598-607, 2014
92014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20