Xun Li - Concepedia

Author

Xun Li

University of California, Santa Barbara ORCID

Also Known As

Li Xun, Li, X., Xun Li, Xun Li1,a),

Publications

763

Citations

H-Index

Concepts

All Affiliations

University of California, Santa Barbara University of California San Diego Nanjing University of Science and Technology The University of Texas at Austin Nanjing University of Chinese Medicine

About

Xun Li is an author at University of California, Santa Barbara specializing in engineering, formal verification, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	612
2	Computer Engineering	8	8	501
3	Business	1	1	29
4	Language Studies	1	1	28
5	Public Health	1	1	27

Xun Li

Publications

718

Citations

H-Index

Page 1

	Year	Citations
Sapper Xun Li, Vineeth Kashyap, Jason Oberg, EngineeringHardware Verification LanguageComputer ArchitecturePresent SapperEmbedded Systems	2014	114
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security Mohit Tiwari, Jason Oberg, Xun Li, EngineeringHardware Verification LanguageInformation SecurityHigh Assurance SystemsComputer Architecture	2011	107
Caisson Xun Li, Mohit Tiwari, Jason Oberg, ACM SIGPLAN Notices EngineeringHardware Verification LanguageComputer ArchitectureSoftware AnalysisFormal Verification	2011	93
Execution leases Mohit Tiwari, Xun Li, Hassan M. G. Wassel, EngineeringVerificationHigh Assurance SystemsComputer ArchitectureComputer-aided Verification	2009	76
Caisson Xun Li, Mohit Tiwari, Jason Oberg, EngineeringInformation SecurityHardware Design TimeFormal VerificationSoftware Analysis	2011	65
Optimization of Computer-Aided English Translation Teaching Based on Network Teaching Platform Shan Gu, Xun Li Computer-Aided Design and Applications	2021	53
Joint extraction of entities and overlapping relations by improved graph convolutional networks Qi Sun, Kun Zhang, Laishui Lv, Applied Intelligence Natural Language ProcessingJoint ExtractionEngineeringGraph TheoryInformation Retrieval	2021	29
Document-level relation extraction with two-stage dynamic graph attention networks Qi Sun, Kun Zhang, Kun Huang, Knowledge-Based Systems Natural Language ProcessingEngineeringData ScienceComputational LinguisticsRelationship Extraction	2023	28
More discussions for granger causality and new causality measures Sanqing Hu, Yu Cao, Jianhai Zhang, Cognitive Neurodynamics Granger CausalityCausalityPublic HealthCausal ReasoningStatistics	2011	27
Dual-Channel and Hierarchical Graph Convolutional Networks for document-level relation extraction Qi Sun, Tiancheng Xu, Kun Zhang, Expert Systems with Applications Natural Language ProcessingGraph Neural NetworkEngineeringGraph TheoryData Science	2022	24

Page 1