Ming Quan Fu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 3

Top Topics

Optimization Process

Quantifier Free

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ming Quan Fu, Minjie Wei, Minglang Qiao, Peng Ji, Zhihao Deng, Di Cui, Yutong Zhao
HGNN4Perf: Detecting Performance Optimization Opportunities via Hypergraph Neural Network. Internetware (2024)
Ming Quan Fu, Jeffery I. Zucker
Models of computation for partial functions on the reals. J. Log. Algebraic Methods Program. 84 (2) (2015)
Bo Xie, Ming Quan Fu, Jeffery I. Zucker
Characterizations of semicomputable sets of real numbers. J. Log. Algebraic Methods Program. 84 (1) (2015)