Yuxi Fu

According to our database, Yuxi Fu authored at least 67 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Improved Algorithm for Reachability in <i>d</i>-VASS.

Yuxi Fu, Qizhe Yang, Yangluo Zheng

CoRR, 2024

Analyzing Divergence for Nondeterministic Probabilistic Models.

Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang

CoRR, 2024

Improved Algorithm for Reachability in d-VASS.

Yuxi Fu, Qizhe Yang, Yangluo Zheng

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023

Reachability in 3-VASS is in Tower.

Qizhe Yang, Yuxi Fu

CoRR, 2023

2022

Counting nondeterministic computations.

Qizhe Yang, Yuxi Fu

Theor. Comput. Sci., 2022

A thesis for interaction.

Yuxi Fu

Theor. Comput. Sci., 2022

2021

Model independent approach to probabilistic models.

Yuxi Fu

Theor. Comput. Sci., 2021

2019

Extensional Petri net.

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Formal Aspects Comput., 2019

A Uniform Approach to Random Process Model.

Yuxi Fu

CoRR, 2019

2018

Outage Performance and QoS Optimization in Full-Duplex System With Non-Linear Energy Harvesting Model.

Xianzhong Xie, Jiujiu Chen, Yuxi Fu

IEEE Access, 2018

2017

The Universal Process.

Yuxi Fu

Log. Methods Comput. Sci., 2017

Remark on Some \pi Variants.

Jianxin Xue, Huan Long, Yuxi Fu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

On the Power of Name-Passing Communication.

Yuxi Fu

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Theory of interaction.

Yuxi Fu

Theor. Comput. Sci., 2016

Place Bisimulation and Liveness for Open Petri Nets.

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Preface.

Yuxi Fu, Kazunori Ueda

Math. Struct. Comput. Sci., 2015

Non-deterministic structures of computation.

Yuxi Fu

Math. Struct. Comput. Sci., 2015

The Name-Passing Calculus.

Yuxi Fu, Han Zhu

CoRR, 2015

2014

Dividing Line between Decidable PDA's and Undecidable Ones.

Yuxi Fu, Qiang Yin

CoRR, 2014

Branching Bisimilarity Checking for PRS.

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

How faithfully can π be interpreted in SA?

Huan Long, Yuxi Fu

Sci. China Inf. Sci., 2013

Checking Equality and Regularity for Normed BPA with Silent Moves.

Yuxi Fu

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

The Value-Passing Calculus.

Yuxi Fu

Proceedings of the Theories of Programming and Formal Methods, 2013

2011

The λ-calculus in the π-calculus.

Xiaojuan Cai, Yuxi Fu

Math. Struct. Comput. Sci., 2011

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.

Chaodong He, Yuxi Fu, Hongfei Fu

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

On the expressiveness of interaction.

Yuxi Fu, Hao Lu

Theor. Comput. Sci., 2010

Theory by Process.

Yuxi Fu

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2007

Barbed Congruence of Asymmetry and Mismatch.

Xiaoju Dong, Yuxi Fu

J. Comput. Sci. Technol., 2007

A general approach for building combinational P automata.

Huan Long, Yuxi Fu

Int. J. Comput. Math., 2007

Fair ambients.

Yuxi Fu

Acta Informatica, 2007

2006

Error Estimation of Perturbations Under CRI.

Guosheng Cheng, Yuxi Fu

IEEE Trans. Fuzzy Syst., 2006

A Model in kappa for DNA Addition.

Xian Xu, Xiaoju Dong, Yuxi Fu

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

Bisimulation Congruence for Asymmetric chi ^ e -Calculus.

Farong Zhong, Yuxi Fu, Xiaoju Dong

Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

Secrecy of Signals by Typing in Signal Transduction.

Min Zhang, Guoqiang Li, Yuxi Fu

Proceedings of the Advances in Natural Computation, Second International Conference, 2006

2005

On quasi-open bisimulation.

Yuxi Fu

Theor. Comput. Sci., 2005

A schematic axiom for open congruence.

Yuxi Fu

Sci. China Ser. F Inf. Sci., 2005

A Simple Process Calculus for the analysis of Security Protocols.

Yonggen Gu, Yuxi Fu, Guoqiang Li

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Generic Model for Analyzing Security Protocols.

Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu

Proceedings of the Computer Network Security, 2005

Typing Aberrance in Signal Transduction.

Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He

Proceedings of the Advances in Natural Computation, First International Conference, 2005

An Implementation for Mapping SBML to BioSPI.

Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

A Generic Model for Symbolic Analyzing Security Protocols.

Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004

Representation of the Signal Transduction with Aberrance Using Ipi Calculus.

Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He

Proceedings of the Computational and Information Science, First International Symposium, 2004

Analyzing iKP Security in Applied Pi Calculus.

Yonggen Gu, Guoqiang Li, Yuxi Fu

Proceedings of the Computational and Information Science, First International Symposium, 2004

Formalizing the Environment View of Process Equivalence.

Yuxi Fu, Xiaoju Dong

Proceedings of the Computational and Information Science, First International Symposium, 2004

2003

Tau laws for pi calculus.

Yuxi Fu, Zhenrong Yang

Theor. Comput. Sci., 2003

Understanding the mismatch combinator in chi calculus.

Yuxi Fu, Zhenrong Yang

Theor. Comput. Sci., 2003

Bisimulation congruence of chi calculus.

Yuxi Fu

Inf. Comput., 2003

Observing Asymmetry and Mismatch.

Xiaoju Dong, Yuxi Fu

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Testing Congruence for Mobile Processes.

Yuxi Fu

J. Comput. Sci. Technol., 2002

2001

Semantics of Constructions (II) - The Initial Algebraic Approach.

Yuxi Fu

J. Comput. Sci. Technol., 2001

Semantics of Constructions (I) - The Traditional Approach.

Yuxi Fu

J. Comput. Sci. Technol., 2001

A functional presentation of Pi calculus.

Yuxi Fu

Sci. China Ser. F Inf. Sci., 2001

2000

The Ground Congruence for Chi Calculus.

Yuxi Fu, Zhenrong Yang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Chi Calculus with Mismatch.

Yuxi Fu, Zhenrong Yang

Proceedings of the CONCUR 2000, 2000

1999

Variations on Mobile Processes.

Yuxi Fu

Theor. Comput. Sci., 1999

Relative properties of frame language.

Yuxi Fu

J. Comput. Sci. Technol., 1999

Open Bisimulations on Chi Processes.

Yuxi Fu

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Structures definable in polymorphism.

Yuxi Fu

J. Comput. Sci. Technol., 1998

Reaction graph.

Yuxi Fu

J. Comput. Sci. Technol., 1998

Symmetric π-calculus.

Yuxi Fu

J. Comput. Sci. Technol., 1998

Bisimulation Lattice of Chi Processes.

Yuxi Fu

Proceedings of the Advances in Computing Science, 1998

1997

Categorical Properties of Logical Frameworks.

Yuxi Fu

Math. Struct. Comput. Sci., 1997

Constructive sets in computable sets.

Yuxi Fu

J. Comput. Sci. Technol., 1997

A Proof Theoretical Approach to Communication.

Yuxi Fu

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

The x-Calculus.

Yuxi Fu

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996

Recursive Models of General Inductive Types.

Yuxi Fu

Fundam. Informaticae, 1996

1992

Topics in type theory.

Yuxi Fu

PhD thesis, 1992