Вы здесь

Deng Y.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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