1.消息传输协议MTP的Petri网模型和分析
2.An Approach to Formal Specification and Analysis for Time Performance of the Concurrent Real Time System (RTEXS)
3.Petri网:一种用于信息系统模拟的方法
4.基于Hopfield神经网络模型的启发式学习算法及其在数字模式处理中的应用
5.A Petri Net Model for Temporal Knowledge Representation and Reasoning
6.Computing Robust Viewpoints with Multi constraints Using Tree Annealing
7.Toward Parallel Financial Computation: Valuation of Mortgage Backed Securities
8.A Trinomial Dividend Valuation Model
9.Long/Short Equity Hedge Fund Investing: Are Sector Specialists Better Than Generalists?
10.西蒙:活跃在科学前沿的博学家