陈意云
【姓名】 陈意云
【职称】 教授;
【研究领域】 计算机软件及计算机应用;互联网技术;电信技术;
【研究方向】 程序设计语言的理论和实现技术、形式描述技术、软件安全等
【发表文献关键词】 唇部检测,红色排除法,色调,变形模板,复用距离,Cache失效率,局部性,人脸动画,距离分析,人脸区域,相结合,switch-case语句,语音动画,代码迷惑,检测方法,控制流迷惑,肤色模型,三维头发...
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 江苏苏州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/113 82 72 10 1037 12523
中国期刊全文数据库    共找到112篇
[1]陈意云;.回忆我的知青生活[J]江淮文史.2019,(06)
[2]孙科;罗奇鸣;李薛剑;陈意云;.安全C语言验证器中形状系统的形状检查方法[J]小型微型计算机系统.2019,(01)
[3]李云龙;罗奇鸣;陈意云;.二叉树程序循环不变形状图的自动推断[J]小型微型计算机系统.2017,(05)
[4]冯峰;罗奇鸣;陈意云;.栈指针程序的形式验证[J]小型微型计算机系统.2017,(05)
[5]杨晨;罗奇鸣;李薛剑;陈意云;.易变数据结构归纳引理的自动证明[J]电子技术.2017,(06)
[6]韩亚慧;陈意云;李兆鹏;.一维数组程序的形式验证[J]小型微型计算机系统.2015,(05)
[7]宋艳辉;李兆鹏;陈意云;.指针类型递归函数前后形状图的自动推断[J]小型微型计算机系统.2014,(04)
[8]李兆鹏;张昱;陈意云;.A Shape Graph Logic and A Shape System[J]Journal of Computer Science & Technology.2013,(06)
[9]徐文义;陈意云;李兆鹏;.断言语言支持自定义谓词的程序验证器原型[J]小型微型计算机系统.2013,(07)
[10]汪娟;李兆鹏;陈意云;.支持用户自定义谓词的自动定理证明的研究[J]小型微型计算机系统.2013,(08)
更多
中国重要会议全文数据库    共找到1篇
[1]王奎武;王洵;董兰芳;陈意云;.一个MPEG-4兼容的人脸动画系统[A].中国图象图形学会第十届全国图像图形学术会议（CIG’2001）和第一届全国虚拟现实技术研讨会（CVR’2001）论文集.2001-05-01
更多
承担国家科研项目    共找到4个
[1]陈意云;.软件安全性的验证和编译[A].中国科学技术大学;.项目经费 25万元.2006-03-27.资助文献数 12 篇
[2]陈意云;.类型论在软件安全方面的应用研究[A].中国科学技术大学;.项目经费 5万元.2004-03-31.资助文献数 16 篇
[3]陈意云;.基于语言理论和实现技术的移动代码安全[A].中国科学技术大学;.项目经费 18万元.2001-03-31.资助文献数 14 篇
[4]陈意云;.面向携带证明软件设计的语言、逻辑和证明[A].中国科学技术大学;.项目经费 50万元.2007-10-26.资助文献数 0 篇
更多