Yuxi Fu
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Remark on some \(\pi\) variants Dependable Software Engineering. Theories, Tools, and Applications | 2022-11-04 | Paper |
| How faithfully can \( \pi \) be interpreted in SA? Science China Information Sciences | 2021-12-15 | Paper |
| Counting nondeterministic computations Theoretical Computer Science | 2021-12-01 | Paper |
| A thesis for interaction Theoretical Computer Science | 2021-12-01 | Paper |
| Model independent approach to probabilistic models Theoretical Computer Science | 2021-05-10 | Paper |
| A note on the Knaster-Tarski fixpoint theorem Algebra Universalis | 2020-09-22 | Paper |
| scientific article; zbMATH DE number 7204939 (Why is no real title available?) | 2020-05-27 | Paper |
| Extensional Petri net Formal Aspects of Computing | 2019-03-13 | Paper |
| Place bisimulation and liveness for open Petri nets | 2018-08-16 | Paper |
| A proof theoretical approach to communication Automata, Languages and Programming | 2018-07-04 | Paper |
| The universal process (available as arXiv preprint) | 2017-12-11 | Paper |
| Non-deterministic structures of computation Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| Theory of interaction Theoretical Computer Science | 2015-12-15 | Paper |
| Branching bisimilarity checking for PRS Automata, Languages, and Programming | 2014-07-01 | Paper |
| A model in {\(\kappa\)} for DNA addition Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| The Value-Passing Calculus Theories of Programming and Formal Methods | 2013-08-16 | Paper |
| Checking equality and regularity for normed BPA with silent moves Automata, Languages, and Programming | 2013-08-07 | Paper |
| Decidability of behavioral equivalences in process calculi with name scoping Fundamentals of Software Engineering | 2012-06-29 | Paper |
| The \(\lambda \)-calculus in the \(\pi \)-calculus Mathematical Structures in Computer Science | 2011-10-21 | Paper |
| Theory by process CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
| On the expressiveness of interaction Theoretical Computer Science | 2010-03-29 | Paper |
| Observing asymmetry and mismatch. Lecture Notes in Computer Science | 2010-01-05 | Paper |
| A general approach for building combinationalPautomata International Journal of Computer Mathematics | 2007-12-12 | Paper |
| Fair ambients Acta Informatica | 2007-04-19 | Paper |
| A functional presentation of pi calculus Science in China. Series F | 2007-02-20 | Paper |
| A schematic axiom for open congruence Science in China. Series F | 2007-02-20 | Paper |
| On the internal structures of inductive types Science in China. Series E | 2007-02-20 | Paper |
| Computational and Information Science Lecture Notes in Computer Science | 2006-10-10 | Paper |
| Computational and Information Science Lecture Notes in Computer Science | 2006-10-10 | Paper |
| Computational and Information Science Lecture Notes in Computer Science | 2006-10-10 | Paper |
| On quasi-open bisimulation Theoretical Computer Science | 2005-06-30 | Paper |
| Tau laws for pi calculus Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2080218 (Why is no real title available?) | 2004-08-04 | Paper |
| Bisimulation congruence of \(\chi\)-calculus Information and Computation | 2003-07-29 | Paper |
| Testing congruence for mobile processes Journal of Computer Science and Technology | 2003-02-02 | Paper |
| Understanding the mismatch combinator in chi calculus Theoretical Computer Science | 2003-01-21 | Paper |
| Semantics of constructions. II: The initial algebraic approach Journal of Computer Science and Technology | 2002-09-11 | Paper |
| scientific article; zbMATH DE number 1780061 (Why is no real title available?) | 2002-08-12 | Paper |
| scientific article; zbMATH DE number 1759638 (Why is no real title available?) | 2002-06-25 | Paper |
| Meta model of concurrent computation. I: Graph Model Journal of Shanghai Jiaotong University (Chinese Edition) | 2001-06-19 | Paper |
| Meta model of concurrent computation. II: Symmetric communication Journal of Shanghai Jiaotong University (Chinese Edition) | 2001-06-19 | Paper |
| Meta model of concurrent computation. III: Bisimulation lattice Journal of Shanghai Jiaotong University (Chinese Edition) | 2001-06-19 | Paper |
| Semantics of constructions. I: The traditional approach Journal of Computer Science and Technology | 2001-06-19 | Paper |
| Relative properties of frame language Journal of Computer Science and Technology | 2000-04-10 | Paper |
| Variations on mobile processes Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1361130 (Why is no real title available?) | 1999-11-10 | Paper |
| Reaction graph Journal of Computer Science and Technology | 1998-12-02 | Paper |
| Structures definable in polymorphism Journal of Computer Science and Technology | 1998-12-02 | Paper |
| Symmetric \(\pi\)-calculus Journal of Computer Science and Technology | 1998-11-01 | Paper |
| scientific article; zbMATH DE number 1104017 (Why is no real title available?) | 1998-02-05 | Paper |
| scientific article; zbMATH DE number 1104014 (Why is no real title available?) | 1998-01-14 | Paper |
| Constructive sets in computable sets Journal of Computer Science and Technology | 1998-01-13 | Paper |
| scientific article; zbMATH DE number 883893 (Why is no real title available?) | 1998-01-13 | Paper |
| Categorical properties of logical frameworks MSCS. Mathematical Structures in Computer Science | 1997-02-25 | Paper |
Research outcomes over time
This page was built for person: Yuxi Fu
