Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.
Research Interests

Papers共 12 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Interpretable Network Synthesis via Localized Specifications
Haoxian Chen
SIGCOMM Workshop on Formal Methods Aided Network Operationpp.51-53, (2024)
Cited0Views0EIBibtex
0
0
Safety Verification of Declarative Smart Contracts
Haoxian Chen, Lixin Lu, Brendan Massey,Yuepeng Wang,Boon Thau Loo
arXiv (Cornell University) (2022)
Cited0Views0Bibtex
0
0
Massive Indexed Directories in DeltaFS
Abutalib Aghayev,Joy Arulraj,Ben Blum, V. P. Bhogaraju,Amirali Boroumand,Sol Boucher, Christopher Canel, Dongbai Chen,Haoxian Chen,Malhar Chaudhari, Andrew Chung,Chris Fallin,
semanticscholar（2018）
Cited0Views0Bibtex
0
0
Load More
Author Statistics

#Papers: 11

#Citation: 178

H-Index: 5

G-Index: 7

Sociability: 3

Diversity: 2

Activity: 5

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn