Author of the publication

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)

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.

 

Other publications of authors with the same name

Formal Reasoning About Lazy-STM Programs., , , and . J. Comput. Sci. Technol., 25 (4): 841-852 (2010)Certifying Concurrent Programs Using Transactional Memory., , , and . J. Comput. Sci. Technol., 24 (1): 110-121 (2009)Design and implementation of the highly-reliable, low-cost housekeeping system in the ZDPS-1A pico-satellite., , , , and . Journal of Zhejiang University - Science C, 13 (2): 83-89 (2012)The Development of China's Next Generation Network and National Service Testbed., , and . EAI Endorsed Trans. Ubiquitous Environments, 2 (6): e5 (2015)An Approach for Adaptive DRAM Temperature and Power Management., , , and . IEEE Trans. VLSI Syst., 18 (4): 684-688 (2010)Multi-robot task scheduling., and . ICRA, page 2992-2998. IEEE, (2013)Robust distributed energy management for microgrids with renewables., , and . SmartGridComm, page 510-515. IEEE, (2012)Task allocation with executable coalitions in multirobot tasks., and . ICRA, page 3307-3314. IEEE, (2012)A globally optimal approach for surveillance video cropping., , and . ICCS, volume 1 of Procedia Computer Science, page 2559-2567. Elsevier, (2010)Incremental Novelty Learning in Adaptive Topic Tracking., , , and . Int. J. of Asian Lang. Proc., 19 (1): 13-32 (2009)