中文版 | English

在结果中检索

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

陈浩贤组 帮助

浏览条目

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

限定条件                
已选(0)清除 条数/页：   排序方式：
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)  |  收藏  |  浏览/下载：64/1  |  提交时间：2024/04/09
Verifying Declarative Smart Contracts 预印本
2023
作者:  Chen, Haoxian;  Lu, Lan;  Massey, Brendan;  Wang, Yuepeng;  Loo, Boon Thau
收藏  |  浏览/下载：14/0  |  提交时间：2024/06/03
Synthesizing Formal Network Specifications from Input-Output Examples 期刊论文
IEEE TRANSACTION ON NETWORKING, 2022
作者:  Chen, Haoxian;  Wu, Chenyua;  Zhao, Andrew;  Raghothaman, Mukund;  Naik, Mayur
Adobe PDF(1012Kb)  |  收藏  |  浏览/下载：64/0  |  提交时间：2024/04/09