Li Qin Zhou


AuthID: R-000-JC6

Publicações a aguardar confirmação

1
TÍTULO: CoqQ: Foundational Verification of Quantum Programs
AUTORES: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: POPL
INDEXADO EM: DBLP
2
TÍTULO: CoqQ: Foundational Verification of Quantum Programs
AUTORES: Li Zhou; Gilles Barthe ; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.11350
INDEXADO EM: DBLP
3
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
4
TÍTULO: A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
AUTORES: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLICAÇÃO: 2021, FONTE: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021
INDEXADO EM: DBLP
5
TÍTULO: A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
AUTORES: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2102.00329
INDEXADO EM: DBLP
6
TÍTULO: The Visual Object Tracking VOT2014 Challenge Results
AUTORES: 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; Horst Possegger; Horst Bischof; Hyeonseob Nam; Jianke K Zhu; JiJia J Li; Jin Young Choi; Jin Woo Choi; Joao F Henriques; Joost van de Weijer; Jorge Batista; Karel Lebeda; Kristoffer Oefjaell; Kwang Moo Yi; Lei Qin; Longyin Y Wen; Mario Edoardo Maresca; Martin Danelljan; Michael Felsberg; Ming Ming Cheng; Philip Torr; Qingming M Huang; Richard Bowden; Sam Hare; Samantha YueYing Lim; Seunghoon Hong; Shengcai C Liao; Simon Hadfield; Stan Z Li; Stefan Duffner; Stuart Golodetz; Thomas Mauthner; Vibhav Vineet; Weiyao Y Lin; Yang Li; Yuankai K Qi; Zhen Lei; ZhiHeng H Niu; ...Mais
PUBLICAÇÃO: 2015, FONTE: 13th European Conference on Computer Vision (ECCV) in COMPUTER VISION - ECCV 2014 WORKSHOPS, PT II, VOLUME: 8926
INDEXADO EM: Scopus WOS CrossRef: 30
7
TÍTULO: High-rate sputtering deposition of high- and low-refractive index films from conductive composites
AUTORES: Li Qin Zhou; Qi Hua Fan; Raul Simoes; Victor Neto;
PUBLICAÇÃO: 2015, FONTE: MRS COMMUNICATIONS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
8
TÍTULO: Hyperactive piggybac gene transfer in human cells and in vivo
AUTORES: Doherty, JE; Huye, LE; Yusa, K; Zhou, L; Craig, NL; Wilson, MH;
PUBLICAÇÃO: 2012, FONTE: Human Gene Therapy, VOLUME: 23, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
9
TÍTULO: Kilohertz magnetic field focusing and force enhancement using a metallic loop array  Full Text
AUTORES: Dede, EM; Lee, J; Guo, Y; Zhou, LQ; Zhang, M; Banerjee, D;
PUBLICAÇÃO: 2012, FONTE: Applied Physics Letters, VOLUME: 101, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
10
TÍTULO: Corrosion resistance of trivalent chromium black passive film on Zinc Coating
AUTORES: Ke, Cm; Zhou, Lq; Wang, Zz; Zhang, Jl; Wang, Q; Zhang, Ly; Chen, Hx;
PUBLICAÇÃO: 2012, FONTE: Corrosion and Protection, VOLUME: 33, NÚMERO: 6
INDEXADO EM: Scopus
NO MEU: ORCID
Página 1 de 3. Total de resultados: 27.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service