Остановите войну!
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 259 matches
- 2024
- Hao Qiu, Zhihao Yu, Tiange Zhao, Qi Zhang, Mingsheng Xu, Peifeng Li, Taotao Li, Wenzhong Bao, Yang Chai, Shula Chen, Yiqi Chen, Hui-Ming Cheng, Daoxin Dai, Zengfeng Di, Zhuo Dong, Xidong Duan, Yuhan Feng, Yu Fu, Jingshu Guo, Pengwen Guo, Yue Hao, Jun He, Xiao He, Jingyi Hu, Weida Hu, Zehua Hu, Xinyue Huang, Ziyang Huang, Ali Imran, Ziqiang Kong, Jia Li, Qian Li, Weisheng Li, Lei Liao, Bilu Liu, Can Liu, Chunsen Liu, Guanyu Liu, Kaihui Liu, Liwei Liu, Sheng Liu, Yuan Liu, Donglin Lu, Likuan Ma, Feng Miao, Zhenhua Ni, Jing Ning, Anlian Pan, Tian-Ling Ren, Haowen Shu, Litao Sun, Yue Sun, Quanyang Tao, Ziao Tian, Dong Wang, Hao Wang, Haomin Wang, Jialong Wang, Junyong Wang, Wenhui Wang, Xingjun Wang, Yeliang Wang, Yuwei Wang, Zhenyu Wang, Yao Wen, Haidi Wu, Hongzhao Wu, Jiangbin Wu, Yanqing Wu, Longfei Xia, Baixu Xiang, Luwen Xing, Qihua Xiong, Xiong Xiong, Jeffrey Xu, Tao Xu, Yang Xu, Liu Yang, Yi Yang, Yuekun Yang, Lei Ye, Yu Ye, Bin Yu, Ting Yu, Hui Zeng, Guangyu Zhang, Hongyun Zhang, Jincheng Zhang, Kai Zhang, Tao Zhang, Xinbo Zhang, Yanfeng Zhang, Chunsong Zhao, Yuda Zhao, Ting Zheng, Peng Zhou, Shaohua Kevin Zhou, Yuxuan Zhu, Deren Yang, Yi Shi, Han Wang, Xinran Wang:
Two-dimensional materials for future information technology: status and prospects. Sci. China Inf. Sci. 67(6) (2024) - Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan:
Neuron importance based verification of neural networks via divide and conquer. Neurocomputing 565: 126995 (2024) - Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan:
A multi-granularity CNN pruning framework via deformable soft mask with joint training. Neurocomputing 572: 127189 (2024) - Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan:
Multi-keyword ranked search with access control for multiple data owners in the cloud. J. Inf. Secur. Appl. 82: 103742 (2024) - Hongwei Du, Jingfang Su, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring. ACM Trans. Sens. Networks 20(3): 63:1-63:23 (2024) - 2023
- Zhenhuan Wu, Xingde Duan, Wenzhuan Zhang:
Bayesian Analysis of Tweedie Compound Poisson Partial Linear Mixed Models with Nonignorable Missing Response and Covariates. Entropy 25(3): 506 (2023) - Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan:
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117: 103034 (2023) - Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian:
A proof system for unified temporal logic. Theor. Comput. Sci. 949: 113702 (2023) - Wenhong Duan, Zhenhua Liu, Chuanmin Jia, Shanshe Wang, Siwei Ma, Wen Gao:
Differential Weight Quantization for Multi-Model Compression. IEEE Trans. Multim. 25: 6397-6410 (2023) - Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan:
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34(1): 76-91 (2023) - Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian:
A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) 2023: 227-239 - Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian:
An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) 2023: 82-93 - Yanjun Li, Chunshan Zu, Bingqian Wang, Zhenhua Zhu, Yaojun Zhang, Ran Duan, Bing Li, Bonan Yan:
SRAM-Based Processing-In-Memory Design with Kullback-Leibler Divergence-Based Dynamic Precision Quantization. ACM Great Lakes Symposium on VLSI 2023: 189-192 - Peng Gao, Haoran Yuan, Yanfei Liu, Bowen Mao, Yucong Duan, Zhenhua Wang:
Construction of Anti-Terrorism Intelligence Graph Based on DIKW Framework. HPCC/DSS/SmartCity/DependSys 2023: 1099-1105 - Tingwei Liu, Hexiang Cheng, Yanfei Liu, Yucong Duan, Zhenhua Wang:
Research on the Application of Blockchain Digital Forensics Architecture Based on the DIKW Graph Model in the Police Forensic Process. HPCC/DSS/SmartCity/DependSys 2023: 1091-1098 - Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - Liangcai Su, Fan Yan, Jieming Zhu, Xi Xiao, Haoyi Duan, Zhou Zhao, Zhenhua Dong, Ruiming Tang:
Beyond Two-Tower Matching: Learning Sparse Retrievable Cross-Interactions for Recommendation. SIGIR 2023: 548-557 - Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE 2023: 1153-1164 - Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan:
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) 2023: 571-576 - Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu:
Verifying Chips Design at RTL Level. TASE 2023: 146-163 - Shaoying Liu, Zhenhua Duan, Ai Liu:
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13854, Springer 2023, ISBN 978-3-031-29475-4 [contents] - Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Using Experience Classification for Training Non-Markovian Tasks. CoRR abs/2310.11678 (2023) - Liangcai Su, Fan Yan, Jieming Zhu, Xi Xiao, Haoyi Duan, Zhou Zhao, Zhenhua Dong, Ruiming Tang:
Beyond Two-Tower Matching: Learning Sparse Retrievable Cross-Interactions for Recommendation. CoRR abs/2311.18213 (2023) - 2022
- Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan:
Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. 120: 102811 (2022) - Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186: 111195 (2022) - Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian:
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937: 85-95 (2022) - Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian:
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71(1): 321-338 (2022) - Jiarui Wang, Nan Zhang, Zhenhua Duan:
Three Algorithms for Converting Control Flow Statements from Python to XD-M. AAIM 2022: 456-465 - Xiaoting Zhong, Nan Zhang, Zhenhua Duan:
An Approach for Automatically Generating Traces for Python Programs. DSA 2022: 262-268 - Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan:
Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE 2022: 78:1-78:13
skipping 229 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-22 15:41 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