PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Yongjian, Li"

Author of the publication

copydeleteadd this publication to your clipboard
The Confirmatory Research on Representative Method of Knowledge Work Process.

, , , and . ITNG, page 285-290. IEEE Computer Society, (2008)

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.

M.Sc. Yunxuan Li University of Stuttgart

Yu Li University of Stuttgart

Zheng Li University of Stuttgart

Jie Li University of Stuttgart

Li Zhong University of Stuttgart

 

Other publications of authors with the same name

Enhanced symbolic simulation of a round-robin arbiter., , , and . ICCD, page 102-107. IEEE Computer Society, (2011)An inductive approach to strand spaces., and . Formal Asp. Comput., 25 (4): 465-501 (2013)A novel virtual machine scheduling policy based on performance prediction model., and . IJNVO, 18 (4): 279-293 (2018)Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.. SAC, page 1534-1535. ACM, (2007)Bisimulation for Higher-Order Pi-calculus., and . APLAS, page 216-229. (2002)Optimal manpower Planning Decision with Single Employee Type Considering Minimal Employment Period Constraint., , , and . APJOR, 27 (3): 411-436 (2010)Exploring structural symmetry automatically in symbolic trajectory evaluation., , , and . Formal Methods in System Design, 39 (2): 117-143 (2011)Design of a CIL Connector to Spin., and . International Journal of Software Engineering and Knowledge Engineering, 18 (1): 65-91 (2008)Double marginalization and coordination in the supply chain with uncertain supply., , and . European Journal of Operational Research, 226 (2): 228-236 (2013)Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns., , , and . IEEE Trans. Systems, Man, and Cybernetics: Systems, 44 (7): 938-952 (2014)