|
СТ |
A Conceptual Framework for Spatiotemporal Data Modeling |
2003 |
Wang K., Fierbinteanu C., Maekawa M. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Profit Mining: From Patterns to Actions |
2002 |
Wang K., Zhou S., Han J. |
|
|
|
Lecture Notes in Computer Science |
17.04.2002 |
|
СТ |
Weakly Independent Database Schemes |
1997 |
Wang K., Zhang W., Chau S. -C. |
|
|
|
Acta Informatica |
05.02.1997 |
|
СТ |
Some Positive Results for Boundedness of Multiple Recursive Rules |
1995 |
Wang K. |
|
|
|
Lecture Notes in Computer Science |
21.02.1995 |
|
СТ |
Higher-Order E-Unification for Arbitrary Theories |
1992 |
Qian Z., Wang K. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
Modular AC Unification of Higher-Order Patterns |
1994 |
Qian Z., Wang K. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
Preservation of Integrity Constraints in Definite DATALOG Programs |
1992 |
Wang K., Yuan L. Y. |
|
|
|
Information Processing Letters |
04.02.1993 |
|
СТ |
Constant-Time Maintainability: A Generalization of Independence |
1992 |
Wang K., Graham M. H. |
|
- Wiederhold G.
|
|
ACM Trans. Database Systems |
26.08.1992 |
|
СТ |
On Characterizing Boundedness of Database Schemes with Bounded Dependecies |
1992 |
Wang K. |
|
|
|
Theoretical Computer Science |
30.07.1992 |
