Weijun Chen

Identifiers

No identifiers captured yet.

Papers (3)

1. Improving Reachability in Vector Addition Systems through Pumpability cs.FL · 2026 · author #1
2. A Unifying Approach to Probabilistic Testing Equivalences cs.LO · 2025 · author #1
3. A Programming Language for Feasible Solutions cs.PL · 2025 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Yuxi Fu 3 shared papers
• Huan Long 2 shared papers
• Hao Wu 1 shared papers
• Yangluo Zheng 1 shared papers