Statistics
Publications
12
Citations
403
H-Index
11
Active since
1988
Affiliations
Ming Xu is an author at University of Pittsburgh specializing in computer science, logic, and predicate logic.
Publications per year
1988–2019
12
12
Ming Xu · Journal of Philosophical Logic · 1998 · 70 citations
StarPlace: A new analytic method for FPGA placement
Ming Xu, Gary Gréwal, Shawki Areibi · Integration · 2011 · 59 citations
Doing and refraining from refraining
Ming Xu · Journal of Philosophical Logic · 1994 · 51 citations
Causation in Branching Time (I): Transitions, Events and Causes
1–5 of 12