Yuxi Fu

	2011
44		Chaodong He, Yuxi Fu, Hongfei Fu: Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. FSEN 2011: 284-298
43		Xiaojuan Cai, Yuxi Fu: The λ-calculus in the π-calculus. Mathematical Structures in Computer Science 21(5): 943-996 (2011)
	2010
42		Yuxi Fu: Theory by Process. CONCUR 2010: 403-416
41		Yuxi Fu, Hao Lu: On the expressiveness of interaction. Theor. Comput. Sci. 411(11-13): 1387-1451 (2010)
	2007
40		Yuxi Fu: Fair ambients. Acta Inf. 43(8): 535-594 (2007)
39		Xian Xu, Xiaoju Dong, Yuxi Fu: A Model in kappa for DNA Addition. Electr. Notes Theor. Comput. Sci. 171(2): 209-222 (2007)
38		Huan Long, Yuxi Fu: A general approach for building combinational P automata. Int. J. Comput. Math. 84(12): 1715-1730 (2007)
37		Xiaoju Dong, Yuxi Fu: Barbed Congruence of Asymmetry and Mismatch. J. Comput. Sci. Technol. 22(4): 575-579 (2007)
	2006
36		Min Zhang, Guoqiang Li, Yuxi Fu: Secrecy of Signals by Typing in Signal Transduction. ICNC (2) 2006: 384-393
35		Farong Zhong, Yuxi Fu, Xiaoju Dong: Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC 2006: 173-184
	2005
34		Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong: A Generic Model for Symbolic Analyzing Security Protocols. CIT 2005: 680-684
33		Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He: An Implementation for Mapping SBML to BioSPI. FSKD (2) 2005: 1128-1131
32		Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He: Typing Aberrance in Signal Transduction. ICNC (3) 2005: 668-677
31		Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu: A Generic Model for Analyzing Security Protocols. MMM-ACNS 2005: 119-128
30		Yonggen Gu, Yuxi Fu, Guoqiang Li: A Simple Process Calculus for the analysis of Security Protocols. PDCAT 2005: 110-114
29		Yuxi Fu: A schematic axiom for open congruence. Science in China Series F: Information Sciences 48(1): 67-77 (2005)
28		Yuxi Fu: On quasi-open bisimulation. Theor. Comput. Sci. 338(1-3): 96-126 (2005)
	2004
27		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
26		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
25		Yuxi Fu, Xiaoju Dong: Formalizing the Environment View of Process Equivalence. CIS 2004: 336-345
24		Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He: Representation of the Signal Transduction with Aberrance Using Ipi Calculus. CIS 2004: 477-485
23		Yonggen Gu, Guoqiang Li, Yuxi Fu: Analyzing iKP Security in Applied Pi Calculus. CIS 2004: 879-887
	2003
22		Xiaoju Dong, Yuxi Fu: Observing Asymmetry and Mismatch. APLAS 2003: 2-19
21		Yuxi Fu: Bisimulation congruence of chi calculus. Inf. Comput. 184(1): 201-226 (2003)
20		Yuxi Fu, Zhenrong Yang: Understanding the mismatch combinator in chi calculus. Theor. Comput. Sci. 290(1): 779-830 (2003)
19		Yuxi Fu, Zhenrong Yang: Tau laws for pi calculus. Theor. Comput. Sci. 308(1-3): 55-130 (2003)
	2002
18		Yuxi Fu: On Quasi-Open Bisimulation. APLAS 2002: 193-215
17		Yuxi Fu: Testing Congruence for Mobile Processes. J. Comput. Sci. Technol. 17(1): 73-82 (2002)
	2001
16		Yuxi Fu: Semantics of Constructions (I) - The Traditional Approach. J. Comput. Sci. Technol. 16(1): 13-24 (2001)
15		Yuxi Fu: Semantics of Constructions (II) - The Initial Algebraic Approach. J. Comput. Sci. Technol. 16(2): 137-145 (2001)
	2000
14		Yuxi Fu, Zhenrong Yang: Chi Calculus with Mismatch. CONCUR 2000: 596-610
13		Yuxi Fu, Zhenrong Yang: The Ground Congruence for Chi Calculus. FSTTCS 2000: 385-396
	1999
12		Yuxi Fu: Open Bisimulations on Chi Processes. CONCUR 1999: 304-319
11		Yuxi Fu: Relative properties of frame language. J. Comput. Sci. Technol. 14(4): 320-327 (1999)
10		Yuxi Fu: Variations on Mobile Processes. Theor. Comput. Sci. 221(1-2): 327-368 (1999)
	1998
9		Yuxi Fu: Bisimulation Lattice of Chi Processes. ASIAN 1998: 245-262
8		Yuxi Fu: Symmetric π-calculus. J. Comput. Sci. Technol. 13(3): 202-208 (1998)
7		Yuxi Fu: Reaction graph. J. Comput. Sci. Technol. 13(6): 510-530 (1998)
6		Yuxi Fu: Structures definable in polymorphism. J. Comput. Sci. Technol. 13(6): 579-587 (1998)
	1997
5		Yuxi Fu: The x-Calculus. APDC 1997: 74-81
4		Yuxi Fu: A Proof Theoretical Approach to Communication. ICALP 1997: 325-335
3		Yuxi Fu: Constructive sets in computable sets. J. Comput. Sci. Technol. 12(5): 425-440 (1997)
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	Xiaojuan Cai	[43]
2	Hsinchun Chen	[26]
3	Zhaoneng Chen	[26]
4	Xiaoju Dong	[22] [25] [33] [34] [35] [37] [39]
5	Zhupeng Dong	[33]
6	Edward A. Fox	[26]
7	Hongfei Fu	[44]
8	Yonggen Gu	[23] [30] [31] [34]
9	Chaodong He	[44]
10	Ji-Huan He	[27]
11	Lin He	[24] [32] [33]
12	Guoqiang Li	[23] [24] [30] [32] [36]
13	Yang Li	[34]
14	Ee-Peng Lim	[26]
15	Huan Long	[38]
16	Hao Lu	[41]
17	Qihao Miao	[26]
18	Xian Xu	[33] [39]
19	Zhenrong Yang	[13] [14] [19] [20]
20	Min Zhang	[24] [32] [36]
21	Zhizhou Zhang	[24] [32] [33]
22	Jun Zhang	[27]
23	Farong Zhong	[31] [35]
24	Han Zhu	[31]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page