Xiaoxiao Yang

	2008
5		Xiaoxiao Yang, Zhenhua Duan: Operational semantics of Framed Tempura. J. Log. Algebr. Program. 78(1): 22-51 (2008)
4		Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008)
	2007
3		Xiaoxiao Yang, Zhenhua Duan: Operational Semantics of Framed Temporal Logic Programs. SOFSEM (1) 2007: 566-578
2		Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang: An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260
	2005
1		Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370

Coauthor Index

1	Zhenhua Duan	[1] [2] [3] [4] [5]
2	Maciej Koutny	[1] [4]
3	Yongtao Ma	[2]
4	Xiaobing Wang	[2]