( en | de | ru )

 

Disambiguation of "Ming, Fu"

Author of the publication

copydeleteadd this publication to your clipboard
The Identification of Poverty Alleviation Targets Based on the Multiple Hybrid Decision-Making Algorithms.

, , and . IEEE Access, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ming-Fu Chiang

Jorge Mínguez

Karl Minga

Helmar Minger

Ilja Mingareev

 

Other publications of authors with the same name

Backoff algorithm based on frame transmission efficiency in Ad hoc network., and . BMEI, page 734-739. IEEE, (2013)Formalizing SPARCv8 Instruction Set Architecture in Coq., , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 300-316. Springer, (2017)A Practical Verification Framework for Preemptive OS Kernels., , , , , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 59-79. Springer, (2016)Using concurrent relational logic with helpers for verifying the AtomFS file system., , , , , and . SOSP, page 259-274. ACM, (2019)The Fractional Brownian Channel Model Considering the Statistical Characters in WCDMA., , , and . CSIE (1), page 73-76. IEEE Computer Society, (2009)Reasoning about Optimistic Concurrency Using a Program Logic for History., , , , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 388-402. Springer, (2010)Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide., , , , , , , , , and . Sensors, 21 (7): 2373 (2021)A Concurrent Temporal Programming Model with Atomic Blocks., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 22-37. Springer, (2012)The Identification of Poverty Alleviation Targets Based on the Multiple Hybrid Decision-Making Algorithms., , and . IEEE Access, (2020)A rely-guarantee-based simulation for verifying concurrent program transformations., , and . POPL, page 455-468. ACM, (2012)