Skip to main content

Publications

Chapters

Ursin, R, Langford, N & Poppe, A 2012, 'Quantum key distribution' in Advanced Optical Wireless Communication Systems, pp. 305-327.
View/Download from: Publisher's site
View description>>

Journal articles

Bogdanov, A & Qiao, Y 2012, 'On the security of Goldreich's one-way function', Computational Complexity, vol. 21, no. 1, pp. 83-127.
View/Download from: UTS OPUS or Publisher's site
View description>>

Bu, G, Lee, J, Guan, H, Loo, YC & Blumenstein, M 2012, 'Long-term performance of bridge elements using integrated deterioration method incorporating elman neural network', Applied Mechanics and Materials, vol. 204-208, pp. 1980-1987.
View/Download from: UTS OPUS or Publisher's site
View description>>

Chen, J, Ji, Z, Klyachko, A, Kribs, DW & Zeng, B 2012, 'Rank reduction for the local consistency problem', Journal of Mathematical Physics, vol. 53, no. 2.
View/Download from: UTS OPUS or Publisher's site
View description>>

Chen, J, Ji, Z, Kribs, D, Wei, Z & Zeng, B 2012, 'Ground-state spaces of frustration-free Hamiltonians', Journal of Mathematical Physics, vol. 53, no. 10.
View/Download from: UTS OPUS or Publisher's site
View description>>

Chen, J, Ji, Z, Ruskai, MB, Zeng, B & Zhou, D-L 2012, 'Comment on some results of Erdahl and the convex structure of reduced density matrices', JOURNAL OF MATHEMATICAL PHYSICS, vol. 53, no. 7.
View/Download from: Publisher's site

Chen, J, Ji, Z, Wei, Z & Zeng, B 2012, 'Correlations in excited states of local Hamiltonians', Physical Review A - Atomic, Molecular, and Optical Physics, vol. 85, no. 4.
View/Download from: UTS OPUS or Publisher's site
View description>>

Chen, J, Ji, Z, Zeng, B & Zhou, DL 2012, 'From ground states to local Hamiltonians', PHYSICAL REVIEW A, vol. 86, no. 2.
View/Download from: UTS OPUS or Publisher's site

Datta, A, Zhang, L, Nunn, J, Langford, NK, Feito, A, Plenio, MB & Walmsley, IA 2012, 'Compact continuous-variable entanglement distillation.', Physical review letters, vol. 108, no. 6, pp. 060502-060502.
View/Download from: Publisher's site
View description>>

England, DG, Michelberger, PS, Champion, TFM, Reim, KF, Lee, KC, Sprague, MR, Jin, X-M, Langford, NK, Kolthammer, W, Nunn, J & Walmsley, IA 2012, 'High-fidelity polarization storage in a gigahertz bandwidth quantum memory', JOURNAL OF PHYSICS B-ATOMIC MOLECULAR AND OPTICAL PHYSICS, vol. 45, no. 12.
View/Download from: Publisher's site

Feng, Y, Duan, R & Ying, M 2012, 'Bisimulation For Quantum Processes', ACM Transactions pn Programming Language and Systems (TOPLAS), vol. 34, no. 4, pp. 1-43.
View/Download from: UTS OPUS or Publisher's site
View description>>

Furrer, F, Franz, T, Berta, M, Leverrier, A, Scholz, VB, Tomamichel, M & Werner, RF 2012, 'Continuous Variable Quantum Key Distribution: Finite-Key Analysis of Composable Security against Coherent Attacks', PHYSICAL REVIEW LETTERS, vol. 109, no. 10.
View/Download from: UTS OPUS or Publisher's site

Granade, CE, Ferrie, C, Wlebe, N & Cory, DG 2012, 'Robust online Hamiltonian learning', NEW JOURNAL OF PHYSICS, vol. 14.
View/Download from: UTS OPUS or Publisher's site

Horsman, C, Fowler, AG, Devitt, S & Van Meter, R 2012, 'Surface code quantum computing by lattice surgery', NEW JOURNAL OF PHYSICS, vol. 14.
View/Download from: Publisher's site

Lee, J, Guan, H, Loo, YC & Blumenstein, M 2012, 'Refinement of backward prediction method for reliable artificial intelligence-based bridge deterioration modelling', Advances in Structural Engineering, vol. 15, no. 5, pp. 825-836.
View/Download from: UTS OPUS or Publisher's site
View description>>

