|
СТ |
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets |
1999 |
Cheung T. -Y., Lu Y. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Harp: A Distributed Query System for Legacy Public Libraries and Structured Databases |
1999 |
Lim E. -P., Lu Y. |
|
|
|
ACM Trans. on Information Systems |
02.11.1999 |
|
СТ |
XML Query Languages in Practice: An Evaluation |
2000 |
Ives Z. G., Lu Y. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
Progress on the State Explosion Problem in Model Checking |
2001 |
Clarke E., Grumberg O., Jha S., Lu Y., Veith H. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
Cancer classification using gene expression data |
2003 |
Lu Y., Han J. |
|
|
|
Information Systems |
24.08.2004 |
|
СТ |
A Type System for Reachability and Acyclicity |
2005 |
Lu Y., Potter J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.09.2005 |
