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 |
|---|---|---|
| Improved algorithm for reachability in \(d\)-VASS | 2026-01-14 | Paper |
| 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
