Yulin Ding

	2011
11		Yulin Ding, Yan Zhang: CTL Model Update for System Modifications CoRR abs/1111.0054: (2011)
	2010
10		Yulin Ding, David Hemer: An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. PRICAI 2010: 589-594
	2008
9		David Hemer, Yulin Ding: Specifying Software Architectures Using a Formal-Based Approach. Australian Software Engineering Conference 2008: 279-288
8		Yulin Ding, Yan Zhang: A Study of the Model Explosion Problem in CTL Model Update. SEKE 2008: 752-757
7		Yan Zhang, Yulin Ding: CTL Model Update for System Modifications. J. Artif. Intell. Res. (JAIR) 31: 113-155 (2008)
	2007
6		Yulin Ding, Yan Zhang: System Modification Case Studies. COMPSAC (2) 2007: 355-360
	2006
5		Yulin Ding, Yan Zhang: CTL Model Update: Semantics, Computations and Implementation. ECAI 2006: 362-366
4		Yulin Ding, Yan Zhang: A Case Study for CTL Model Update. KSEM 2006: 88-101
	2005
3		Yulin Ding, Yan Zhang: Model Updating CTL Systems. Australian Conference on Artificial Intelligence 2005: 5-16
2		Yulin Ding, Yan Zhang: A Logic Approach for LTL System Modification. ISMIS 2005: 435-444
1		Yulin Ding, Yan Zhang: Algorithms for CTL System Modification. KES (2) 2005: 1000-1006

Coauthor Index

1	David Hemer	[9] [10]
2	Yan Zhang	[1] [2] [3] [4] [5] [6] [7] [8] [11]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page