Topics in type theory. - Yuxi Fu (1992)

Recursive Models of General Inductive Types. - Yuxi Fu (Fundam. Informaticae, 1996)

The x-Calculus. - Yuxi Fu (APDC, 1997)

A Proof Theoretical Approach to Communication. - Yuxi Fu (ICALP, 1997)

Constructive sets in computable sets. - Yuxi Fu (J. Comput. Sci. Technol., 1997)

Categorical Properties of Logical Frameworks. - Yuxi Fu (Math. Struct. Comput. Sci., 1997)

Bisimulation Lattice of Chi Processes. - Yuxi Fu (ASIAN, 1998)

Symmetric π-calculus. - Yuxi Fu (J. Comput. Sci. Technol., 1998)

Reaction graph. - Yuxi Fu (J. Comput. Sci. Technol., 1998)

Structures definable in polymorphism. - Yuxi Fu (J. Comput. Sci. Technol., 1998)

Open Bisimulations on Chi Processes. - Yuxi Fu (CONCUR, 1999)

Relative properties of frame language. - Yuxi Fu (J. Comput. Sci. Technol., 1999)

Variations on Mobile Processes. - Yuxi Fu (Theor. Comput. Sci., 1999)

Chi Calculus with Mismatch. - Yuxi Fu; Zhenrong Yang (CONCUR, 2000)

The Ground Congruence for Chi Calculus. - Yuxi Fu; Zhenrong Yang (FSTTCS, 2000)

A functional presentation of Pi calculus. - Yuxi Fu (Sci. China Ser. F Inf. Sci., 2001)

Semantics of Constructions (I) - The Traditional Approach. - Yuxi Fu (J. Comput. Sci. Technol., 2001)

Semantics of Constructions (II) - The Initial Algebraic Approach. - Yuxi Fu (J. Comput. Sci. Technol., 2001)

Testing Congruence for Mobile Processes. - Yuxi Fu (J. Comput. Sci. Technol., 2002)

Observing Asymmetry and Mismatch. - Xiaoju Dong; Yuxi Fu (APLAS, 2003)

Bisimulation congruence of chi calculus. - Yuxi Fu (Inf. Comput., 2003)

Understanding the mismatch combinator in chi calculus. - Yuxi Fu; Zhenrong Yang (Theor. Comput. Sci., 2003)

Tau laws for pi calculus. - Yuxi Fu; Zhenrong Yang (Theor. Comput. Sci., 2003)

Formalizing the Environment View of Process Equivalence. - Yuxi Fu; Xiaoju Dong (CIS, 2004)

Analyzing iKP Security in Applied Pi Calculus. - Yonggen Gu; Guoqiang Li 001; Yuxi Fu (CIS, 2004)

Representation of the Signal Transduction with Aberrance Using Ipi Calculus. - Min Zhang; Guoqiang Li 001; Yuxi Fu; Zhizhou Zhang 003; Lin He 007 (CIS, 2004)

A Generic Model for Symbolic Analyzing Security Protocols. - Yonggen Gu; Yuxi Fu; Yang Li; Xiaoju Dong (CIT, 2005)

An Implementation for Mapping SBML to BioSPI. - Zhupeng Dong; Xiaoju Dong; Xian Xu 001; Yuxi Fu; Zhizhou Zhang 003; Lin He 007 (FSKD (2), 2005)

Typing Aberrance in Signal Transduction. - Min Zhang; Guoqiang Li 001; Yuxi Fu; Zhizhou Zhang 003; Lin He 007 (ICNC (3), 2005)

A Generic Model for Analyzing Security Protocols. - Yonggen Gu; Yuxi Fu; Farong Zhong; Han Zhu 008 (MMM-ACNS, 2005)

A Simple Process Calculus for the analysis of Security Protocols. - Yonggen Gu; Yuxi Fu; Guoqiang Li 001 (PDCAT, 2005)

A schematic axiom for open congruence. - Yuxi Fu (Sci. China Ser. F Inf. Sci., 2005)

On quasi-open bisimulation. - Yuxi Fu (Theor. Comput. Sci., 2005)

Secrecy of Signals by Typing in Signal Transduction. - Min Zhang; Guoqiang Li 001; Yuxi Fu (ICNC (2), 2006)

Bisimulation Congruence for Asymmetric chi ^ e -Calculus. - Farong Zhong; Yuxi Fu; Xiaoju Dong (ISPDC, 2006)

