周盛梅 王慧中 冯登国 李卫东 黄大年 孟江涛 黄寄洪 李晓芳 黄纯农 汪晓玲 华志华

抽象状态机 形式归约 安全 EhrenfeuchtGame 悬浮培养 胚性愈伤 形式化方法 共振能级劈裂 基因枪 拒绝服务 密码协议 分布式拒绝服务 Ehrenfeuchgame 完备布尔代数 计算复杂性 变换矩阵 可判定性 初等等价 对抗 除草剂抗性 量子点 bar基因 直播稻

北京师范大学数学系 杭州师范学院生物系 浙江大学生命科学院 中国水稻研究所 北京100080山西师范大学数学与计算机... 中国科学院软件所信息安全国家重点实验室 太原科技大学物理系 山西太原