We stand with Ukraine  

Haoxuan Yin

Orcid: 0009-0008-2817-0227

Affiliations:
  • University of Oxford, Oxford, UK


According to our database1, Haoxuan Yin authored at least 2 papers between 2023 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Layered Modal ML: Syntax and Full Abstraction.
[BibTeX]
[DOI]
Haoxuan Yin
,
Andrzej S. Murawski
,
C.-H. Luke Ong
CoRR, February, 2026

2023
Hybrid sabotage modal logic.
[BibTeX]
[DOI]
Johan van Benthem
,
Lei Li
,
Chenwei Shi
,
Haoxuan Yin
J. Log. Comput., August, 2023


  Loading...