University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Nguyen, H"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 21.

Article

Nguyen, H. Le, Lanskii, Grigory V., Aeppli, G. Aeppli and Murdin, B.N. Murdin (2019) Giant non-linear susceptibility of hydrogenic donors in silicon and germanium Light: Science & Applications, 8, 64. pp. 1-7.

Lanza, Jorge, Sanchez, Luis, Santana, Juan Ramon, Agarwal, Rachit, Kefalakis, Nikolaos, Grace, Paul, Elsaleh, Tarek, Zhao, Mengxuan, Tragos, Elias, Nguyen, Hung, Cirillo, Flavio, Steinke, Ronald and Soldatos, John (2018) Experimentation as a Service Over Semantically Interoperable Internet of Things Testbeds IEEE Access, 6. pp. 51607-51625.

Babar, Zunaira, Chandra, Daryus, Nguyen, Hung, Botsinis, Panagiotis, Alanis, Dimitrios, Ng, Soon Xin and Hanzo, Lajos (2018) Duality of Quantum and Classical Error Correction Codes: Design Principles and Examples IEEE Communications Surveys and Tutorials.

Xiao, Lixia, Xiao, Pei, Xiao, Y, Wu, C, Nguyen, Hung, Hemadeh, Ibrahim and Hanzo, L (2018) Transmit Antenna Combination Optimization for Generalized Spatial Modulation Systems IEEE Access, 6. pp. 41866-41882.

Nguyen, Hieu, Noor-A-Rahim, Md., Liu, Zilong, Jamaludin, Dayana and Guan, Yong (2018) A Semi-Empirical Performance Study of Two-Hop DSRC Message Relaying at Road Intersections Information, 9 (6).

Alanis, Dimitrios, Botsinis, Panagiotis, Babar, Zunaira, Nguyen, Hung, Chandra, Daryus, Ng, Soon Xin and Hanzo, Lajos (2018) Quantum-aided Multi-Objective Routing Optimization Using Back-Tracing-Aided Dynamic Programming IEEE Transactions on Vehicular Technology, 67 (8). pp. 7856-7860.

Alanis, Dimitrios, Botsinis, Panagiotis, Babar, Zunaira, Nguyen, Hung Viet, Chandra, Daryus, Ng, Soon Xin and Hanzo, Lajos (2018) A Quantum-Search-Aided Dynamic Programming Framework for Pareto Optimal Routing in Wireless Multihop Networks IEEE Transactions on Communications, 66 (8). pp. 3485-3500.

Trinh, Phuc V., Pham, Thanh V., Dang, Ngoc T., Nguyen, Hung Viet, Ng, Soon Xin and Pham, Anh T. (2018) Design and Security Analysis of Quantum Key Distribution Protocol Over Free-Space Optics Using Dual-Threshold Direct-Detection Receiver IEEE Access, 6. pp. 4159-4175.

Gyongyosi, Laszlo, Imre, Sandor and Nguyen, Hung Viet (2018) A Survey on Quantum Channel Capacities IEEE Communications Surveys & Tutorials, 20 (2). pp. 1149-1205.

Chandra, D, Babar, Z, Nguyen, Hung, Alanis, D, Botsinis, P, Ng, S and Hanzo, L (2017) Quantum Topological Error Correction Codes: The Classical-to-Quantum Isomorphism Perspective IEEE Access, 6 (1). pp. 13729-13757.

James, P, Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S and Treharne, H (2014) Techniques for modelling and verifying railway interlockings International Journal on Software Tools for Technology Transfer, 16 (6). pp. 685-711.

Nguyen, H, Wood, Steven and Wrigley, N (2013) The emerging food retail structure of Vietnam: phases of expansion in a post-socialist environment International Journal of Retail and Distribution Management, 41 (8). pp. 596-626.

Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S and Treharne, H (2013) Defining and model checking abstractions of complex railway models using CSP||B Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7857 L. pp. 193-208.

James, P, Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S, Treharne, H, Trumble, M and Williams, DM (2013) Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops, 8368. pp. 189-204.

Roggenbach, M, Moller, F, Schneider, S, Treharne, H and Nguyen, HN (2012) Railway modelling in CSP||B: the double junction case study. ECEASST, 53.

Nguyen, HH and Fernando, WAC (2007) Optimum linear decoding of vector quantisation transmitted over a CDMA channel IET COMMUNICATIONS, 1 (6). pp. 1206-1211.

Monograph

James, P, Moller, F, Nguyen, HN, Roggenbach, M, Schneider, SA and Treharne, H (2013) On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Technical Report.

Moler, F, Nguyen, HN, Roggenbach, M, Schneider, SA and Treharne, H (2012) Combining event-based and state-based modelling for railway verification Technical Report. (Unpublished)

Conference or Workshop Item

James, P, Moller, F, Nguyen, HN, Roggenbach, M and Treharne, H (2014) Decomposing scheme plans to manage verification complexity

Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S and Treharne, H (2012) Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B.

Marcel, S, McCool, C, vejka, PM, Ahonen, T, vCernocký, J, Chakraborty, S, Balasubramanian, V, Panchanathan, S, Chan, CH, Kittler, J, Poh, N, Fauve, B, Glembek, O, Plchot, O, Jančík, ZV, Larcher, A, Lévy, C, Matrouf, D, Bonastre, J-F, Lee, P-H, Hung, J-Y, Wu, S-W, Hung, Y-P, Machlica, L, Mason, J, Mau, S, Sanderson, C, Monzo, D, Albiol, A, Nguyen, HV, Bai, L, Wang, Y, Niskanen, M, Turtinen, M, Nolazco-Flores, JA, Garcia-Perera, LP, Aceves-Lopez, R, Villegas, M and Paredes, R On the Results of the First Mobile Biometry (MOBIO) Face and Speaker Verification Evaluation

This list was generated on Wed May 27 17:03:02 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800