Ming Fu

Available identifiers

zbMath Open fu.mingMaRDI QIDQ351977

List of research outcomes

Publication	Date of Publication	Type
A temporal programming model with atomic blocks based on projection temporal logic	2018-12-19	Paper
A rely-guarantee-based simulation for verifying concurrent program transformations	2015-09-11	Paper
Hopf bifurcation in a predator-prey system with Holling type III functional response and time delays	2014-08-05	Paper
Formal verification of concurrent programs with Read-write locks	2013-07-04	Paper
Stability and bifurcation in a delayed Holling-Tanner predator-prey system with ratio-dependent functional response	2013-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q2916200	2012-10-05	Paper
A Structural Approach to Prophecy Variables	2012-07-16	Paper
Reasoning about Optimistic Concurrency Using a Program Logic for History	2010-08-31	Paper
Research of the method of software/hardware partitioning in the embedded system	2010-02-20	Paper
Fast mode decision of downscaling video transcoding for H.264 streams	2009-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5483652	2006-08-23	Paper

Research outcomes over time

This page was built for person: Ming Fu