|
Search the dblp DataBase
Ming Fu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ming Fu, Yu Zhang
Homomorphism Resolving of XPath Trees Based on Automata. [Citation Graph (0, 0)][DBLP] APWeb/WAIM, 2007, pp:821-828 [Conf]
Super-Program Architectures - A New Driving Method for Executing Instructions. [Citation Graph (, )][DBLP]
Reasoning about Optimistic Concurrency Using a Program Logic for History. [Citation Graph (, )][DBLP]
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. [Citation Graph (, )][DBLP]
Formality based genetic programming. [Citation Graph (, )][DBLP]
On the Verification of Strong Atomicity in Programs Using STM. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|