Yuxi Fu - RankMe

78 papers A* 2B 7C 7Misc 2Journal 46Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A unifying approach to probabilistic testing equivalences. Theor. Comput. Sci. Weijun Chen, Yuxi Fu, Huan Long, Hao Wu
2026	J	`jnl`	On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems. CoRR Chengfeng Xue, Yuxi Fu
2025	J	`jnl`	A Model-Independent Theory of Probabilistic Testing. CoRR Weijun Chen, Yuxi Fu, Huan Long, Hao Wu
2025	B	`conf`	A Programming Language for Feasible Solutions. SAS Weijun Chen, Yuxi Fu, Huan Long
2025	J	`jnl`	A Programming Language for Feasible Solutions. CoRR Weijun Chen, Yuxi Fu, Huan Long
2025	J	`jnl`	Reachability in Geometrically CoRR Yuxi Fu, Yangluo Zheng, Qizhe Yang
2024	J	`jnl`	Analyzing Divergence for Nondeterministic Probabilistic Models. CoRR Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang
2024	J	`jnl`	Improved Algorithm for Reachability in CoRR Yuxi Fu, Qizhe Yang, Yangluo Zheng
2024	A*	`conf`	Improved Algorithm for Reachability in d-VASS. ICALP Yuxi Fu, Qizhe Yang, Yangluo Zheng
2023	J	`jnl`	Reachability in 3-VASS is in Tower. CoRR Qizhe Yang, Yuxi Fu
2022	J	`jnl`	A thesis for interaction. Theor. Comput. Sci. Yuxi Fu
2022	J	`jnl`	Counting nondeterministic computations. Theor. Comput. Sci. Qizhe Yang, Yuxi Fu
2021	J	`jnl`	Model independent approach to probabilistic models. Theor. Comput. Sci. Yuxi Fu
2019	J	`jnl`	A Uniform Approach to Random Process Model. CoRR Yuxi Fu
2019	J	`jnl`	Extensional Petri net. Formal Aspects Comput. Xiaoju Dong, Yuxi Fu, Daniele Varacca
2018	J	`jnl`	Outage Performance and QoS Optimization in Full-Duplex System With Non-Linear Energy Harvesting Model. IEEE Access Xianzhong Xie, Jiujiu Chen, Yuxi Fu
2017	B	`conf`	On the Power of Name-Passing Communication. CONCUR Yuxi Fu
2017	Misc	`conf`	Remark on Some \pi Variants. SETTA Jianxin Xue, Huan Long, Yuxi Fu
2017	J	`jnl`	The Universal Process. CoRR Yuxi Fu
2017	J	`jnl`	The Universal Process. Log. Methods Comput. Sci. Yuxi Fu
2016	Misc	`conf`	Place Bisimulation and Liveness for Open Petri Nets. SETTA Xiaoju Dong, Yuxi Fu, Daniele Varacca
2016	J	`jnl`	Theory of interaction. Theor. Comput. Sci. Yuxi Fu
2015	J	`jnl`	Non-deterministic structures of computation. Math. Struct. Comput. Sci. Yuxi Fu
2015	J	`jnl`	Preface. Math. Struct. Comput. Sci. Yuxi Fu, Kazunori Ueda
2015	J	`jnl`	The Name-Passing Calculus. CoRR Yuxi Fu, Han Zhu
2014	—	`conf`	Branching Bisimilarity Checking for PRS. ICALP (2) Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
2014	J	`jnl`	Branching Bisimilarity Checking for PRS. CoRR Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
2014	J	`jnl`	Dividing Line between Decidable PDA's and Undecidable Ones. CoRR Yuxi Fu, Qiang Yin
2013	—	`conf`	Checking Equality and Regularity for Normed BPA with Silent Moves. ICALP (2) Yuxi Fu
2013	J	`jnl`	How faithfully can π be interpreted in SA? Sci. China Inf. Sci. Huan Long, Yuxi Fu
2013	—	`conf`	The Value-Passing Calculus. Theories of Programming and Formal Methods Yuxi Fu
2011	—	`conf`	Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. FSEN Chaodong He, Yuxi Fu, Hongfei Fu
2011	J	`jnl`	The λ-calculus in the π-calculus. Math. Struct. Comput. Sci. Xiaojuan Cai, Yuxi Fu
2010	J	`jnl`	On the expressiveness of interaction. Theor. Comput. Sci. Yuxi Fu, Hao Lu
2010	B	`conf`	Theory by Process. CONCUR Yuxi Fu
2007	J	`jnl`	A general approach for building combinational P automata. Int. J. Comput. Math. Huan Long, Yuxi Fu
2007	J	`jnl`	Barbed Congruence of Asymmetry and Mismatch. J. Comput. Sci. Technol. Xiaoju Dong, Yuxi Fu
2007	J	`jnl`	Fair ambients. Acta Informatica Yuxi Fu
2006	—	`conf`	A Model in kappa for DNA Addition. MeCBIC@ICALP Xian Xu, Xiaoju Dong, Yuxi Fu
2006	C	`conf`	Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC Farong Zhong, Yuxi Fu, Xiaoju Dong
2006	J	`jnl`	Error Estimation of Perturbations Under CRI. IEEE Trans. Fuzzy Syst. Guosheng Cheng, Yuxi Fu
2006	—	`conf`	Secrecy of Signals by Typing in Signal Transduction. ICNC (2) Min Zhang, Guoqiang Li, Yuxi Fu
2005	—	`conf`	A Generic Model for Analyzing Security Protocols. MMM-ACNS Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu
2005	C	`conf`	A Generic Model for Symbolic Analyzing Security Protocols. CIT Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong
2005	C	`conf`	A Simple Process Calculus for the analysis of Security Protocols. PDCAT Yonggen Gu, Yuxi Fu, Guoqiang Li
2005	J	`jnl`	A schematic axiom for open congruence. Sci. China Ser. F Inf. Sci. Yuxi Fu
2005	—	`conf`	An Implementation for Mapping SBML to BioSPI. FSKD (2) Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He
2005	J	`jnl`	On quasi-open bisimulation. Theor. Comput. Sci. Yuxi Fu
2005	—	`conf`	Typing Aberrance in Signal Transduction. ICNC (3) Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He
2004	C	`conf`	Analyzing iKP Security in Applied Pi Calculus. CIS Yonggen Gu, Guoqiang Li, Yuxi Fu
2004	C	`ed.`	Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings CIS Jun Zhang, Ji-Huan He, Yuxi Fu
2004	—	`ed.`	Digital Libraries: International Collaboration and Cross-Fertilization, 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings ICADL Zhaoneng Chen, Hsinchun Chen, Qihao Miao, Yuxi Fu, Edward A. Fox, Ee-Peng Lim
2004	C	`conf`	Formalizing the Environment View of Process Equivalence. CIS Yuxi Fu, Xiaoju Dong
2004	C	`conf`	Representation of the Signal Transduction with Aberrance Using Ipi Calculus. CIS Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He
2003	J	`jnl`	Bisimulation congruence of chi calculus. Inf. Comput. Yuxi Fu
2003	B	`conf`	Observing Asymmetry and Mismatch. APLAS Xiaoju Dong, Yuxi Fu
2003	J	`jnl`	Tau laws for pi calculus. Theor. Comput. Sci. Yuxi Fu, Zhenrong Yang
2003	J	`jnl`	Understanding the mismatch combinator in chi calculus. Theor. Comput. Sci. Yuxi Fu, Zhenrong Yang
2002	B	`conf`	On Quasi-Open Bisimulation. APLAS Yuxi Fu
2002	J	`jnl`	Testing Congruence for Mobile Processes. J. Comput. Sci. Technol. Yuxi Fu
2001	J	`jnl`	A functional presentation of Pi calculus. Sci. China Ser. F Inf. Sci. Yuxi Fu
2001	J	`jnl`	Semantics of Constructions (I) - The Traditional Approach. J. Comput. Sci. Technol. Yuxi Fu
2001	J	`jnl`	Semantics of Constructions (II) - The Initial Algebraic Approach. J. Comput. Sci. Technol. Yuxi Fu
2000	B	`conf`	Chi Calculus with Mismatch. CONCUR Yuxi Fu, Zhenrong Yang
2000	—	`conf`	The Ground Congruence for Chi Calculus. FSTTCS Yuxi Fu, Zhenrong Yang
1999	B	`conf`	Open Bisimulations on Chi Processes. CONCUR Yuxi Fu
1999	J	`jnl`	Relative properties of frame language. J. Comput. Sci. Technol. Yuxi Fu
1999	J	`jnl`	Variations on Mobile Processes. Theor. Comput. Sci. Yuxi Fu
1998	—	`conf`	Bisimulation Lattice of Chi Processes. ASIAN Yuxi Fu
1998	J	`jnl`	Reaction graph. J. Comput. Sci. Technol. Yuxi Fu
1998	J	`jnl`	Structures definable in polymorphism. J. Comput. Sci. Technol. Yuxi Fu
1998	J	`jnl`	Symmetric π-calculus. J. Comput. Sci. Technol. Yuxi Fu
1997	A*	`conf`	A Proof Theoretical Approach to Communication. ICALP Yuxi Fu
1997	J	`jnl`	Categorical Properties of Logical Frameworks. Math. Struct. Comput. Sci. Yuxi Fu
1997	J	`jnl`	Constructive sets in computable sets. J. Comput. Sci. Technol. Yuxi Fu
1997	—	`conf`	The x-Calculus. APDC Yuxi Fu
1996	J	`jnl`	Recursive Models of General Inductive Types. Fundam. Informaticae Yuxi Fu
1992	—	`—`	Topics in type theory. Yuxi Fu