Yuxi Fu

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 17

Top Venues

CoRR

Theor. Comput. Sci.

SETTA

Math. Struct. Comput. Sci.

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang
Analyzing Divergence for Nondeterministic Probabilistic Models. CoRR (2024)
Yuxi Fu, Qizhe Yang, Yangluo Zheng
-VASS. CoRR (2024)
Yuxi Fu, Qizhe Yang, Yangluo Zheng
Improved Algorithm for Reachability in d-VASS. ICALP (2024)
Qizhe Yang, Yuxi Fu
Reachability in 3-VASS is in Tower. CoRR (2023)
Qizhe Yang, Yuxi Fu
Counting nondeterministic computations. Theor. Comput. Sci. 897 (2022)
Yuxi Fu
A thesis for interaction. Theor. Comput. Sci. 897 (2022)
Yuxi Fu
Model independent approach to probabilistic models. Theor. Comput. Sci. 869 (2021)
Yuxi Fu, Qizhe Yang
Reachability is Tower Complete. CoRR (2020)
Xiaoju Dong, Yuxi Fu, Daniele Varacca
Extensional Petri net. Formal Aspects Comput. 31 (1) (2019)
Yuxi Fu
A Uniform Approach to Random Process Model. CoRR (2019)
Xianzhong Xie, Jiujiu Chen, Yuxi Fu
Outage Performance and QoS Optimization in Full-Duplex System With Non-Linear Energy Harvesting Model. IEEE Access 6 (2018)
Yuxi Fu
On the Power of Name-Passing Communication. CONCUR (2017)
Yuxi Fu
The Universal Process. CoRR (2017)
Jianxin Xue, Huan Long, Yuxi Fu
Remark on Some \pi Variants. SETTA (2017)
Yuxi Fu
The Universal Process. Log. Methods Comput. Sci. 13 (4) (2017)
Yuxi Fu
Theory of interaction. Theor. Comput. Sci. 611 (2016)
Xiaoju Dong, Yuxi Fu, Daniele Varacca
Place Bisimulation and Liveness for Open Petri Nets. SETTA (2016)
Yuxi Fu
Non-deterministic structures of computation. Math. Struct. Comput. Sci. 25 (6) (2015)
Yuxi Fu, Kazunori Ueda
Preface. Math. Struct. Comput. Sci. 25 (4) (2015)
Yuxi Fu, Han Zhu
The Name-Passing Calculus. CoRR (2015)
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Branching Bisimilarity Checking for PRS. CoRR (2014)
Yuxi Fu, Qiang Yin
Dividing Line between Decidable PDA's and Undecidable Ones. CoRR (2014)
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Branching Bisimilarity Checking for PRS. ICALP (2) (2014)
Huan Long, Yuxi Fu
How faithfully can π be interpreted in SA? Sci. China Inf. Sci. 56 (3) (2013)
Yuxi Fu
The Value-Passing Calculus. Theories of Programming and Formal Methods (2013)
Yuxi Fu
Checking Equality and Regularity for Normed BPA with Silent Moves. ICALP (2) (2013)
Xiaojuan Cai, Yuxi Fu
The λ-calculus in the π-calculus. Math. Struct. Comput. Sci. 21 (5) (2011)
Chaodong He, Yuxi Fu, Hongfei Fu
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. FSEN (2011)
Yuxi Fu
Theory by Process. CONCUR (2010)
Yuxi Fu, Hao Lu
On the expressiveness of interaction. Theor. Comput. Sci. 411 (11-13) (2010)
Xian Xu, Xiaoju Dong, Yuxi Fu
A Model in kappa for DNA Addition. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Huan Long, Yuxi Fu
A general approach for building combinational P automata. Int. J. Comput. Math. 84 (12) (2007)
Yuxi Fu
Fair ambients. Acta Informatica 43 (8) (2007)
Xiaoju Dong, Yuxi Fu
Barbed Congruence of Asymmetry and Mismatch. J. Comput. Sci. Technol. 22 (4) (2007)
Farong Zhong, Yuxi Fu, Xiaoju Dong
Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC (2006)
Guosheng Cheng, Yuxi Fu
Error Estimation of Perturbations Under CRI. IEEE Trans. Fuzzy Syst. 14 (6) (2006)
Min Zhang, Guoqiang Li, Yuxi Fu
Secrecy of Signals by Typing in Signal Transduction. ICNC (2) (2006)
Yuxi Fu
On quasi-open bisimulation. Theor. Comput. Sci. 338 (1-3) (2005)
Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong
A Generic Model for Symbolic Analyzing Security Protocols. CIT (2005)
Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He
Typing Aberrance in Signal Transduction. ICNC (3) (2005)
Yuxi Fu
A schematic axiom for open congruence. Sci. China Ser. F Inf. Sci. 48 (1) (2005)
Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He
An Implementation for Mapping SBML to BioSPI. FSKD (2) (2005)
Yonggen Gu, Yuxi Fu, Guoqiang Li
A Simple Process Calculus for the analysis of Security Protocols. PDCAT (2005)
Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu
A Generic Model for Analyzing Security Protocols. MMM-ACNS (2005)
Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He
Representation of the Signal Transduction with Aberrance Using Ipi Calculus. CIS (2004)
Yonggen Gu, Guoqiang Li, Yuxi Fu
Analyzing iKP Security in Applied Pi Calculus. CIS (2004)
Yuxi Fu, Xiaoju Dong
Formalizing the Environment View of Process Equivalence. CIS (2004)
Yuxi Fu, Zhenrong Yang
Understanding the mismatch combinator in chi calculus. Theor. Comput. Sci. 290 (1) (2003)
Yuxi Fu
Bisimulation congruence of chi calculus. Inf. Comput. 184 (1) (2003)
Xiaoju Dong, Yuxi Fu
Observing Asymmetry and Mismatch. APLAS (2003)
Yuxi Fu, Zhenrong Yang
Tau laws for pi calculus. Theor. Comput. Sci. 308 (1-3) (2003)
Yuxi Fu
Testing Congruence for Mobile Processes. J. Comput. Sci. Technol. 17 (1) (2002)
Yuxi Fu
On Quasi-Open Bisimulation. APLAS (2002)
Yuxi Fu
Semantics of Constructions (II) - The Initial Algebraic Approach. J. Comput. Sci. Technol. 16 (2) (2001)
Yuxi Fu
A functional presentation of Pi calculus. Sci. China Ser. F Inf. Sci. 44 (1) (2001)
Yuxi Fu
Semantics of Constructions (I) - The Traditional Approach. J. Comput. Sci. Technol. 16 (1) (2001)
Yuxi Fu, Zhenrong Yang
Chi Calculus with Mismatch. CONCUR (2000)
Yuxi Fu, Zhenrong Yang
The Ground Congruence for Chi Calculus. FSTTCS (2000)
Yuxi Fu
Variations on Mobile Processes. Theor. Comput. Sci. 221 (1-2) (1999)
Yuxi Fu
Relative properties of frame language. J. Comput. Sci. Technol. 14 (4) (1999)
Yuxi Fu
Open Bisimulations on Chi Processes. CONCUR (1999)
Yuxi Fu
Bisimulation Lattice of Chi Processes. ASIAN (1998)
Yuxi Fu
Reaction graph. J. Comput. Sci. Technol. 13 (6) (1998)
Yuxi Fu
Symmetric π-calculus. J. Comput. Sci. Technol. 13 (3) (1998)
Yuxi Fu
Structures definable in polymorphism. J. Comput. Sci. Technol. 13 (6) (1998)
Yuxi Fu
Categorical Properties of Logical Frameworks. Math. Struct. Comput. Sci. 7 (1) (1997)
Yuxi Fu
Constructive sets in computable sets. J. Comput. Sci. Technol. 12 (5) (1997)
Yuxi Fu
The x-Calculus. APDC (1997)
Yuxi Fu
A Proof Theoretical Approach to Communication. ICALP (1997)
Yuxi Fu
Recursive Models of General Inductive Types. Fundam. Informaticae 26 (2) (1996)

Yuxi Fu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuxi Fu