Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 36 matches
- 2024
- Yifan Li, Qianying Li, Lvying Wu, Haiyan Wang, Hui Shi, Chenhui Yang, Yiqun Gu, Jianyuan Li, Zhiliang Ji:
SperMD: the expression atlas of sperm maturation. BMC Bioinform. 25(1): 29 (2024) - Linhan Li, Qianying Zhang, Zekun Xu, Shijun Zhao, Zhiping Shi, Yong Guan:
rOOM: A Rust-Based Linux Out of Memory Kernel Component. IEICE Trans. Inf. Syst. 107(3): 245-256 (2024) - Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi:
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE 2024: 188-209 - 2023
- Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan:
A unified proof technique for verifying program correctness with big-step semantics. J. Syst. Archit. 136: 102820 (2023) - Guangda Huzhang, Zhen-Jia Pang, Yongqing Gao, Yawen Liu, Weijie Shen, Wen-Ji Zhou, Qianying Lin, Qing Da, Anxiang Zeng, Han Yu, Yang Yu, Zhi-Hua Zhou:
AliExpress Learning-to-Rank: Maximizing Online Model Performance Without Going Online. IEEE Trans. Knowl. Data Eng. 35(2): 1214-1226 (2023) - Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC 2023: 309-318 - 2022
- Hede Lu, Fulong Xu, Qianying Wang, Zhida Chen, Qiang Zhang:
For Safer Approach Landing of the Aircraft: Measuring the Electromagnetic Interference of High-Speed Train to ILS and Giving Protection Recommendations. IEEE Instrum. Meas. Mag. 25(8): 26-31 (2022) - Siling Guo, Tianchen Sun, Jiangtao Gong, Zhicong Lu, Liuxin Zhang, Qianying Wang:
Remote Co-teaching in Rural Classroom: Current Practices, Impacts, and Challenges. CHI 2022: 247:1-247:16 - Soheil Sadeghi Eshkevari, Xiaocheng Tang, Zhiwei Qin, Jinhan Mei, Cheng Zhang, Qianying Meng, Jia Xu:
Reinforcement Learning in the Wild: Scalable RL Dispatching Algorithm Deployed in Ridehailing Marketplace. KDD 2022: 3838-3848 - Linhan Li, Qianying Zhang, Shijun Zhao, Zhi-Ping Shi, Yong Guan:
Design and Implementation of OOM Module based on Rust. QRS Companion 2022: 774-775 - Soheil Sadeghi Eshkevari, Xiaocheng Tang, Zhiwei Qin, Jinhan Mei, Cheng Zhang, Qianying Meng, Jia Xu:
Reinforcement Learning in the Wild: Scalable RL Dispatching Algorithm Deployed in Ridehailing Marketplace. CoRR abs/2202.05118 (2022) - Siling Guo, Tianchen Sun, Jiangtao Gong, Zhicong Lu, Liuxin Zhang, Qianying Wang:
Remote Co-teaching in Rural Classroom: Current Practices, Impacts, and Challenges. CoRR abs/2203.16042 (2022) - 2021
- Zhiqiang Zhan, Jianyu Zhao, Yang Zhang, Jiangtao Gong, Qianying Wang, Qi Shen, Liuxin Zhang:
Grabbing the Long Tail: A data normalization method for diverse and informative dialogue generation. Neurocomputing 460: 374-384 (2021) - Yinghui Meng, Qianying Zhi, Minghao Dong, Weiwei Zhang:
A Node Localization Algorithm for Wireless Sensor Networks Based on Virtual Partition and Distance Correction. Inf. 12(8): 330 (2021) - Yuan Xue, Jiarong Ye, Qianying Zhou, L. Rodney Long, Sameer K. Antani, Zhiyun Xue, Carl Cornwell, Richard Zaino, Keith C. Cheng, Xiaolei Huang:
Selective synthetic augmentation with HistoGAN for improved histopathology image classification. Medical Image Anal. 67: 101816 (2021) - Jiangtao Gong, Zheng Yao, Zhicong Lu, Qicheng Ding, Yu Zhang, Liuxin Zhang, Qianying Wang:
All in One Group: Current Practices, Lessons and Challenges of Chinese Home-School Communication in IM Group Chat. CHI 2021: 346:1-346:12 - Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA 2021: 61-80 - Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR abs/2108.01883 (2021) - Yuan Xue, Jiarong Ye, Qianying Zhou, L. Rodney Long, Sameer K. Antani, Zhiyun Xue, Carl Cornwell, Richard Zaino, Keith C. Cheng, Xiaolei Huang:
Selective Synthetic Augmentation with HistoGAN for Improved Histopathology Image Classification. CoRR abs/2111.06399 (2021) - 2020
- Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan:
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Formal Aspects Comput. 32(4-6): 417-437 (2020) - Yinghui Meng, Qianying Zhi, Qiuwen Zhang, Ni Yao:
A Two-Stage Particle Swarm Optimization Algorithm for Wireless Sensor Nodes Localization in Concave Regions. Inf. 11(10): 488 (2020) - Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi:
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC 2020: 149-158 - Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan:
Formalizing the Transaction Flow Process of Hyperledger Fabric. ICFEM 2020: 233-250 - 2019
- Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qianying Zhang, Yong-Dong Li:
Formalization of Geometric Algebra in HOL Light. J. Autom. Reason. 63(3): 787-808 (2019) - Meiyu Zhang, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan:
SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks. Secur. Commun. Networks 2019: 8690853:1-8690853:12 (2019) - Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan:
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC 2019: 355-362 - Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han:
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM 2019: 121-137 - Yuan Xue, Qianying Zhou, Jiarong Ye, L. Rodney Long, Sameer K. Antani, Carl Cornwell, Zhiyun Xue, Xiaolei Huang:
Synthetic Augmentation and Feature-Based Filtering for Improved Cervical Histopathology Image Classification. MICCAI (1) 2019: 387-396 - Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan:
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. TrustCom/BigDataSE 2019: 26-33 - Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang:
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. CoRR abs/1906.06653 (2019)
skipping 6 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-11 15:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint