Yuxi Fu

	2007
34		Yuxi Fu: Fair ambients. Acta Inf. 43(8): 535-594 (2007)
33		Xian Xu, Xiaoju Dong, Yuxi Fu: A Model in kappa for DNA Addition. Electr. Notes Theor. Comput. Sci. 171(2): 209-222 (2007)
32		Huan Long, Yuxi Fu: A general approach for building combinational P automata. Int. J. Comput. Math. 84(12): 1715-1730 (2007)
31		Xiaoju Dong, Yuxi Fu: Barbed Congruence of Asymmetry and Mismatch. J. Comput. Sci. Technol. 22(4): 575-579 (2007)
	2006
30		Min Zhang, Guoqiang Li, Yuxi Fu: Secrecy of Signals by Typing in Signal Transduction. ICNC (2) 2006: 384-393
29		Farong Zhong, Yuxi Fu, Xiaoju Dong: Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC 2006: 173-184
	2005
28		Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong: A Generic Model for Symbolic Analyzing Security Protocols. CIT 2005: 680-684
27		Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He: An Implementation for Mapping SBML to BioSPI. FSKD (2) 2005: 1128-1131
26		Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He: Typing Aberrance in Signal Transduction. ICNC (3) 2005: 668-677
25		Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu: A Generic Model for Analyzing Security Protocols. MMM-ACNS 2005: 119-128
24		Yonggen Gu, Yuxi Fu, Guoqiang Li: A Simple Process Calculus for the analysis of Security Protocols. PDCAT 2005: 110-114
23		Yuxi Fu: On quasi-open bisimulation. Theor. Comput. Sci. 338(1-3): 96-126 (2005)
	2004
22		Jun Zhang, Ji-Huan He, Yuxi Fu: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings Springer 2004
21		Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward A. Fox, Ee-Peng Lim: Digital Libraries: International Collaboration and Cross-Fertilization, 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings Springer 2004
20		Yuxi Fu, Xiaoju Dong: Formalizing the Environment View of Process Equivalence. CIS 2004: 336-345
19		Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He: Representation of the Signal Transduction with Aberrance Using Ipi Calculus. CIS 2004: 477-485
18		Yonggen Gu, Guoqiang Li, Yuxi Fu: Analyzing iKP Security in Applied Pi Calculus. CIS 2004: 879-887
	2003
17		Xiaoju Dong, Yuxi Fu: Observing Asymmetry and Mismatch. APLAS 2003: 2-19
16		Yuxi Fu: Bisimulation congruence of chi calculus. Inf. Comput. 184(1): 201-226 (2003)
15		Yuxi Fu, Zhenrong Yang: Understanding the mismatch combinator in chi calculus. Theor. Comput. Sci. 290(1): 779-830 (2003)
14		Yuxi Fu, Zhenrong Yang: Tau laws for pi calculus. Theor. Comput. Sci. 308(1-3): 55-130 (2003)
	2002
13		Yuxi Fu: On Quasi-Open Bisimulation. APLAS 2002: 193-215
12		Yuxi Fu: Testing Congruence for Mobile Processes. J. Comput. Sci. Technol. 17(1): 73-82 (2002)
	2001
11		Yuxi Fu: Semantics of Constructions (I) - The Traditional Approach. J. Comput. Sci. Technol. 16(1): 13-24 (2001)
10		Yuxi Fu: Semantics of Constructions (II) - The Initial Algebraic Approach. J. Comput. Sci. Technol. 16(2): 137-145 (2001)
	2000
9		Yuxi Fu, Zhenrong Yang: Chi Calculus with Mismatch. CONCUR 2000: 596-610
8		Yuxi Fu, Zhenrong Yang: The Ground Congruence for Chi Calculus. FSTTCS 2000: 385-396
	1999
7		Yuxi Fu: Open Bisimulations on Chi Processes. CONCUR 1999: 304-319
6		Yuxi Fu: Variations on Mobile Processes. Theor. Comput. Sci. 221(1-2): 327-368 (1999)
	1998
5		Yuxi Fu: Bisimulation Lattice of Chi Processes. ASIAN 1998: 245-262
	1997
4		Yuxi Fu: The x-Calculus. APDC 1997: 74-81
3		Yuxi Fu: A Proof Theoretical Approach to Communication. ICALP 1997: 325-335
2		Yuxi Fu: Categorical Properties of Logical Frameworks. Mathematical Structures in Computer Science 7(1): 1-47 (1997)
	1996
1		Yuxi Fu: Recursive Models of General Inductive Types. Fundam. Inform. 26(2): 115-131 (1996)

Coauthor Index

1	Hsinchun Chen	[21]
2	Zhaoneng Chen	[21]
3	Xiaoju Dong	[17] [20] [27] [28] [29] [31] [33]
4	Zhupeng Dong	[27]
5	Edward A. Fox	[21]
6	Yonggen Gu	[18] [24] [25] [28]
7	Ji-Huan He	[22]
8	Lin He	[19] [26] [27]
9	Guoqiang Li	[18] [19] [24] [26] [30]
10	Yang Li	[28]
11	Ee-Peng Lim	[21]
12	Huan Long	[32]
13	Qihao Miao	[21]
14	Xian Xu	[27] [33]
15	Zhenrong Yang	[8] [9] [14] [15]
16	Jun Zhang	[22]
17	Min Zhang	[19] [26] [30]
18	Zhizhou Zhang	[19] [26] [27]
19	Farong Zhong	[25] [29]
20	Han Zhu	[25]

Colors in the list of coauthors