Jinyun Xue
Jinyun Xue publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Logic, programming, and type systems.
- World rank
- #820,904 of 1,633,909 ranked researchers
- Rank in China
- #67,764 of 187,979
- Works
- 32
- Citations
- 34
- Citations per work
- 1.1
What does Jinyun Xue research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics25% of their works
- 2Artificial Intelligence25% of their works
- 3Software18% of their works
- 4Information Systems14% of their works
- 5Control and Systems Engineering7% of their works
- 6Computer Networks and Communications4% of their works
Research topics
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Software Engineering Research
- Model-Driven Software Engineering Techniques
- Natural Language Processing Techniques
- Advanced Computational Techniques and Applications
- Advanced Software Engineering Methodologies
Which keywords describe Jinyun Xue's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Machine Learning, Software Reliability Modeling, Code Clone Detection and Domain-Specific Languages.
- Wavelet Analysis
- Self-Adaptive Systems
- Expert Systems
- Static Analysis
- Model-Driven Engineering
- Domain-Specific Languages
- Software Reliability Modeling
- Architecture-Based Approach
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Machine Learning
- Code Clone Detection
- Formal Verification
- Refactoring
- Autonomic Computing
- Neural Machine Translation
- Statistical Machine Translation
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking62 topics
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Architecture-Based Approach31 topic
- Machine Learning32 topics
- Software Reliability Modeling31 topic
- Code Clone Detection21 topic
- Domain-Specific Languages21 topic
- Formal Verification21 topic
- Model-Driven Engineering21 topic
- Refactoring21 topic
- Static Analysis21 topic
- Autonomic Computing11 topic
- Expert Systems11 topic
- Neural Machine Translation11 topic
- Self-Adaptive Systems11 topic
- Statistical Machine Translation11 topic
- Wavelet Analysis11 topic
Where does Jinyun Xue work?
Jinyun Xue's main affiliation in the publication record is Jiangxi Normal University, China.
How many publications and citations does Jinyun Xue have?
Science Explorer counts 32 works and 34 citations for Jinyun Xue, ranking #820,904 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.