|
СТ |
Axiomatizations for Probabilistic Finite-State Behaviors |
2005 |
Deng Y., Palamidessi C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2005 |
|
СТ |
Towards an Algebraic Theory of Typed Mobile Processes |
2004 |
Deng Y., Sangiorgi D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.10.2004 |
|
СТ |
Formal Analysis of Real-Time Systems with SAM |
2002 |
Yu H., He X., Deng Y., Mo L. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
A Framework for Developing and Analyzing Software Architecture Specifications in SAM |
2002 |
He X., Deng Y. |
|
|
|
The Computer J. |
20.02.2002 |
|
П |
Automating the Refinement of Specifications for Distributed Systems via Syntactic Transformations |
1995 |
Attie P., Das C., Deng Y., Evangelist M. |
|
|
|
|
03.11.1995 |
|
СТ |
An Instant and Accurate Size Estimation Method for Joins and Selection in a Retrieval-Intensive Environment |
1993 |
Sun W., Ling Y., Rishe N., Deng Y. |
|
|
|
SIGMOD Record |
10.09.1993 |
|
СТ |
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems |
1993 |
Deng Y., Chang S. K., De Figueired J.C. A., Perkusich A. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
|
СТ |
Multi-Level Specification and Protocol Design for Distributed Multimedia Communication |
1991 |
Znati T., Deng Y., Field B., Chang S. |
|
|
|
SIGOIS Bull. |
21.02.1992 |
