Вы здесь

Zhu H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Neural Network Model for Quadratic Programming with Simple Upper and Lower Bounds and Its Application to Linear Programming 1994 Zhang X., Zhu H. Lecture Notes in Computer Science 24.08.1994
СТ Injecting Faults into Environment Simulators for Testing Safety Critical Software 1994 Zhu H., Hall P.A. V., May J.H. R. Lecture Notes in Computer Science 21.10.1994
СТ Identifying Critical Loads in Real Programs for Decoupled VSM Systems 1997 Zhu H., Watson I. Lecture Notes in Computer Science 24.10.1997
СТ On the Security of Three-Party Criptographic Protocols 1998 Xu S., Zhang G., Zhu H. Operating Systems Review 24.08.1998
СТ A Theory of Testing High-Level Petri Nets 2000 Zhu H., He X. 16th World Computer Congress 2000 06.03.2001
СТ On Multi-way Spatial Joins with Direction Predicates 2001 Zhu H., Su J., Ibarra O. H. Lecture Notes in Computer Science 16.08.2001
СТ Formal Specification of Evolutionary Software Agents 2002 Zhu H. Lecture Notes in Computer Science 20.11.2002
СТ Caste: A Step beyond Object Orientation 2003 Zhu H., Lighfoot D. Lecture Notes in Computer Science 15.11.2003

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theory and Applications of Models of Computation: Proc./4th International Conference, TAMC 2007. Shanghai, China, May 2007 2007 Lecture Notes in Computer Science
  1. Cai J. -Y.
  2. Cooper S. B.
  3. Zhu H.
23.06.2007
СБ Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010 2010 Lecture Notes in Computer Science
  1. Dong J. S.
  2. Zhu H.
15.02.2011
СБ Service-Oriented Computing - ICSOC 2012 Workshops: Revised Selected Papers/ICSOC 2012 International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 2012 2013 Lecture Notes in Computer Science
  1. Chose A.
  2. Zhu H.
  3. Yu Q.
  4. Delis A.
08.08.2013
СБ Theoretical Aspects of Computing - ICTAC 2013: Proc./10th International Colloquium, Shanghai, China, September 2013 2013 Lecture Notes in Computer Science
  1. Liu Z.
  2. Woodcock J.
  3. Zhu H.
26.08.2013
СБ Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013 2013 Lecture Notes in Computer Science
  1. Liu Z.
  2. Woodcock J.
  3. Zhu H.
26.08.2013
СБ Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 Lecture Notes in Computer Science
  1. Liu Z.
  2. Woodcock J.
  3. Zhu H.
07.10.2013
СБ Wireless Algorithms, Systems, and Applications: Proc./10th International Conference, WASA 2015, Qufu, China, August 2015 2015 Lecture Notes in Computer Science
  1. Xu K.
  2. Zhu H.
29.09.2015