编辑配置文件（在新选项卡中打开） Min-Hsien翁 合著者距离 作者ID： 翁敏熙 发布日期： 翁敏贤 已编制索引的文档： 1出版物自2021年起 合著者： 2合著者具有1联合出版物 36位合作作者 合著者 0 单作者的 1 罗比·马利克 1 马克·乌廷 系列 1 系统设计中的形式化方法 字段 1 计算机科学（68至XX） 按年份列出的出版物