Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Fangmin Song

dblp:54/6630 · DBLP profile ↗
← Back
6ranked-venue papers
3as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 4 · 2 first-authorSecurity and privacy · 1Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%
Theoretical computer science
1 paper
Quantum computing and quantum information · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › domain-specific languages
quantum programming languages		 0.112008
Quantum programming languages: A tentative study · Sci. China Ser. F Inf. Sci. 2008
Quantum computing and quantum information
quantum programming		 0.112008
Quantum programming languages: A tentative study · Sci. China Ser. F Inf. Sci. 2008
YearPublicationVenuePosition
2013 VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS
Zhenjiang Qian, Fangmin Song
 ICICS3
2013 Quantum software framework: a tentative study
Nan Wu 0007, HaiXing Hu, Fangmin Song, Huimin Zheng
 Frontiers Comput. Sci.3
2008 Quantum programming languages: A tentative study
Jiafu Xu, Fangmin Song
 Sci. China Ser. F Inf. Sci.2
2000 The self-reduction in lambda calculus
Fangmin Song, YongSen Xu, Yuechen Qian
 Theor. Comput. Sci.1
1999 A syntactic proof of the conservativity of λω over λ2
Fangmin Song, Yuechen Qian
 J. Comput. Sci. Technol.1
1997 The expansion postponement in Pure Type Systems
Fangmin Song
 J. Comput. Sci. Technol.1