Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXin Li 0010
Person information
- affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China
- affiliation (PhD 2007): Japan Advanced Institute of Science and Technology, Japan
- not to be confused with: Xin Li 0109
Other persons with the same name
- Xin Li — disambiguation page
- Xin Li 0001
![[0000-0002-4510-2436]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-4510-2436")
— Duke Kunshan University, Data Science Research Center, China (and 3 more) - Xin Li 0002 — University of California, San Diego, CA, USA (and 2 more)
- Xin Li 0003 (aka: Xin Shane Li) — Texas A&M University, TX, USA (and 2 more)
- Xin Li 0004 — City University of Hong Kong, Department of Information Systems, Hong Kong (and 1 more)
- Xin Li 0005 — University at Albany, NY, USA (and 3 more)
- Xin Li 0006 — Johns Hopkins University, Baltimore, Computer Science Department (and 1 more)
- Xin Li 0007 — Johns Hopkins University School of Medicine, Russell H. Morgan Department of Radiology and Radiological Science (and 1 more)
- Xin Li 0008 — Turn Inc. (and 1 more)
- Xin Li 0009 — University Carlos III, Madrid (and 1 more)
- Xin Li 0011 — University of Illinois at Chicago, Dept. of Computer Science
- Xin Li 0012 — University of Illinois at Chicago, Dept. of Computer Science
- Xin Li 0013 — Temple University
- Xin Li 0014 — Columbia University, Department of Industrial Engineering and Operations Research
- Xin Li 0015 — Fraunhofer Institute for Computer Graphics Research, Darmstadt
- Xin Li 0016 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Xin Li 0017 — Nanjing University of Aeronautics and Astronautics, College of Computer Science and Technology, China (and 1 more)
- Xin Li 0018 — Beijing Yidianwangju Technology, Beijing, China / Microsoft BING, USA / Yahoo Labs, Sunnyvale, CA, USA / University of Illinois at Urbana-Champaign, IL, USA
- Xin Li 0019 — University of Nevada, Las Vegas, Department of Mathematical Sciences (and 1 more)
- Xin Li 0020 — University of Minnesota, Minneapolis, Department of Electrical and Computer Engineering, USA (and 1 more)
- Xin Li 0021 — University of Science and Technology of China, School of Mathematical Sciences, Hefei, China
- Xin Li 0022 — University of Central Florida, USA
- Xin Li 0023 — Norwegian University of Science and Technology, Trondheim, Norway
- Xin Li 0024 — Beijing University of Technology, College of Applied Sciences, China (and 1 more)
- Xin Li 0025 — Beijing Forestry University
- Xin Li 0026 — Villanova University, PA, USA
- Xin Li 0027 — Qingdao Agriculture University, Qingdao, China
- Xin Li 0028 — The Hong Kong University of Science and Technology
- Xin Li 0029 — Chinese Academy of Sciences, Cold and Arid Regions Environmental and Engineering Research Institute, Lanzhou, China
- Xin Li 0030 — City Universit of Hong Kong, Systems Engineering and Engineering Management
- Xin Li 0031 — China University of Mining and Technology, Xuzhou, China
- Xin Li 0032 — Xi'an Jiaotong University, School of Electronics and Information Engineering, Xi'an, China
- Xin Li 0033 — Beijing Institute of Technology, School of Computer Science, China (and 1 more)
- Xin Li 0034 — Peng Cheng Laboratory, Shenzhen, China (and 1 more)
- Xin Li 0035 — Massey University, Department of Management, Wellington, New Zealand
- Xin Li 0036 — Shanghai University, China
- Xin Li 0037 — China Three Gorges University, College of Science, Yichang, China
- Xin Li 0038 — Lanzhou Jiaotong University, School of Automation & Electrical Engineering, China
- Xin Li 0039 — Tianjin University, Tianjin Key Laboratory of Advanced Joining Technology, China
- Xin Li 0040 — Macau University of Science and Technology, School of Business, Macau
- Xin Li 0041 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonic and Optical Communication, China
- Xin Li 0042 — Northwestern Polytechnical University, School of Electronics and Information, Xi'an, China (and 1 more)
- Xin Li 0043 — Yanshan University, Key Lab of Industrial Computer Control Engineering of Hebei Province, Qinhuangdao, China
- Xin Li 0044 — Yanshan University, School of Information Science and Engineering, Qinhuangdao, China
- Xin Li 0045 — Shanghai Maritime University, College of Arts and Sciences, China
- Xin Li 0046 — Wuhan University of Technology, School of Energy and Power Engineering, China
- Xin Li 0047 — Chang'an University, College of Geology Engineering and Geomatics, Xi'an, China (and 1 more)
- Xin Li 0048 — Hangzhou Dianzi University, School of Computer Science and Technology, China
- Xin Li 0049 — China Three Gorges University, College of Electrical Engineering and New Energy, Yichang, China (and 1 more)
- Xin Li 0050 — Wuhan University, Architecture Department, School of Urban Design, China
- Xin Li 0051 — Peking University, School of Electronic Engineering and Computer Science, MOE Key Laboratory of High Confidence Software Technologies, Beijing, China
- Xin Li 0052 — University of Leicester, Department of Cardiovascular Sciences, UK (and 1 more)
- Xin Li 0053 — Kyoto University, Fukui Institute for Fundamental Chemistry, Japan
- Xin Li 0054 — Beijing Jiaotong University, School of Civil Engineering, China
- Xin Li 0055 — Heilongjiang University, School of Mathematical Science, Harbin, China
- Xin Li 0056 — The Chinese University of Hong Kong, China
- Xin Li 0057 — University of California at Santa Cruz, Department of Computer Science and Engineering, CA, USA (and 1 more)
- Xin Li 0058 — Tsinghua University, Department of Mechanical Engineering, State Key Laboratory of Tribology / Beijing Key Laboratory of Precision/Ultra-Precision Manufacture Equipment and Control, China
- Xin Li 0059 — University of Alabama, Tuscaloosa, USA
- Xin Li 0060 — Peking University, Department of Biomedical Engineering, State Key Laboratory for Turbulence and Complex Systems, Beijing, China (and 1 more)
- Xin Li 0061 — Zhejiang University, School of Mathematical Sciences, Hangzhou, China
- Xin Li 0062 — Chinese Academy of Sciences, Institute of Optics and Electronics, Chengdu, China
- Xin Li 0063 — Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching, China
- Xin Li 0064 — iFlyTek Research, Hefei, China (and 3 more)
- Xin Li 0065 — Nanjing Medical University, Department of Health Policy / Department of Clinical Pharmacy, China
- Xin Li 0066 — Chengdu University of Technology, College of Management Science, China
- Xin Li 0067 — East China Normal University, Information Technology Support, Shanghai, China
- Xin Li 0068 — Wuhan University, School of Electronic Information, China
- Xin Li 0069 — China Medical University, School of Public Health, Shenyang, China
- Xin Li 0070 — Tianjin University, State Key Laboratory of Engines, China
- Xin Li 0071 — Hunan University of Finance and Economics, School of Information Technology and Management, Changsha, China
- Xin Li 0072 — Zhejiang University, Department of Civil Engineering, Hangzhou, China
- Xin Li 0073 — Hunan Institute of Technology, School of Computer and Information Science, Hengyang, China
- Xin Li 0074 — Shanghai Maritime University, Laboratory of Underwater Vehicles and Intelligent systems, China
- Xin Li 0075 — Anhui Science and Technology University, Department of Mathematics, Fengyang, China (and 1 more)
- Xin Li 0076 — Central South University, School of Automation, Changsha, China
- Xin Li 0077 — Guangdong University of Technology, School of Information Engineering, Guangzhou, China
- Xin Li 0078 — Samsung Telecommunications America, USA
- Xin Li 0079 — Inception Institute of Artificial Intelligence, Abu Dhabi, UAE (and 1 more)
- Xin Li 0080 — Lehigh University, Department of Computer Science and Engineering, Bethlehem, PA, USA
- Xin Li 0081 — Wayne State University, Computer Science Department, Detroit, MI, USA
- Xin Li 0082 — University of Science and Technology of China, CAS Key Laboratory of Technology in Geo-spatial Information Processing and Application System, Hefei, China
- Xin Li 0083 — Shanghai University, Materials Genome Institute, China
- Xin Li 0084 — Peking University, School of Software & Microelectronics, Beijing, China (and 1 more)
- Xin Li 0085 — Zhejiang University, Department of Mechanical Engineering, State Key Laboratory of Fluid Power Transmission and Control, Hangzhou, China (and 1 more)
- Xin Li 0086 — Nanjing University of Posts and Telecommunications, Nanjing University of Posts and Telecommunications, China
- Xin Li 0087 — Harbin Institute of Technology, Harbin Institute of Technology, China
- Xin Li 0088 — People's Public Security University of China, School of Information Technology and Cyber Security, Beijing, China (and 1 more)
- Xin Li 0089 — Oak Ridge National Laboratory, Center for Nanophase Materials Sciences, TN, USA (and 1 more)
- Xin Li 0090 — Hohai University, College of Computer and Information, Nanjing, China
- Xin Li 0091 — Huazhong University of Science and Technology, Wuhan, China (and 1 more)
- Xin Li 0092 — Chinese Academy of Sciences, Institute of Geographic Sciences and Natural Resources Research, State Key Laboratory of Resources and Environmental Information System, Beijing, China (and 1 more)
- Xin Li 0093 — Tongji University, College of Electronics and Information Engineering, Shanghai, China (and 1 more)
- Xin Li 0094 — PLA Strategic Support Force Information Engineering University, Information Technology Institute, Zhengzhou, China
- Xin Li 0095 — Hunan University, State Key Laboratory of Advanced Design and Manufacturing for Vehicle Body, Changsha, China
- Xin Li 0096 — Zhengzhou University, School of Mathematics and Statistics, China
- Xin Li 0097 — Xidian University, Guangzhou Institute of Technology, China (and 2 more)
- Xin Li 0098 — Central South University, School of Automation, Changsha, China
- Xin Li 0099 — Southeast University, National ASIC Research Center, Nanjing, China
- Xin Li 0100 — Guangdong University of Petrochemical Technology, College of Computer Science, Maoming, China (and 2 more)
- Xin Li 0101 — South China University of Technology, School of Computer Science and Engineering, Guangzhou, China
- Xin Li 0102 — Shantou University, College of Engineering, MOE Key Laboratory of Intelligent Manufacturing Technology, China
- Xin Li 0103 — Wuhan University, School of Remote Sensing and Information Engineering, China
- Xin Li 0104 — Louisiana State University, School of Electrical Engineering and Computer Science, LA, USA
- Xin Li 0105 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore (and 2 more)
- Xin Li 0106 — Baidu Inc., Department of Computer Vision Technology, VIS, Beijing, China
- Xin Li 0107 — Liaoning Technical University, Faculty of Electrical and Control Engineering, Huludao, China
- Xin Li 0108 — University of Arizona, Tucson, AZ, USA
- Xin Li 0109 — East China Normal University, Software Engineering Institute, National Trusted Embedded Software Engineering Technology Research Center, Shanghai, China
- Xin Li 0110 — East China Normal University, Shanghai, China
- Xin Li 0111 — School of Rehabilitation Medicine, Capital Medical University, Bejing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j4]Yuhong Wang, Xin Li:
Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning. IEEE Access 9: 71521-71534 (2021)- [c13]Rui Zhang, Xin Li:
Improving Graph Neural Network by Filter Preprocessing. CSSE 2021: 152-157 - [c12]Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng:
Explaining GBDT by Probabilistic Finite-State Automata. ICCPR 2021: 328-333 - [c11]Xin Qiu, Rui Zhang, Honggang Xu, Xin Li:
Local Interpretable Explanations for GBDT. IJCNN 2021: 1-10 - [c10]Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng:
Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. PAKDD (3) 2021: 141-154 - 2020
- [j3]Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki:
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35(6): 1295-1311 (2020)
2010 – 2019
- 2019
- [j2]Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He:
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68(3): 1117-1133 (2019) - 2018
- [j1]Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh:
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23(1): 44-56 (2018) - [c9]Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby:
Generating Permission-Based Security Policies. DSA 2018: 1-7 - 2017
- [c8]Xin Li, Mizuhito Ogawa:
A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. ICFEM 2017: 281-297 - 2014
- [c7]Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu:
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) 2014: 78-85 - [c6]Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu:
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE 2014: 90-97 - 2010
- [c5]Xin Li, Mizuhito Ogawa:
Conditional weighted pushdown systems and applications. PEPM 2010: 141-150
2000 – 2009
- 2009
- [c4]Xin Li, Mizuhito Ogawa:
Stacking-Based Context-Sensitive Points-to Analysis for Java. Haifa Verification Conference 2009: 133-149 - [c3]Xin Li, Mizuhito Ogawa:
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. BYTECODE@ETAPS 2009: 31-46 - 2008
- [c2]Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid:
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS 2008: 36-52 - 2004
- [c1]Xin Li, Mizuhito Ogawa:
A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. PDCAT 2004: 628-632
Coauthor Index
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.
last updated on 2024-07-18 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
