学术活动
  2009-6-25
  2009-12-7
  2009-12-2
  2007-2-15
  2007-2-15
 

曹子宁    Cao Zining







同名作者区分

曹子宁 清华大学曹子宁 南京航空航天大学曹子宁 Unknown
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果16条  被引21次[注:ScholarSpace内自引数]
查看曹子宁的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2015
16 倪水妹 曹子宁 . 面向概率ZIA时序及度量性质的检测研究. 小型微型计算机系统, 2015, (03): 411-411 0
2014
15 倪水妹 曹子宁 李心磊 . 带数据约束实时系统的模型检测. 计算机科学, 2014, (05): 254-263 0
2013
14 翟志刚 王建东 曹子宁 毛宇光 . 最小扰动混合角色挖掘方法研究. 计算机研究与发展, 2013, (05): 951-961 1
2012
13 肖芳雄 李燕 黄志球 曹子宁 陈哲 范大娟 . 基于时间概率代价进程代数的Web服务组合建模和分析. 计算机学报, 2012, (05): - 6
12 柯昌博 黄志球 刘林源 曹子宁 . 面向约束的Web服务发现方法研究. 软件学报, 2012, (10): - 1
2011
11 肖芳雄 黄志球 曹子宁 屠立忠 祝义 . Web服务组合功能与QoS的形式化统一建模和分析. 软件学报, 2011, (11): 2698-2716 5
2010
10 祝义 黄志球 曹子宁 周航 刘亚萍 . 一种基于形式化规约生成软件体系结构模型的方法. 软件学报, 2010, (11): 1
9 袁敏 黄志球 曹子宁 肖芳雄 . 一种扩充的π-演算及事务性等价关系研究. 计算机研究与发展, 2010, (03): 541-549 2
2009
8 肖芳雄 黄志球 曹子宁 袁敏 张君华 . 基于价格进程代数的Web服务组合描述和成本分析. 计算机研究与发展, 2009, (05): 1
2008
7 张君华 黄志球 曹子宁 . 模型检测基于概率时间自动机的反例产生研究. , 2008, (10): 0
6 张君华 黄志球 曹子宁 . 模型检测基于概率时间自动机的反例产生研究. 计算机研究与发展, 2008, (10): 1638-1646 4
2001
5 曹子宁 吕义忠 石纯一 . 相对化One-Way函数的存在性. 软件学报, 2001, 12 (06): 884-888 0
4 曹子宁 董红斌 石纯一 . 多Agent信念逻辑及其在概率意义下的推广. , 2001, 12 (09): 1366-1375 0
2000
3 曹子宁 朱梧? 石纯一 . 程序规范自动检测与修正系统ADRS的研究. 计算机研究与发展, 2000, 37 (03): 292-299 0
2 曹子宁 石纯一 . 概率信念逻辑的语义. 计算机研究与发展, 2000, 37 (11): 1281-1286 0
1 曹子宁 石纯一 . 多Agent理论的对策论方法. 计算机科学, 2000, 27 (07): 63-66 0

DBLP检索到的论文列表

No. Paper Inforamtion
2013
1 Zining Cao, Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE, 2013
2012
0 Zining Cao, Modal ZIA, Modal Refinement Relation and Logical Characterization. SEKE, 2012
-1 Zining Cao, A Calculus of Higher Order Safe Ambients and Its Bisimulations. TASE, 2012
2010
-2 Zining Cao, Refinement Checking for Interface Automata with Z Notation. SEKE, 2010
-3 Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan, An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. QSIC, 2010
-4 Zining Cao, Bisimulations for Open Processes in Higher Order p-Calculus. TASE, 2010
2009
-5 Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu, Modeling Cost-Aware Web Services Composition Using PTCCS. ICWS, 2009
2008
-6 Zining Cao, Equivalence Checking for a Finite Higher Order pi-Calculus. TAP, 2008
2004
-7 Zining Cao, A Uniform Reduction Equivalence for Process Calculi. APLAS, 2004

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2009~2011高阶进程演算的互模拟研究 国家自然科学基金-面上项目
项目号:60873025
27
2005~2007面向多Agent系统模型检测的逻辑和算法 国家自然科学基金-面上项目
项目号:60473036
18
2003~2003面向实时传值系统的模态逻辑及模型检测 国家自然科学基金-青年科学基金项目
项目号:60203028
6

合作作者列表

1 倪水妹 [15]   [16]  
2 刘亚萍 [10]  
3 刘林源 [12]  
4 吕义忠 [5]  
5 周航 [10]  
6 屠立忠 [11]  
7 张君华 [8]   [7]  [6]  
8 朱梧? [3]  
9 李心磊 [15]  
10 李燕 [13]  
11 柯昌博 [12]  
12 毛宇光 [14]  
13 王建东 [14]  
14 石纯一 [3]   [2]  [1]  [5]  [4]  
15 祝义 [10]   [11]  
16 翟志刚 [14]  
17 肖芳雄 [8]   [9]  [11]  [13]  
18 范大娟 [13]  
19 董红斌 [4]  
20 袁敏 [8]   [9]  
21 陈哲 [13]  
22 黄志球 [8]   [7]  [9]  [10]  [11]  [13]  [12]  [6]  

单位历史信息

清华大学计算机科学与技术系 (2000--2001)
南京航空航天大学信息科学与技术学院 (2009--2011)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。