Вы здесь

Главная

Dong Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Semantic, Hierarchical, Online Clustering of Web Search Results 2004 Zhang D., Dong Y. Lecture Notes in Computer Science 15.05.2004
СТ Evidence Explorer: A Tool for Exploring Model-Checking Proofs 2003 Dong Y., Ramakrishnan C. R., Smolka S. A. Lecture Notes in Computer Science 19.09.2003
СТ Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools 1999 Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S. Lecture Notes in Computer Science 08.04.1999
СТ Logic Programming and Model Checking 1998 Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S. Lecture Notes in Computer Science 13.10.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Machine Learning and Knowledge Discovery in Databases: Part V: Applied Data Science Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021 2021 Lecture Notes in Artificial Intelligence
  1. Dong Y.
  2. Kourtellis N.
  3. Hammer B.
  4. Lozano J. A.
 21.12.2021
СБ Machine Learning and Knowledge Discovery in Databases: Part IV: Applied Data Science Track: Proc./European Conference, ECML PKDD 2021, Bilbao, Spain, September 2021 2021 Lecture Notes in Artificial Intelligence
  1. Dong Y.
  2. Kourtellis N.
  3. Hammer B.
  4. Lozano J. A.
 21.12.2021
СБ Algorithms and Computation: Proc./20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 2009 2009 Lecture Notes in Computer Science
  1. Dong Y.
  2. Du D. -Z.
  3. Ibarra O.
 27.03.2010