A Model in kappa for DNA Addition. - Xian Xu 001; Xiaoju Dong; Yuxi Fu (MeCBIC@ICALP, 2006)

Error Estimation of Perturbations Under CRI. - Guosheng Cheng; Yuxi Fu (IEEE Trans. Fuzzy Syst., 2006)

Fair ambients. - Yuxi Fu (Acta Informatica, 2007)

A general approach for building combinational P automata. - Huan Long; Yuxi Fu (Int. J. Comput. Math., 2007)

Barbed Congruence of Asymmetry and Mismatch. - Xiaoju Dong; Yuxi Fu (J. Comput. Sci. Technol., 2007)

Theory by Process. - Yuxi Fu (CONCUR, 2010)

On the expressiveness of interaction. - Yuxi Fu; Hao Lu (Theor. Comput. Sci., 2010)

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. - Chaodong He; Yuxi Fu; Hongfei Fu 001 (FSEN, 2011)

The λ-calculus in the π-calculus. - Xiaojuan Cai; Yuxi Fu (Math. Struct. Comput. Sci., 2011)

The Value-Passing Calculus. - Yuxi Fu (Theories of Programming and Formal Methods, 2013)

Checking Equality and Regularity for Normed BPA with Silent Moves. - Yuxi Fu (ICALP (2), 2013)

How faithfully can π be interpreted in SA? - Huan Long; Yuxi Fu (Sci. China Inf. Sci., 2013)

Branching Bisimilarity Checking for PRS. - Qiang Yin 002; Yuxi Fu; Chaodong He; Mingzhang Huang; Xiuting Tao (ICALP (2), 2014)

Dividing Line between Decidable PDA's and Undecidable Ones. - Yuxi Fu; Qiang Yin 002 (CoRR, 2014)

The Name-Passing Calculus. - Yuxi Fu; Han Zhu 008 (CoRR, 2015)

Non-deterministic structures of computation. - Yuxi Fu (Math. Struct. Comput. Sci., 2015)

Preface. - Yuxi Fu; Kazunori Ueda (Math. Struct. Comput. Sci., 2015)

Place Bisimulation and Liveness for Open Petri Nets. - Xiaoju Dong; Yuxi Fu; Daniele Varacca (SETTA, 2016)

Theory of interaction. - Yuxi Fu (Theor. Comput. Sci., 2016)

On the Power of Name-Passing Communication. - Yuxi Fu (CONCUR, 2017)

Remark on Some pi Variants. - Jianxin Xue; Huan Long; Yuxi Fu (SETTA, 2017)

The Universal Process. - Yuxi Fu (Log. Methods Comput. Sci., 2017)

Outage Performance and QoS Optimization in Full-Duplex System With Non-Linear Energy Harvesting Model. - Xianzhong Xie; Jiujiu Chen; Yuxi Fu (IEEE Access, 2018)

A Uniform Approach to Random Process Model. - Yuxi Fu (CoRR, 2019)

Extensional Petri net. - Xiaoju Dong; Yuxi Fu; Daniele Varacca (Formal Aspects Comput., 2019)

Model independent approach to probabilistic models. - Yuxi Fu (Theor. Comput. Sci., 2021)

A thesis for interaction. - Yuxi Fu (Theor. Comput. Sci., 2022)

Counting nondeterministic computations. - Qizhe Yang; Yuxi Fu (Theor. Comput. Sci., 2022)

Reachability in 3-VASS is in Tower. - Qizhe Yang; Yuxi Fu (CoRR, 2023)

Improved Algorithm for Reachability in d-VASS. - Yuxi Fu; Qizhe Yang; Yangluo Zheng (ICALP, 2024)

Analyzing Divergence for Nondeterministic Probabilistic Models. - Hao Wu; Yuxi Fu; Huan Long; Xian Xu 001; Wenbo Zhang 004 (CoRR, 2024)

Improved Algorithm for Reachability in d-VASS. - Yuxi Fu; Qizhe Yang; Yangluo Zheng (CoRR, 2024)

Reachability in Geometrically d-Dimensional VASS. - Yuxi Fu; Yangluo Zheng; Qizhe Yang (CoRR, 2025)

A Programming Language for Feasible Solutions. - Weijun Chen; Yuxi Fu; Huan Long (CoRR, 2025)

A Model-Independent Theory of Probabilistic Testing. - Weijun Chen; Yuxi Fu; Huan Long; Hao Wu (CoRR, 2025)