Xiaoxiao Yang

Identifiers

• name variant Xiaoxiao Yang 0.60 · backfill

Papers (5)

1. Approximation algorithms for the prize-collecting rural postman problem cs.DS · 2026 · author #5
2. The Effect Race in Fine-Grained Concurrency cs.PL · 2018 · author #1
3. Proving Linearizability via Branching Bisimulation cs.PL · 2016 · author #1
4. A Probabilistic Variant of Projection Temporal Logic cs.LO · 2011 · author #1
5. Probabilistic Model Checking for Propositional Projection Temporal Logic cs.LO · 2010 · author #1

Mentions

• 2605.24944 #5 · arxiv_oai · confidence 0.70 Xiaoxiao Yang
• 1101.1379 #1 · backfill · confidence 0.70 Xiaoxiao Yang
• 1011.1321 #1 · backfill · confidence 0.70 Xiaoxiao Yang

Frequent Coauthors

• Hao Wu 1 shared papers
• Hong Li 1 shared papers
• Huimin Lin 1 shared papers
• Jianping Li 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Runtao Xie 1 shared papers
• Wei Li 1 shared papers