Ming Fu

MaRDI QIDQ351977zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A temporal programming model with atomic blocks based on projection temporal logic Frontiers of Computer Science	2018-12-19	Paper
A rely-guarantee-based simulation for verifying concurrent program transformations Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Hopf bifurcation in a predator-prey system with Holling type III functional response and time delays Journal of Applied Mathematics and Computing	2014-08-05	Paper
Formal verification of concurrent programs with Read-write locks Frontiers of Computer Science in China	2013-07-04	Paper
Stability and bifurcation in a delayed Holling-Tanner predator-prey system with ratio-dependent functional response Journal of Applied Mathematics	2013-06-03	Paper
A suppliers' bidding decision support model for online reverse auction Journal of Harbin Institute of Technology	2012-10-05	Paper
A structural approach to prophecy variables Lecture Notes in Computer Science	2012-07-16	Paper
Reasoning about optimistic concurrency using a program logic for history CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Research of the method of software/hardware partitioning in the embedded system Journal of Computer Applications	2010-02-20	Paper
Fast mode decision of downscaling video transcoding for H.264 streams Journal of Computer Applications	2009-10-12	Paper
Adaptive immune algorithm based on multi-population	2006-08-23	Paper

Research outcomes over time

This page was built for person: Ming Fu