“用户:Hengfeng-Wei”的版本间的差异
来自Algorithm Wiki
Hengfeng-Wei（讨论 | 贡献） （new section: researches） |
Hengfeng-Wei（讨论 | 贡献） 小 （→Links） |
||
| 第26行： | 第26行： | ||
= Links = | = Links = | ||
| − | - [http://hengxin.github.io/ hengxin@github.io]: A blog hosted on GitHub | + | - [http://hengxin.github.io/ hengxin@github.io]: A blog hosted on GitHub. |
| − | - [http://stackexchange.com/users/2055160 hengxin@StackExchange] | + | - [http://stackexchange.com/users/2055160 hengxin@StackExchange]: My profile on StackExchange --- A wonderful Q/A site. |
| − | - [https://github.com/hengxin hengxin@GitHub]: Open source projects | + | - [https://github.com/hengxin hengxin@GitHub]: Open source projects. |
- [https://bitbucket.org/hengxin/ hengxin@Bitbucket]: Private repositories for unpublished papers and reports. | - [https://bitbucket.org/hengxin/ hengxin@Bitbucket]: Private repositories for unpublished papers and reports. | ||
2016年10月12日 (三) 17:07的版本
Profile
Hengfeng Wei (魏恒峰)
Contact: hengxin0912@gmail.com
Researches
I am interested in Distributed Computing Theory and Formal Methods.
Publications
Hengfeng Wei, Yu Huang, Jian Lu. Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. In IEEE Trans. Comput., xx(x):x--x , PrePrints, doi:10.1109/TC.2016.2601322, 2016.
Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, and Jian Lu. Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas. In IEEE Trans. Parallel Distrib. Syst., 27(5):1511--1523, 2016.
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu. Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context. In Proceedings of the 10th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom '12), pages 30--38, 2012.
Links
- hengxin@github.io: A blog hosted on GitHub.
- hengxin@StackExchange: My profile on StackExchange --- A wonderful Q/A site.
- hengxin@GitHub: Open source projects.
- hengxin@Bitbucket: Private repositories for unpublished papers and reports.
