Yuzhen Qi

According to our database1, Yuzhen Qi authored at least 7 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Formal semantics for hierarchical Simulink diagrams in Isabelle/HOL.
J. Syst. Archit., 2026

2025
Largest dyadic dual VC-dimension of non-piercing families.
CoRR, June, 2025

2024
Spanning 3-strong tournaments in 5-strong semicomplete digraphs.
Discret. Math., January, 2024

2023
Improved results on linkage problems.
Discret. Math., June, 2023

Vertex-disjoint cycles of the same length in tournaments.
J. Graph Theory, April, 2023

Disjoint cycles with partial degree conditions in claw-free graphs.
Discret. Math., 2023

2022
Cycle Extendability in Extended Tournaments.
Graphs Comb., 2022


  Loading...