PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zhang, Zhihai"

Author of the publication

copydeleteadd this publication to your clipboard
A Decision Support System for the Allocation of Yard Cranes and Blocks in Container Terminals.

, , , and . APJOR, 28 (6): 803-829 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shuai Zhang University of Stuttgart

Guanhua Zhang University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jixing Zhang University of Stuttgart

Dr. Xi Zhang University of Stuttgart

 

Other publications of authors with the same name

Real solution isolation with multiplicity of zero-dimensional triangular systems., , and . SCIENCE CHINA Information Sciences, 54 (1): 60-69 (2011)On invariant checking., and . J. Systems Science & Complexity, 26 (3): 470-482 (2013)A Decision Support System for the Allocation of Yard Cranes and Blocks in Container Terminals., , , and . APJOR, 28 (6): 803-829 (2011)The allocation of berths and quay cranes by using a sub-gradient optimization technique., , , , and . Computers & Industrial Engineering, 58 (1): 40-50 (2010)Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems, , and . CoRR, (2010)Electromechanical Characteristic Analysis of Passive Matrix Addressing for Grating Light Modulator., , , and . Sensors, 9 (3): 2162-2175 (2009)Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants., , , , , and . Automated Reasoning and Mathematics, volume 7788 of Lecture Notes in Computer Science, page 189-228. Springer, (2013)Termination of Linear Programs with Nonlinear Constraints, and . CoRR, (2009)Termination of linear programs with nonlinear constraints., and . J. Symb. Comput., 45 (11): 1234-1249 (2010)Symbolic decision procedure for termination of linear programs., , , and . Formal Asp. Comput., 23 (2): 171-190 (2011)