Lee, KC, Sussman, BJ, Sprague, MR, Michelberger, P, Reim, KF, Nunn, J, Langford, NK, Bustard, PJ, Jaksch, D & Walmsley, IA 2012, 'Macroscopic non-classical states and terahertz quantum processing in room-temperature diamond', NATURE PHOTONICS, vol. 6, no. 1, pp. 41-44.
View/Download from: Publisher's site

Li, S & Cohn, A 2012, 'Reasoning with Topological and Directional Spatial Information', Computational Intelligence, vol. 28, no. 4, pp. 579-616.
View/Download from: UTS OPUS or Publisher's site
View description>>

Lu, C, Chen, JF & Duan, R 2012, 'Some Bounds On The Minimum Number Of Queries Required For Quantum Channel Perfect Discrimination', Quantum Information and Computation, vol. 12, no. 1-2, pp. 138-148.
View/Download from: UTS OPUS
View description>>

Munro, WJ, Stephens, AM, Devitt, SJ, Harrison, KA & Nemoto, K 2012, 'Quantum communication without the necessity of quantum memories', NATURE PHOTONICS, vol. 6, no. 11, pp. 777-781.
View/Download from: Publisher's site

Qiao, Y, Sarma, MNJ & Tang, B 2012, 'On Isomorphism Testing of Groups with Normal Hall Subgroups', Journal Of Computer Science And Technology, vol. 27, no. 4, pp. 687-701.
View/Download from: UTS OPUS or Publisher's site
View description>>

Ramelow, S, Fedrizzi, A, Poppe, A, Langford, NK & Zeilinger, A 2012, 'Polarization-entanglement-conserving frequency conversion of photons', PHYSICAL REVIEW A, vol. 85, no. 1.
View/Download from: Publisher's site

Reim, KF, Nunn, J, Jin, X-M, Michelberger, PS, Champion, TFM, England, DG, Lee, KC, Kolthammer, WS, Langford, NK & Walmsley, IA 2012, 'Multipulse Addressing of a Raman Quantum Memory: Configurable Beam Splitting and Efficient Readout', PHYSICAL REVIEW LETTERS, vol. 108, no. 26.
View/Download from: Publisher's site

Rohde, PP 2012, 'Optical quantum computing with photons of arbitrarily low fidelity and purity', Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5.
View/Download from: UTS OPUS or Publisher's site
View description>>

Rohde, PP & Ralph, TC 2012, 'Error tolerance of the boson-sampling model for linear optics quantum computing', Physical Review A - Atomic, Molecular, and Optical Physics, vol. 85, no. 2.
View/Download from: UTS OPUS or Publisher's site

Rohde, PP, Fedrizzi, A & Ralph, TC 2012, 'Entanglement dynamics and quasi-periodicity in discrete quantum walks', Journal of Modern Optics, vol. 59, no. 8, pp. 710-720.
View/Download from: UTS OPUS or Publisher's site

Rohde, PP, Fitzsimons, JF & Gilchrist, A 2012, 'Quantum Walks with Encrypted Data', PHYSICAL REVIEW LETTERS, vol. 109, no. 15.
View/Download from: UTS OPUS or Publisher's site

Salter, PS, Jesacher, A, Spring, JB, Metcalf, BJ, Thomas-Peter, N, Simmonds, RD, Langford, NK, Walmsley, IA & Booth, MJ 2012, 'Adaptive slit beam shaping for direct laser written waveguides', OPTICS LETTERS, vol. 37, no. 4, pp. 470-472.
View/Download from: Publisher's site

Schreiber, A, Gabris, A, Rohde, PP, Laiho, K, Stefanak, M, Potocek, V, Hamilton, C, Jex, I & Silberhorn, C 2012, 'A 2D Quantum Walk Simulation of Two-Particle Dynamics', SCIENCE, vol. 336, no. 6077, pp. 55-58.
View/Download from: UTS OPUS or Publisher's site

Tomamichel, M, Lim, CCW, Gisin, N & Renner, R 2012, 'Tight finite-key analysis for quantum cryptography', Nature Communications, vol. 3, pp. 1-6.
View/Download from: UTS OPUS or Publisher's site
View description>>

Veitch, V, Ferrie, C, Gross, D & Emerson, J 2012, 'Negative quasi-probability as a resource for quantum computation', NEW JOURNAL OF PHYSICS, vol. 14.
View/Download from: UTS OPUS or Publisher's site

