-
陈清亮
-
-
- 所属机构:暨南大学
- 所在地区:广东省 广州市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 苏开乐
- 作品数：48被引量：153H指数：8
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 吕关锋
- 作品数：12被引量：65H指数：4
- 供职机构：北京工业大学计算机学院
- 研究主题：BDD OBDD SPV 最短路径 知识结构
- 岳伟亚
- 作品数：6被引量：35H指数：3
- 供职机构：中山大学信息科学与技术学院信息技术教育部重点实验室
- 研究主题：语义模型 形态小波 灰度形态学 模糊形态学 图像处理
- 杨晋吉
- 作品数：63被引量：148H指数：6
- 供职机构：华南师范大学
- 研究主题：存储介质 图像 形式化验证 染色体 概率模型检测
- 姜云飞
- 作品数：112被引量：514H指数：15
- 供职机构：中山大学信息科学与技术学院软件研究所
- 研究主题：人工智能 基于模型诊断 专家系统 规划图 遗传算法
