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

Article

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 Thu Nov 23 13:25:17 2017 UTC.

Information about this web site

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