Yixiang Chen

	2011
19		Hengyang Wu, Yixiang Chen: The Semantics of wlp and slp of Fuzzy Imperative Programming Languages. NL-MUA 2011: 357-364
18		Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu: Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE 2011: 108-114
17		Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen: Two-thirds simulation indexes and modal logic characterization. Frontiers of Computer Science in China 5(4): 454-471 (2011)
	2010
16		Yixiang Chen, Xinxing Wu: Success Measurement of Web Services with BPEL. SOSE 2010: 86-90
15		Juyang Zhang, Yixiang Chen: Trustworthy Dynamic Scheduling based on Constraint Solving Scheme. IJIPM 1(2): 68-73 (2010)
	2009
14		Jie Zhou, Yixiang Chen: Modeling Instability in a New Framework of Interval Valued Process Algebra. ACIS-ICIS 2009: 21-26
13		Yanfang Ma, Min Zhang, Yixiang Chen: Infinite Evolution Mechanism of Probabilistic Processes. ICTCS 2009: 155-161
12		Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu: Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT 2009: 682-689
11		Yanfang Ma, Min Zhang, Yixiang Chen: Parameterized Bisimulation Infinite Evolution Mechanism. TASE 2009: 299-300
10		Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu: Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops 2009: 62-64
9		Hongwei Tao, Yixiang Chen: A Metric Model for Trustworthiness of Softwares. Web Intelligence/IAT Workshops 2009: 69-72
8		Yixiang Chen, Ernst-Erich Doberkat, Achim Jung: Preface. Electr. Notes Theor. Comput. Sci. 257: 1-2 (2009)
7		Hengyang Wu, Yixiang Chen: A Duality Theorem for Quantitative Semantics. Electr. Notes Theor. Comput. Sci. 257: 87-97 (2009)
	2008
6		Hongyan Mao, Yixiang Chen: Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain. EUC (2) 2008: 71-76
5		Yixiang Chen, Guo-Qing Zhang, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 212: 1 (2008)
4		Yixiang Chen, Hengyang Wu: Semantics of sub-probabilistic programs. Frontiers of Computer Science in China 2(1): 29-38 (2008)
3		Yixiang Chen, Hengyang Wu: Domain semantics of possibility computations. Inf. Sci. 178(12): 2661-2679 (2008)
	2006
2		Yixiang Chen, Guoqiang Zhang: Maximality and totality of stable functions in the category of stable bifinite domains. Computers & Mathematics with Applications 51(6-7): 1011-1020 (2006)
	2001
1		Guoqiang Zhang, Yixiang Chen: Domains via Graphs. J. Comput. Sci. Technol. 16(6): 505-521 (2001)

Coauthor Index

1	Tian-Ming Bu	[10] [12]
2	Liang Chen	[17]
3	Ernst-Erich Doberkat	[8]
4	Achim Jung	[8]
5	Yanfang Ma	[11] [13] [17]
6	Hongyan Mao	[6]
7	Haiyu Pan	[18]
8	Prakash Panangaden	[5]
9	Hongwei Tao	[9]
10	Hengyang Wu	[3] [4] [7] [18] [19]
11	Xinxing Wu	[16]
12	Guo-Qing Zhang	[5]
13	Guoqiang Zhang	[1] [2]
14	Juyang Zhang	[15]
15	Min Zhang	[10] [11] [12] [13] [17] [18]
16	Jie Zhou	[14]
17	Hong Zhu	[10] [12]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page