[1]李宣东,于戈.嵌入式系统软件设计方法与技术专刊前言[J].软件学报,2014,25(2):177-178.

[2]李宣东,郑国梁.传统程序设计语言的面向对象扩充的若干技术[J].软件学报,1997,8(1):36-44.

[3]李宣东,刘超,毛晓光.安全攸关软件系统建模与验证专题前言[J].软件学报,2015,26(2):179-180.

[4]李宣东,郑国梁.型构兼容的继承及其语义[J].计算机学报,1996,19(1):23-29.

[5]李宣东,郑国梁.对Modula－2进行面向对象扩充[J].计算机学报,1996,19(1):30-35.

[6]李宣东,郑国梁.一个Pascal的面向对象扩充的设计与实现[J].软件学报,1996,7(1):9-15.

[7]李宣东,郑国梁.广义继承及其在面向对象程序设计语言中的实现[J].软件学报,1995,6(A01):187-193.

[8]李宣东.标准C^＋＋进展报告[J].微型计算机,1994,14(2):41-45.

[9]李宣东,谭文凯,等.Checkin MSC Specifications for Timing Inconsistency[J].计算机科学技术学报：英文版,2002,17(1):47-55.

[10]李宣东.Verifying Time Petri Nets by Linear Programming[J].计算机科学技术学报：英文版,2001,16(1):39-46.