Wilde, M, Hayden, P, Buscemi, F & Hsieh, M 2012, 'The information-theoretic costs of simulating quantum measurements', Journal Of Physics A-Mathematical And General, vol. 45, no. 45, pp. 1-67.
View/Download from: UTS OPUS or Publisher's site
View description>>

Wilde, MM & Hsieh, M 2012, 'Public and private resource trade-offs for a quantum channel', Quantum Information Processing, vol. 11, pp. 1465-1501.
View/Download from: UTS OPUS or Publisher's site
View description>>

Wilde, MM & Hsieh, M 2012, 'The quantum dynamic capacity formula of a quantum channel', Quantum Information Processing, vol. 11, no. 6, pp. 1431-1463.
View/Download from: UTS OPUS or Publisher's site
View description>>

Wilde, MM & Hsieh, MH 2012, 'Erratum: The quantum dynamic capacity formula of a quantum channel; Public and private resource trade-offs for a quantum channel (Quantum Information Processing DOI: 10.1007/s11128-011-0310-6)', Quantum Information Processing, vol. 11, no. 6, pp. 1503-1509.
View/Download from: Publisher's site

Wittmann, B, Ramelow, S, Steinlechner, F, Langford, NK, Brunner, N, Wiseman, HM, Ursin, R & Zeilinger, A 2012, 'Loophole-free Einstein-Podolsky-Rosen experiment via quantum steering', NEW JOURNAL OF PHYSICS, vol. 14.
View/Download from: Publisher's site

Ying, M, Feng, Y, Duan, R, Li, Y & Yu, N 2012, 'Quantum Programming: From Theories To Implementations', Chinese Science Bulletin, vol. 57, no. 16, pp. 1903-1909.
View/Download from: UTS OPUS or Publisher's site
View description>>

Yu, N, Duan, R & Ying, M 2012, 'Four locally indistinguishable ququad-ququad orthogonal maximally entangled states.', Physical Review Letters, vol. 109, no. 2, pp. 020506-020506.
View/Download from: UTS OPUS or Publisher's site
View description>>

Zhao, S-M, Xiao, Y, Zhu, Y, Zhu, X-L & Hsieh, M-H 2012, 'NEW CLASS OF QUANTUM CODES CONSTRUCTED FROM CYCLIC DIFFERENCE SET', INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, vol. 10, no. 1.
View/Download from: UTS OPUS or Publisher's site

Zhou, C & Ying, M 2012, 'Approximating Markov processes through filtration', Theoretical Computer Science, vol. 446, pp. 75-97.
View/Download from: UTS OPUS or Publisher's site
View description>>

Conferences

Babai, L & Qiao, Y 2012, 'Polynomial-time Isomorphism Test for Groups with Abelian Sylow Towers', 29th Symposium on Theoretical Aspects of Computer Science, Symposium on Theoretical Aspects of Computer Science, Dagstuhl Publishing, Paris, France, pp. 453-465.
View/Download from: UTS OPUS or Publisher's site
View description>>

Babai, L, Codenotti, P & Qiao, Y 2012, 'Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups', LNCS - Automata, Languages, and Programming - Proceedings, Part I of the 39th International Colloquium on Automata, Languages and Programming, International Colloquium on Automata Languages and Programming, Springer, Warwick, UK, pp. 51-62.
View/Download from: UTS OPUS or Publisher's site
View description>>

Blumenstein, M, Pal, U & Uchida, S 2012, 'Message from general chair and program chairs', Proceedings - 10th IAPR International Workshop on Document Analysis Systems, DAS 2012.
View/Download from: Publisher's site

Chitsaz, M, Wang, K, Blumenstein, M & Qi, G 2012, 'Concept learning for ℰℒ++by refinement and reinforcement', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Pacific Rim International Conference on Artificial Intelligence, Springer, Kuching, Malaysia, pp. 15-26.
View/Download from: UTS OPUS or Publisher's site
View description>>

Datta, N., Hsieh, M. & Wilde, M.M. 2011, 'Quantum rate distortion, reverse Shannon theorems, and source-channel', The 14th workshop on Quantum Information Processing (QIP 2012), Montreal, Canada.
View description>>

Devitt, S & Nemoto, K 2012, 'Programming a topological quantum computer', Proceedings of the Asian Test Symposium, IEEE, pp. 55-60.
View/Download from: Publisher's site
View description>>

Duntsch, I & Li, S 2012, 'Extension Properties of Boolean Contact Algebras', Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), International Conference on Relational and Algebraic Methods in Computer Science, Springer-Verlag, Cambridge, UK, pp. 342-356.
View/Download from: UTS OPUS or Publisher's site
View description>>

Ferrie, C & Blume-Kohout, R 2012, 'Estimating the bias of a noisy coin', AIP Conference Proceedings, pp. 14-21.
View/Download from: Publisher's site
View description>>

Ferrie, C, Granade, CE & Cory, DG 2012, 'Adaptive Hamiltonian estimation using Bayesian experimental design', AIP Conference Proceedings, pp. 165-173.
View/Download from: Publisher's site
View description>>

Gerrits, T, Thomas-Peter, N, Gates, JC, Lita, AE, Metcalf, BJ, Calkins, B, Tomlin, NA, Fox, AE, Lamas Linares, A, Spring, JB, Langford, NK, Mirin, RP, Smith, PGR, Walmsley, IA & Nam, SW 2012, 'On-chip, photon-number-resolving, telecom-band detectors for scalable photonic information processing', Optics InfoBase Conference Papers.
View description>>

Gerrits, T, Thomas-Peter, N, Gates, JC, Lita, AE, Metcalf, BJ, Calkins, B, Tomlin, NA, Fox, AE, Linares, AL, Spring, JB, Langford, NK, Mirin, RP, Smith, PGR, Walmsley, IA & Nam, SW 2012, 'On-chip, photon-number-resolving, telecom-band detectors for scalable photonic information processing', 2012 Conference on Lasers and Electro-Optics, CLEO 2012.
View description>>

Hsieh, M. 2012, 'Introduction to Quantum Information Theory', Quantum Physics of Information, Shanghai Jiao Tong University, Shanghai, China.
View description>>

Hsieh, M. 2012, 'Strong converse capacities of quantum channels for classical information', Japan-Singapore Workshop on Multi-user Quantum Networks, Singapore.

Hsieh, M. 2012, 'The information-theoretic costs of simulating quantum measurements', International Workshop on Quantum Computing and Quantum Information Processing 2012, Chinese Academy of Sciences (CAS), Beijing, China.
View description>>

Liu, W & Li, S 2012, 'Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction', Proceedings of the 20th European conference on artificial intelligence (ECAI-2012), European Conference on Artificial Intelligence, IOS Press, Montpellier, France, pp. 552-557.
View/Download from: UTS OPUS or Publisher's site
View description>>

Liu, W & Li, S 2012, 'Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning', Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP-2012), International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, Quebec City, Canada, pp. 464-479.
View/Download from: UTS OPUS or Publisher's site
View description>>

Mahler, DH, Rozema, LA, Darabi, A, Branczyk, AM, Combes, J, Ferrie, C, Blume-Kohout, R, James, DFV & Steinberg, AM 2012, 'Experimental demonstration of adaptive tomography and self-calibrating tomography', 2012 Conference on Lasers and Electro-Optics, CLEO 2012.
View description>>

Mahler, DH, Rozema, LA, Darabi, A, Combes, J, Ferrie, C, Blume-Kohout, R & Steinberg, AM 2012, 'Experimental demonstration of adaptive tomography', Frontiers in Optics, FIO 2012.
View description>>

Nemoto, K, Everitt, MS, Devitt, SJ, Stephens, AM, Trupke, M & Schmiedmayer, J 2012, 'Quantum information device based on NV diamond centers for quantum network', Optics InfoBase Conference Papers.
View description>>

Nemoto, K, Everitt, MS, Devitt, SJ, Stephens, AM, Trupke, M & Schmiedmayer, J 2012, 'Quantum information device based on NV diamond centers for quantum network', CLEO: Applications and Technology, CLEO_AT 2012.
View description>>

Nemoto, K, Everitt, MS, Devitt, SJ, Stephens, AM, Trupke, M & Schmiedmayer, J 2012, 'Quantum information device based on NV diamond centers for quantum network', CLEO: Applications and Technology, CLEO_AT 2012.
View description>>

Nemoto, K, Everitt, MS, Devitt, SJ, Stephens, AM, Trupke, M & Schmiedmayer, J 2012, 'Quantum information device based on NV diamond centers for quantum network', 2012 Conference on Lasers and Electro-Optics, CLEO 2012.
View description>>

