Curtin University Sarawak — Malaysia
Computer Science · Physical Sciences
17h-index866citations62works0.82yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Quantum Computing Algorithms and Architecture(31), Quantum Information and Cryptography(26), Quantum Mechanics and Applications(21), Logic, programming, and type systems(17), Formal Methods in Verification(13)
Publications62 total
Aquatic Sciences·2025Open Access
Aquatic Sciences·2025· 2 cited
Outstanding contributions to logic·2023· 1 cited
2020· 72 cited
Lecture notes in computer science·2020· 19 citedOpen Access
Lecture notes in computer science·2020· 9 cited
Lecture notes in computer science·2020· 2 citedOpen Access
ACM Transactions on Computational Logic·2018· 15 citedOpen Access
International Journal of Quantum Information·2018· 6 cited
2017· 16 citedOpen Access
Lecture notes in computer science·2017· 6 cited
Lecture notes in computer science·2017· 11 cited
arXiv (Cornell University)·2015· 14 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2015· 21 citedOpen Access
Verification of quantum protocols using Coq
2014
Lecture notes in computer science·2014· 28 citedOpen Access
arXiv (Cornell University)·2013Open Access
A Temporal Logic for Planning under Uncertainty.
2013· 1 cited
page 1 of 4Next →
Frequent Co-authors
Simon J. Gay(17), Nickolas Papanikolaou(6), Samson Abramsky(5), Garry Bowen(4), Caroline Rogers(4), Jaap Boender(3), David Windridge(3), Ebrahim Ardeshir-Larijani(2), Timothy A. S. Davidson(2), Chris Hankin(2), Florian Kammueller(2), Pedro Baltazar(2), Paulo Mateus(2), Alessandra Di Pierro(2), Riccardo Mengoni(2), Yuan Chen(2), Moritz Müller(2), Ale×ander R. Cobb(2), Rahayu Sukmaria Sukri(2), Jens Zinke(2)