李文军
【姓名】 李文军
【职称】 教授;
【研究领域】 计算机软件及计算机应用;机械工业;教育理论与教育管理;
【研究方向】 分布式计算、并发模型与软件工程研究
【发表文献关键词】 范畴论,并发模型,受限全称量词类型,类型系统,优先关系,动态优先,子类型,Petri网,同步树,带序范畴,函子,插入子,网语,高阶子类型关系,范畴模型,标号集,递归类型,转换结构,远程方法调用,Pet...
【工作单位】 中山大学
【曾工作单位】 中山大学;
【所在地域】 广东广州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/32 21 19 14 195 4065
中国期刊全文数据库    共找到27篇
[1]江联;黄海亮;周晓聪;王欣明;李文军;.基于变量感染分析的软件错误定位技术[J]计算机科学与探索.2014,(08)
[2]贺韬;王欣明;周晓聪;李文军;张震宇;张成志;.一种基于程序变异的软件错误定位技术[J]计算机学报.2013,(11)
[3]衣杨;李文军;杨风;.软件工程实验软件装置的研究与应用[J]实验室研究与探索.2009,(08)
[4]刘显明;李师贤;李文军;潘理;.一种价格时间Petri网的状态空间计算[J]电子学报.2006,(10)
[5]刘显明;李师贤;李文军;潘理;.一种扩展了价格信息的时间Petri网[J]软件学报.2007,(01)
[6]李文军;衣杨;舒忠梅;尹冬生;.计算机专业实验教学改革的实践与探讨[J]实验室研究与探索.2007,(12)
[7]舒忠梅;李文军;周晓聪;.编译原理教学改革实践初探(英文)[J]中山大学学报(自然科学版).2007,(S2)
[8]李文军;林宏生;周晓聪;郑尧展;.基于节点聚类的可伸缩多应用无线传感器网络模拟[J]通信学报.2008,(11)
[9]周晓聪,李文军,李师贤.对象在类型系统λω×≤中的表示[J]计算机研究与发展.2003,(04)
[10]潘理,李文军.一种构造时间Petri网状态类的方法[J]计算机工程与应用.2005,(24)
更多