消息
×
loading..
中文版 | English

在结果中检索

KMS  > 信息科学与技术学院  > PI研究组  > 陈浩贤组

陈浩贤组 帮助

浏览条目

浏览/检索结果: 共6条，第1-6条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Incremental Rule Discovery in Response to Parameter Updates 会议论文
ACM SIGMOD/PODS INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA
作者:  Chen HX(陈浩贤);  Fan WF(樊文飞);  Zheng JY(郑嘉业)
Adobe PDF(1010Kb)  |  收藏  |  浏览/下载：65/10  |  提交时间：2025/03/11
Practical Declarative Smart Contracts Optimization 会议论文
SIXTH INTERNATIONAL WORKSHOP ON FOUNDATIONS AND APPLICATIONS OF BLOCKCHAIN
作者:  Lan Lu;  Tao Luo;  Jingyi Li;  Hongxun Ding;  Brendan Massey
Adobe PDF(1416Kb)  |  收藏  |  浏览/下载：26/2  |  提交时间：2025/04/07
Verifying Declarative Smart Contracts 会议论文
INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, Lisbon, Portugal, 2024-4-14 - 2024-4-19
作者:  Chen, Haoxian;  Lu, Lan;  Massey, Brendan;  Wang, Yuepeng;  Loo, Boon Thau
Adobe PDF(1059Kb)  |  收藏  |  浏览/下载：341/1  |  提交时间：2024/04/09
Interpretable Network Synthesis via Localized Specifications 会议论文
PROCEEDINGS OF THE 2024 SIGCOMM WORKSHOP ON FORMAL METHODS AIDED NETWORK OPERATION, FMANO 2024, null,Sydney,AUSTRALIA, AUG 04-08, 2024
作者:  Chen, Haoxian
Adobe PDF(554Kb)  |  收藏  |  浏览/下载：284/3  |  提交时间：2024/09/18
Localized Explanations for Automatically Synthesized Network Configurations 会议论文
PROCEEDINGS OF THE 2024 THE 23RD ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2024, null,Irvine,CA, NOV 18-19, 2024
作者:  Nazari, Amirmohammad;  Zhang, Yongzheng;  Raghothaman, Mukund;  Chen, Haoxian
Adobe PDF(562Kb)  |  收藏  |  浏览/下载：36/3  |  提交时间：2025/03/25
Verifying Declarative Smart Contracts 会议论文
ARXIV, Lisbon, Portugal, 14-20 April 2024
作者:  Chen, Haoxian;  Lu, Lan;  Massey, Brendan;  Wang, Yuepeng;  Loo, Boon Thau
Adobe PDF(724Kb)  |  收藏  |  浏览/下载：261/1  |  提交时间：2024/06/03
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页