中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	Metrics for differential privacy in concurrent systems [会议论文] 34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014 Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)
	a complete symbolic bisimulation for full applied pi calculus [期刊论文] Theoretical Computer Science, 2012-01-01, 卷号: 458, 页码: 76-112 Liu Jia; Lin Huimin \|
	automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver [期刊论文] International Journal of Software Engineering and Knowledge Engineering, 2011-01-01, 卷号: 21, 期号: 2, 页码: 289-307 Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh
	message from the general chairs [期刊论文] Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2008-01-01, 期号: 1, 页码: X- Lin Huimin \|
	symbolic bisimulations for probabilistic systems [会议论文] 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September Wu Peng; Palamidessi Catuscia; Lin Huimin \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In