Yuxi Fu

2007
34	EE	Yuxi Fu: Fair ambients. Acta Inf. 43(8): 535-594 (2007)
33	EE	Xian Xu, Xiaoju Dong, Yuxi Fu: A Model in kappa for DNA Addition. Electr. Notes Theor. Comput. Sci. 171(2): 209-222 (2007)
32	EE	Huan Long, Yuxi Fu: A general approach for building combinational P automata. Int. J. Comput. Math. 84(12): 1715-1730 (2007)
31	EE	Xiaoju Dong, Yuxi Fu: Barbed Congruence of Asymmetry and Mismatch. J. Comput. Sci. Technol. 22(4): 575-579 (2007)
2006
30	EE	Min Zhang, Guoqiang Li, Yuxi Fu: Secrecy of Signals by Typing in Signal Transduction. ICNC (2) 2006: 384-393
29	EE	Farong Zhong, Yuxi Fu, Xiaoju Dong: Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC 2006: 173-184
2005
28	EE	Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong: A Generic Model for Symbolic Analyzing Security Protocols. CIT 2005: 680-684
27	EE	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	EE	Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He: Typing Aberrance in Signal Transduction. ICNC (3) 2005: 668-677
25	EE	Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu: A Generic Model for Analyzing Security Protocols. MMM-ACNS 2005: 119-128
24	EE	Yonggen Gu, Yuxi Fu, Guoqiang Li: A Simple Process Calculus for the analysis of Security Protocols. PDCAT 2005: 110-114
23	EE	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	EE	Yuxi Fu, Xiaoju Dong: Formalizing the Environment View of Process Equivalence. CIS 2004: 336-345
19	EE	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	EE	Yonggen Gu, Guoqiang Li, Yuxi Fu: Analyzing iKP Security in Applied Pi Calculus. CIS 2004: 879-887
2003
17	EE	Xiaoju Dong, Yuxi Fu: Observing Asymmetry and Mismatch. APLAS 2003: 2-19
16	EE	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	EE	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	EE	Yuxi Fu: Testing Congruence for Mobile Processes. J. Comput. Sci. Technol. 17(1): 73-82 (2002)
2001
11	EE	Yuxi Fu: Semantics of Constructions (I) - The Traditional Approach. J. Comput. Sci. Technol. 16(1): 13-24 (2001)
10	EE	Yuxi Fu: Semantics of Constructions (II) - The Initial Algebraic Approach. J. Comput. Sci. Technol. 16(2): 137-145 (2001)
2000
9	EE	Yuxi Fu, Zhenrong Yang: Chi Calculus with Mismatch. CONCUR 2000: 596-610
8	EE	Yuxi Fu, Zhenrong Yang: The Ground Congruence for Chi Calculus. FSTTCS 2000: 385-396
1999
7	EE	Yuxi Fu: Open Bisimulations on Chi Processes. CONCUR 1999: 304-319
6	EE	Yuxi Fu: Variations on Mobile Processes. Theor. Comput. Sci. 221(1-2): 327-368 (1999)
1998
5	EE	Yuxi Fu: Bisimulation Lattice of Chi Processes. ASIAN 1998: 245-262
1997
4	EE	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