Author of the publication

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.

, , , and . Comput. J., 57 (1): 115-128 (2014)

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.

 

Other publications of authors with the same name

Double marginalization and coordination in the supply chain with uncertain supply., , and . Eur. J. Oper. Res., 226 (2): 228-236 (2013)Differentiation competition between new and remanufactured products considering third-party remanufacturing., , , , and . JORS, 71 (1): 161-180 (2020)Exploring structural symmetry automatically in symbolic trajectory evaluation., , , and . Formal Methods Syst. Des., 39 (2): 117-143 (2011)A novel virtual machine scheduling policy based on performance prediction model., and . Int. J. Netw. Virtual Organisations, 18 (4): 279-293 (2018)Optimal manpower Planning Decision with Single Employee Type Considering Minimal Employment Period Constraint., , , and . Asia Pac. J. Oper. Res., 27 (3): 411-436 (2010)Analytical Modeling of Misalignment in Axial Flux Permanent Magnet Machine., , , , and . IEEE Trans. Ind. Electron., 67 (6): 4433-4443 (2020)Measurement of Three-Dimensional Magnetic Properties With Feedback Control and Harmonic Compensation., , , , and . IEEE Trans. Ind. Electron., 64 (3): 2476-2485 (2017)Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns., , , and . IEEE Trans. Syst. Man Cybern. Syst., 44 (7): 938-952 (2014)Lattice Boltzmann model for dense suspended particles based on improved bounce-back method., , , , , and . Comput. Math. Appl., 80 (3): 552-567 (2020)Bisimulation for Higher-Order Pi-calculus., and . APLAS, page 216-229. (2002)