Li Qin Zhou
AuthID: R-000-JC6
1
TITLE: CoqQ: Foundational Verification of Quantum Programs
AUTHORS: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLISHED: 2023, SOURCE: Proc. ACM Program. Lang., VOLUME: 7, ISSUE: POPL
AUTHORS: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLISHED: 2023, SOURCE: Proc. ACM Program. Lang., VOLUME: 7, ISSUE: POPL
INDEXED IN: 
DBLP
DBLP2
TITLE: CoqQ: Foundational Verification of Quantum Programs
AUTHORS: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.11350
AUTHORS: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.11350
INDEXED IN: DBLP
DBLP3
TITLE: EasyPQC: Verifying Post-Quantum Cryptography Full Text
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
4
TITLE: A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
AUTHORS: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLISHED: 2021, SOURCE: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021
AUTHORS: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLISHED: 2021, SOURCE: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021
INDEXED IN: DBLP
DBLP5
TITLE: A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
AUTHORS: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2102.00329
AUTHORS: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2102.00329
INDEXED IN: DBLP
DBLP6
TITLE: The Visual Object Tracking VOT2014 Challenge Results
AUTHORS: Matej Kristan; Roman Pflugfelder; Ales Leonardis; Jiri Matas; Luka Cehovin; Georg Nebehay; Tomas Vojir; Gustavo Fernandez; Alan Lukezic; Aleksandar Dimitriev; Alfredo Petrosino; Amir Saffari; Bo Li; Bohyung Han; CherKeng Heng; Christophe Garcia; Dominik Pangersic; Gustav Haeger; Fahad Shahbaz Khan; Franci Oven; ...More
PUBLISHED: 2015, SOURCE: 13th European Conference on Computer Vision (ECCV) in COMPUTER VISION - ECCV 2014 WORKSHOPS, PT II, VOLUME: 8926
AUTHORS: Matej Kristan; Roman Pflugfelder; Ales Leonardis; Jiri Matas; Luka Cehovin; Georg Nebehay; Tomas Vojir; Gustavo Fernandez; Alan Lukezic; Aleksandar Dimitriev; Alfredo Petrosino; Amir Saffari; Bo Li; Bohyung Han; CherKeng Heng; Christophe Garcia; Dominik Pangersic; Gustav Haeger; Fahad Shahbaz Khan; Franci Oven; ...More
PUBLISHED: 2015, SOURCE: 13th European Conference on Computer Vision (ECCV) in COMPUTER VISION - ECCV 2014 WORKSHOPS, PT II, VOLUME: 8926
7
TITLE: High-rate sputtering deposition of high- and low-refractive index films from conductive composites
AUTHORS: Li Qin Zhou; Qi Hua Fan; Raul Simoes; Victor Neto;
PUBLISHED: 2015, SOURCE: MRS COMMUNICATIONS, VOLUME: 5, ISSUE: 2
AUTHORS: Li Qin Zhou; Qi Hua Fan; Raul Simoes; Victor Neto;
PUBLISHED: 2015, SOURCE: MRS COMMUNICATIONS, VOLUME: 5, ISSUE: 2
8
TITLE: Hyperactive piggybac gene transfer in human cells and in vivo
AUTHORS: Doherty, JE; Huye, LE; Yusa, K; Zhou, L; Craig, NL; Wilson, MH;
PUBLISHED: 2012, SOURCE: Human Gene Therapy, VOLUME: 23, ISSUE: 3
AUTHORS: Doherty, JE; Huye, LE; Yusa, K; Zhou, L; Craig, NL; Wilson, MH;
PUBLISHED: 2012, SOURCE: Human Gene Therapy, VOLUME: 23, ISSUE: 3
9
TITLE: Kilohertz magnetic field focusing and force enhancement using a metallic loop array Full Text
AUTHORS: Dede, EM; Lee, J; Guo, Y; Zhou, LQ; Zhang, M; Banerjee, D;
PUBLISHED: 2012, SOURCE: Applied Physics Letters, VOLUME: 101, ISSUE: 2
AUTHORS: Dede, EM; Lee, J; Guo, Y; Zhou, LQ; Zhang, M; Banerjee, D;
PUBLISHED: 2012, SOURCE: Applied Physics Letters, VOLUME: 101, ISSUE: 2
10
TITLE: Corrosion resistance of trivalent chromium black passive film on Zinc Coating
AUTHORS: Ke, Cm; Zhou, Lq; Wang, Zz; Zhang, Jl; Wang, Q; Zhang, Ly; Chen, Hx;
PUBLISHED: 2012, SOURCE: Corrosion and Protection, VOLUME: 33, ISSUE: 6
AUTHORS: Ke, Cm; Zhou, Lq; Wang, Zz; Zhang, Jl; Wang, Q; Zhang, Ly; Chen, Hx;
PUBLISHED: 2012, SOURCE: Corrosion and Protection, VOLUME: 33, ISSUE: 6
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID