Fangmin Song

According to our database, Fangmin Song authored at least 9 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Quantum SoC and On-Chip Circuit Synthesis in the NISQ Era.

Nan Wu, Yucheng Hu, Fangmin Song, Xiangdong Li

Quantum Eng., 2023

2016

Grover walks on a line with absorbing boundaries.

Kun Wang, Nan Wu, Parker Kuklinski, Ping Xu, HaiXing Hu, Fangmin Song

Quantum Inf. Process., 2016

2013

Quantum software framework: a tentative study.

Nan Wu, HaiXing Hu, Fangmin Song, Huimin Zheng, Xiangdong Li

Frontiers Comput. Sci., 2013

VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS.

Zhenjiang Qian, Hao Huang, Fangmin Song

Proceedings of the Information and Communications Security - 15th International Conference, 2013

2011

On Measurement and Computation

Huimin Zheng, HaiXing Hu, Nan Wu, Fangmin Song

CoRR, 2011

2008

Quantum programming languages: A tentative study.

Jiafu Xu, Fangmin Song

Sci. China Ser. F Inf. Sci., 2008

2000

The self-reduction in lambda calculus.

Fangmin Song, YongSen Xu, Yuechen Qian

Theor. Comput. Sci., 2000

1999

A syntactic proof of the conservativity of λ_ω over λ₂.

Fangmin Song, Yuechen Qian

J. Comput. Sci. Technol., 1999

1997

The expansion postponement in Pure Type Systems.

Fangmin Song

J. Comput. Sci. Technol., 1997