![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Yuxi Fu
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c28]Yuxi Fu, Qizhe Yang, Yangluo Zheng:
Improved Algorithm for Reachability in d-VASS. ICALP 2024: 136:1-136:18 - [i8]Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang:
Analyzing Divergence for Nondeterministic Probabilistic Models. CoRR abs/2403.00491 (2024) - [i7]Yuxi Fu, Qizhe Yang, Yangluo Zheng:
Improved Algorithm for Reachability in d-VASS. CoRR abs/2404.14781 (2024) - 2023
- [i6]Qizhe Yang, Yuxi Fu:
Reachability in 3-VASS is in Tower. CoRR abs/2306.05710 (2023) - 2022
- [j33]Qizhe Yang, Yuxi Fu:
Counting nondeterministic computations. Theor. Comput. Sci. 897: 49-63 (2022) - [j32]Yuxi Fu:
A thesis for interaction. Theor. Comput. Sci. 897: 114-134 (2022) - 2021
- [j31]Yuxi Fu:
Model independent approach to probabilistic models. Theor. Comput. Sci. 869: 181-194 (2021)
2010 – 2019
- 2019
- [j30]Xiaoju Dong, Yuxi Fu
, Daniele Varacca:
Extensional Petri net. Formal Aspects Comput. 31(1): 47-58 (2019) - [i5]Yuxi Fu:
A Uniform Approach to Random Process Model. CoRR abs/1906.09541 (2019) - 2018
- [j29]Xianzhong Xie, Jiujiu Chen
, Yuxi Fu:
Outage Performance and QoS Optimization in Full-Duplex System With Non-Linear Energy Harvesting Model. IEEE Access 6: 44281-44290 (2018) - 2017
- [j28]Yuxi Fu:
The Universal Process. Log. Methods Comput. Sci. 13(4) (2017) - [c27]Yuxi Fu:
On the Power of Name-Passing Communication. CONCUR 2017: 22:1-22:15 - [c26]Jianxin Xue, Huan Long, Yuxi Fu:
Remark on Some \pi Variants. SETTA 2017: 183-199 - [i4]Yuxi Fu:
The Universal Process. CoRR abs/1708.06010 (2017) - 2016
- [j27]Yuxi Fu:
Theory of interaction. Theor. Comput. Sci. 611: 1-49 (2016) - [c25]Xiaoju Dong, Yuxi Fu, Daniele Varacca:
Place Bisimulation and Liveness for Open Petri Nets. SETTA 2016: 1-17 - 2015
- [j26]Yuxi Fu, Kazunori Ueda:
Preface. Math. Struct. Comput. Sci. 25(4): 764 (2015) - [j25]Yuxi Fu:
Non-deterministic structures of computation. Math. Struct. Comput. Sci. 25(6): 1295-1338 (2015) - [i3]Yuxi Fu, Han Zhu:
The Name-Passing Calculus. CoRR abs/1508.00093 (2015) - 2014
- [c24]Qiang Yin
, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao:
Branching Bisimilarity Checking for PRS. ICALP (2) 2014: 363-374 - [i2]Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao:
Branching Bisimilarity Checking for PRS. CoRR abs/1402.0050 (2014) - [i1]Yuxi Fu, Qiang Yin
:
Dividing Line between Decidable PDA's and Undecidable Ones. CoRR abs/1404.7015 (2014) - 2013
- [j24]Huan Long, Yuxi Fu:
How faithfully can π be interpreted in SA? Sci. China Inf. Sci. 56(3): 1-15 (2013) - [c23]Yuxi Fu:
The Value-Passing Calculus. Theories of Programming and Formal Methods 2013: 166-195 - [c22]Yuxi Fu:
Checking Equality and Regularity for Normed BPA with Silent Moves. ICALP (2) 2013: 238-249 - 2011
- [j23]Xiaojuan Cai, Yuxi Fu:
The λ-calculus in the π-calculus. Math. Struct. Comput. Sci. 21(5): 943-996 (2011) - [c21]Chaodong He, Yuxi Fu, Hongfei Fu
:
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. FSEN 2011: 284-298 - 2010
- [j22]Yuxi Fu, Hao Lu:
On the expressiveness of interaction. Theor. Comput. Sci. 411(11-13): 1387-1451 (2010) - [c20]Yuxi Fu:
Theory by Process. CONCUR 2010: 403-416
2000 – 2009
- 2007
- [j21]Yuxi Fu:
Fair ambients. Acta Informatica 43(8): 535-594 (2007) - [j20]Huan Long, Yuxi Fu:
A general approach for building combinational P automata. Int. J. Comput. Math. 84(12): 1715-1730 (2007) - [j19]Xiaoju Dong, Yuxi Fu:
Barbed Congruence of Asymmetry and Mismatch. J. Comput. Sci. Technol. 22(4): 575-579 (2007) - 2006
- [j18]Guosheng Cheng, Yuxi Fu:
Error Estimation of Perturbations Under CRI. IEEE Trans. Fuzzy Syst. 14(6): 709-715 (2006) - [c19]Min Zhang, Guoqiang Li, Yuxi Fu:
Secrecy of Signals by Typing in Signal Transduction. ICNC (2) 2006: 384-393 - [c18]Farong Zhong, Yuxi Fu, Xiaoju Dong:
Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC 2006: 173-184 - [c17]Xian Xu, Xiaoju Dong, Yuxi Fu:
A Model in kappa for DNA Addition. MeCBIC@ICALP 2006: 209-222 - 2005
- [j17]Yuxi Fu:
A schematic axiom for open congruence. Sci. China Ser. F Inf. Sci. 48(1): 67-77 (2005) - [j16]Yuxi Fu:
On quasi-open bisimulation. Theor. Comput. Sci. 338(1-3): 96-126 (2005) - [c16]Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong:
A Generic Model for Symbolic Analyzing Security Protocols. CIT 2005: 680-684 - [c15]Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He:
An Implementation for Mapping SBML to BioSPI. FSKD (2) 2005: 1128-1131 - [c14]Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He:
Typing Aberrance in Signal Transduction. ICNC (3) 2005: 668-677 - [c13]Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu:
A Generic Model for Analyzing Security Protocols. MMM-ACNS 2005: 119-128 - [c12]Yonggen Gu, Yuxi Fu, Guoqiang Li:
A Simple Process Calculus for the analysis of Security Protocols. PDCAT 2005: 110-114 - 2004
- [c11]Yuxi Fu, Xiaoju Dong:
Formalizing the Environment View of Process Equivalence. CIS 2004: 336-345 - [c10]Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He:
Representation of the Signal Transduction with Aberrance Using Ipi Calculus. CIS 2004: 477-485 - [c9]Yonggen Gu, Guoqiang Li, Yuxi Fu:
Analyzing iKP Security in Applied Pi Calculus. CIS 2004: 879-887 - [e2]Jun Zhang, Ji-Huan He, Yuxi Fu:
Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings. Lecture Notes in Computer Science 3314, Springer 2004, ISBN 3-540-24127-2 [contents] - [e1]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. Lecture Notes in Computer Science 3334, Springer 2004, ISBN 3-540-24030-6 [contents] - 2003
- [j15]Yuxi Fu:
Bisimulation congruence of chi calculus. Inf. Comput. 184(1): 201-226 (2003) - [j14]Yuxi Fu, Zhenrong Yang:
Understanding the mismatch combinator in chi calculus. Theor. Comput. Sci. 290(1): 779-830 (2003) - [j13]Yuxi Fu, Zhenrong Yang:
Tau laws for pi calculus. Theor. Comput. Sci. 308(1-3): 55-130 (2003) - [c8]Xiaoju Dong, Yuxi Fu:
Observing Asymmetry and Mismatch. APLAS 2003: 2-19 - 2002
- [j12]Yuxi Fu:
Testing Congruence for Mobile Processes. J. Comput. Sci. Technol. 17(1): 73-82 (2002) - [c7]Yuxi Fu:
On Quasi-Open Bisimulation. APLAS 2002: 193-215 - 2001
- [j11]Yuxi Fu:
A functional presentation of Pi calculus. Sci. China Ser. F Inf. Sci. 44(1): 20-32 (2001) - [j10]Yuxi Fu:
Semantics of Constructions (I) - The Traditional Approach. J. Comput. Sci. Technol. 16(1): 13-24 (2001) - [j9]Yuxi Fu:
Semantics of Constructions (II) - The Initial Algebraic Approach. J. Comput. Sci. Technol. 16(2): 137-145 (2001) - 2000
- [c6]Yuxi Fu, Zhenrong Yang:
Chi Calculus with Mismatch. CONCUR 2000: 596-610 - [c5]Yuxi Fu, Zhenrong Yang:
The Ground Congruence for Chi Calculus. FSTTCS 2000: 385-396
1990 – 1999
- 1999
- [j8]Yuxi Fu:
Relative properties of frame language. J. Comput. Sci. Technol. 14(4): 320-327 (1999) - [j7]Yuxi Fu:
Variations on Mobile Processes. Theor. Comput. Sci. 221(1-2): 327-368 (1999) - [c4]Yuxi Fu:
Open Bisimulations on Chi Processes. CONCUR 1999: 304-319 - 1998
- [j6]Yuxi Fu:
Symmetric π-calculus. J. Comput. Sci. Technol. 13(3): 202-208 (1998) - [j5]Yuxi Fu:
Reaction graph. J. Comput. Sci. Technol. 13(6): 510-530 (1998) - [j4]Yuxi Fu:
Structures definable in polymorphism. J. Comput. Sci. Technol. 13(6): 579-587 (1998) - [c3]Yuxi Fu:
Bisimulation Lattice of Chi Processes. ASIAN 1998: 245-262 - 1997
- [j3]Yuxi Fu:
Constructive sets in computable sets. J. Comput. Sci. Technol. 12(5): 425-440 (1997) - [j2]Yuxi Fu:
Categorical Properties of Logical Frameworks. Math. Struct. Comput. Sci. 7(1): 1-47 (1997) - [c2]Yuxi Fu:
The x-Calculus. APDC 1997: 74-81 - [c1]Yuxi Fu:
A Proof Theoretical Approach to Communication. ICALP 1997: 325-335 - 1996
- [j1]Yuxi Fu:
Recursive Models of General Inductive Types. Fundam. Informaticae 26(2): 115-131 (1996) - 1992
- [b1]Yuxi Fu:
Topics in type theory. University of Manchester, UK, Technical report series : UMCS 92-11-1, 1992, pp. 1-94
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-03 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint