Lei Song
Lei Song publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Signal Processing, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #1,352,330 of 1,633,909 ranked researchers
- Rank in China
- #140,364 of 187,979
- Works
- 16
- Citations
- 17
- Citations per work
- 1.1
What does Lei Song 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 Mathematics44% of their works
- 2Artificial Intelligence38% of their works
- 3Signal Processing6% of their works
- 4Control and Systems Engineering6% of their works
- 5Electrical and Electronic Engineering6% of their works
Research topics
Which keywords describe Lei Song's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming, Formal Verification and Modal Logic.
- Regular Expressions
- Optimization
- Model Predictive Control
- Filter Banks
- Deadlock Prevention
- Modal Logic
- Answer Set Programming
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Automata
- Symbolic Model Checker
- Formal Verification
- Static Analysis
- FFT
- Formal Languages
- Optical Interconnects
- Petri Nets
- Semiconductor Lasers
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 19 words, with their numbers
- Model Checking113 topics
- Temporal Logic82 topics
- Automata62 topics
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Answer Set Programming31 topic
- Formal Verification31 topic
- Modal Logic31 topic
- Static Analysis31 topic
- Deadlock Prevention11 topic
- FFT11 topic
- Filter Banks11 topic
- Formal Languages11 topic
- Model Predictive Control11 topic
- Optical Interconnects11 topic
- Optimization11 topic
- Petri Nets11 topic
- Regular Expressions11 topic
- Semiconductor Lasers11 topic
Where does Lei Song work?
Lei Song's main affiliation in the publication record is Chinese Academy of Sciences, China.
How many publications and citations does Lei Song have?
Science Explorer counts 16 works and 17 citations for Lei Song, ranking #1,352,330 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.
Other researchers named Lei Song
- lei-song
- lei-song-henan-university-of-science-and-technology
- lei-song-sichuan-university
- lei-song-chinese-academy-of-medical-sciences-and-peking-union-medical-college
- lei-song-south-china-university-of-technology
- lei-song-jilin-university
- lei-song-harbin-institute-of-technology
- lei-song-beijing-proteome-research-center
- lei-song-chinese-academy-of-medical-sciences-and-peking-union-medical-college-china
- lei-song-ministry-of-public-security-of-the-peoples-republic-of-china
- lei-song-china-university-of-mining-and-technology
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.