Nguyen, V & Blumenstein, M 2012, 'A compact size feature set for the off-line signature verification problem', Proceedings - 10th IAPR International Workshop on Document Analysis Systems, DAS 2012, International Workshop on Document Analysis Systems, IEEE, Institute of Electrical and Electronics Engineers, Gold Coast, Australia, pp. 261-265.
View/Download from: Publisher's site
View description>>

Nunn, J, Langford, NK, Champion, T, Sprague, MR, Michelberger, PS, Lee, KC, Jin, XM, England, D, Kolthammer, WS & Walmsley, IA 2012, 'Synchronizing single photons with quantum memories', 2012 Conference on Lasers and Electro-Optics, CLEO 2012.
View description>>

Nunn, J, Langford, NK, Champion, T, Sprague, MR, Michelberger, PS, Lee, KC, Jin, XM, England, D, Kolthammer, WS & Walmsley, IA 2012, 'Synchronizing single photons with quantum memories', CLEO: Applications and Technology, CLEO_AT 2012.
View description>>

Nunn, J, Langford, NK, Champion, T, Sprague, MR, Michelberger, PS, Lee, KC, Jin, XM, England, D, Kolthammer, WS & Walmsley, IA 2012, 'Synchronizing single photons with quantum memories', CLEO: Applications and Technology, CLEO_AT 2012.
View description>>

Nunn, J, Langford, NK, Champion, T, Sprague, MR, Michelberger, PS, Lee, KC, Jin, XM, England, D, Steven Kolthammer, W & Walmsley, IA 2012, 'Synchronizing single photons with quantum memories', Optics InfoBase Conference Papers.
View description>>

Pal, S, Alireza, A, Pal, U & Blumenstein, M 2012, 'Multi-script off-line signature identification', Proceedings of the 2012 12th International Conference on Hybrid Intelligent Systems, HIS 2012, International Conference on Hybrid Intelligent Systems, IEEE, Institute of Electrical and Electronics Engineers, Pine, India, pp. 236-240.
View/Download from: UTS OPUS or Publisher's site
View description>>

Pal, S, Alireza, A, Pal, U & Blumenstein, M 2011, 'Off-line signature identification using background and foreground information', Proceedings - 2011 International Conference on Digital Image Computing: Techniques and Applications, DICTA 2011, Digital Image Computing Techniques and Applications, IEEE, Noosa, QLD, Australia, pp. 672-677.
View/Download from: UTS OPUS or Publisher's site
View description>>

Pal, S, Blumenstein, M & Pal, U 2012, 'Hindi off-line signature verification', Proceedings - International Workshop on Frontiers in Handwriting Recognition, IWFHR, International Workshop on Frontiers in Handwriting Recognition, IWFHR, IEEE, Institute of Electrical and Electronics Engineers, Bari, Italy, pp. 373-378.
View/Download from: UTS OPUS or Publisher's site
View description>>

Pal, S, Chanda, S, Pal, U, Franke, K & Blumenstein, M 2012, 'Off-line signature verification using G-SURF', International Conference on Intelligent Systems Design and Applications, ISDA, International Conference on Intelligent Systems Designs and Applications, IEEE, Institute of Electrical and Electronics Engineers, Kochi, India, pp. 586-591.
View/Download from: UTS OPUS or Publisher's site
View description>>

Pal, S, Pal, U & Blumenstein, M 2012, 'Off-line English and Chinese signature identification using foreground and background features', Proceedings of the International Joint Conference on Neural Networks.
View/Download from: Publisher's site
View description>>

Paler, A, Devitt, S, Nemoto, K & Polian, I 2012, 'Synthesis of Topological Quantum Circuits', PROCEEDINGS OF THE 2012 IEEE/ACM INTERNATIONAL SYMPOSIUM ON NANOSCALE ARCHITECTURES (NANOARCH), IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH), IEEE, Amsterdam, NETHERLANDS, pp. 181-187.

Reim, KF, Nunn, J, Jin, XM, Michelberger, PS, Champion, TFM, England, DG, Lee, KC, Langford, NK & Walmsley, IA 2012, 'Multi-pulse addressing of a Raman quantum memory: Configurable beam splitting and efficient readout', Optics InfoBase Conference Papers.
View description>>

Reim, KF, Nunn, J, Jin, XM, Michelberger, PS, Champion, TFM, England, DG, Lee, KC, Langford, NK & Walmsley, IA 2012, 'Multi-pulse addressing of a Raman quantum memory: Configurable beam splitting and efficient readout', 2012 Conference on Lasers and Electro-Optics, CLEO 2012.
View description>>

