All systems operational
For Researchers For Publishers Login Register
Home Authors Tian-Yue Cao
TC

Tian-Yue Cao

h-0 H-Index
0 Citations
1 Papers

Published Papers

1 indexed
1
A Separation Logic for Sequences in Block-Based Cloud Storage Systems and Its Decidability
Journal of Computer Science and Technology Q2 2025 10.1007/s11390-025-4684-9
0 citations 381

Publication Activity

Journals Published In

Journal of Computer Science and Technology
🇸🇩 Q2 AMS 100