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: 16.

Article

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.

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. pp. 1-58.

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.

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 Tue Jun 19 14:21:01 2018 UTC.

Information about this web site

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