李彬
作品数: 22被引量:24H指数:3
  • 所属机构:南京大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

赵建华
作品数:70被引量:142H指数:6
供职机构:南京大学
研究主题:MDA 规约 EDOC 实时系统 时间自动机
翟娟
作品数:5被引量:12H指数:3
供职机构:计算机软件新技术国家重点实验室
研究主题:漏洞检测 漏洞 自动化 变式 循环不变式
汤震浩
作品数:4被引量:7H指数:2
供职机构:计算机软件新技术国家重点实验室
研究主题:变式 循环不变式 自动生成方法 数组 过程间分析
张荣
作品数:842被引量:589H指数:10
供职机构:南京大学
研究主题:GAN 氮化镓 蓝宝石 氢化物气相外延 衬底
修向前
作品数:317被引量:238H指数:7
供职机构:南京大学
研究主题:氢化物气相外延 GAN 蓝宝石 氮化镓 衬底