СТ |
Refinement of actions for real-time concurrent systems with casual ambiguity |
2006 |
Majster-Cederbaum M., Wu J., Yue H. |
|
|
|
Acta Informatica |
29.04.2006 |
СТ |
Branching Time Equivalences for Interactive Markov Chains |
2004 |
Qin G., Wu J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.12.2004 |
СТ |
Testing Multi Input/Output Transition System with All-Observer |
2004 |
Li Z., Wu J., Yin X. |
|
|
|
Lecture Notes in Computer Science |
01.04.2004 |
СТ |
Towards Action Refinement for True Concurrent Real Time |
2003 |
Majster-Cederbaum M., Wu J. |
|
|
|
Acta Informatica |
19.09.2003 |
СТ |
Towards Modeling and Testing of IP Routing Protocols |
2003 |
Wu J., Li Z., Yin X. |
|
|
|
Lecture Notes in Computer Science |
07.06.2003 |
СТ |
A Framework for Decentralized Ranking in Web Information Retrieval |
2003 |
Aberer K., Wu J. |
|
|
|
Lecture Notes in Computer Science |
07.05.2003 |
СТ |
A Web-based Object-Oriented Design Tool |
1997 |
Wang J. A., Wu J., Lin W., Kuok W., Iu A. |
|
|
|
Proc. of the Twenty-fourth Intern. Conf. TOOLS ASIA |
13.11.1997 |
СТ |
Resolving Semantic Heterogeneity Through the Explicit Representation of Data Model Semantics |
1991 |
Urban S., Wu J. |
|
|
|
SIGMOD Record |
10.01.1992 |