Schockaert, S & Li, S 2012, 'Convex solutions of RCC8 networks', Proceedings of the 20th European conference on artificial intelligence (ECAI-2012), European Conference on Artificial Intelligence, IOS Press, Montpellier, France, pp. 726-731.
View/Download from: UTS OPUS or Publisher's site
View description>>

Schreiber, A, Gabris, A, Rohde, PP, Laiho, K, Stefanak, M, Potocek, V, Hamilton, C, Jex, I & Silberhorn, C 2012, 'Quantum simulations with a two-dimensional Quantum Walk', 2012 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), Conference on Lasers and Electro-Optics (CLEO), IEEE, San Jose, CA.

Schreiber, A, Gábris, A, Rohde, PP, Laiho, K, Stefanak, M, Potoček, V, Hamilton, C, Jex, I & Silberhorn, C 2012, 'Quantum simulations with a two-dimensional quantum walk', 2012 Conference on Lasers and Electro-Optics, CLEO 2012, Conference on Lasers and Electro-Optic, IEEE, San Jose, CA, USA.
View/Download from: UTS OPUS or Publisher's site
View description>>

Sharma, N, Pal, U & Blumenstein, M 2012, 'Recent advances in video based document processing: A review', Proceedings - 10th IAPR International Workshop on Document Analysis Systems, DAS 2012, International Workshop on Document Analysis Systems, IEEE, Institute of Electrical and Electronics Engineers, Gold Coast, Australia, pp. 63-68.
View/Download from: UTS OPUS or Publisher's site
View description>>

Sharma, N, Shivakumara, P, Pal, U, Blumenstein, M & Tan, CL 2012, 'A new method for arbitrarily-oriented text detection in video', Proceedings - 10th IAPR International Workshop on Document Analysis Systems, DAS 2012, International Workshop on Document Analysis Systems, IEEE, Institute of Electrical and Electronics Engineers, Gold Coast, Australia, pp. 74-78.
View/Download from: UTS OPUS or Publisher's site
View description>>

Sprague, MR, Lee, KC, Sussman, BJ, Nunn, J, Langford, NK, Jin, XM, Champion, T, Michelberger, P, Reim, KF, England, D, Jaksch, D & Walmsley, IA 2012, 'Entangling the motion of diamonds at room temperature', 2012 Conference on Lasers and Electro-Optics, CLEO 2012.
View description>>

Sprague, MR, Lee, KC, Sussman, BJ, Nunn, J, Langford, NK, Jin, XM, Champion, T, Michelberger, P, Reim, KF, England, D, Jaksch, D & Walmsley, IA 2012, 'Entangling the motion of diamonds at room temperature', Optics InfoBase Conference Papers.
View description>>

Su, G, Ying, M & Zhang, C 2012, 'Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles', 2012 Joint Working Conference on Software Architecture & 6th European Conference on Software Architecture, IEEE/IFIP Working Conference on Software Architecture (now with ECSA), IEEE Computer Society, Helsinki (Finland), pp. 151-160.
View/Download from: UTS OPUS or Publisher's site
View description>>

Suwanwiwat, H, Nguyen, V & Blumenstein, M 2012, 'Off-line restricted-set handwritten word recognition for student identification in a short answer question automated assessment system', Proceedings of the 2012 12th International Conference on Hybrid Intelligent Systems, HIS 2012, International Conference on Hybrid Intelligent Systems, IEEE, Institute of Electrical and Electronics Engineers, Pune, India, pp. 167-172.
View/Download from: UTS OPUS or Publisher's site
View description>>

Yu, N & Ying, M 2012, 'Reachability and Termination Analysis of Concurrent Quantum Programs', Lecture Notes in Computer Science, International Conference on Concurrency Theory, Sringer-Verlag, Newcastle upon Tyne, UK, pp. 69-83.
View/Download from: UTS OPUS or Publisher's site
View description>>

Yu, N & Ying, M 2012, 'Reachability and Termination Analysis of Concurrent Quantum Programs.', CONCUR, Springer, pp. 69-83.

Other

Deng, Y & Feng, Y 2012, 'Open Bisimulation for Quantum Processes'.
View/Download from: UTS OPUS

Li, Y, Wang, Q & Li, S 2012, 'On Quotients of Formal Power Series'.
View description>>

Su, G, Ying, M & Zhang, C 2012, 'Session Communication and Integration'.

Ying, M, Yu, N & Feng, Y 2012, 'Defining Quantum Control Flow'.