Songzheng Song

Songzheng Song

National University of Singapore - Queenstown / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 403724
Universiti Nasional Singapura
person_outline Songzheng Song's MOST POPULAR ARTICLES
1-) Model checking hierarchical probabilistic systemsJ Sun, S Song, Y LiuInternational Conference on Formal Engineering Methods, 388-403, 2010452010
2-) An efficient and robust negotiating strategy in bilateral negotiations over multiple itemsJ Hao, S Song, H Leung, Z MingEngineering Applications of Artificial Intelligence 34, 45-57, 2014272014
3-) An Effective Heuristic‐Based Approach for PartitioningX Zhao, H Zhang, Y Jiang, S Song, X Jiao, M GuJournal of Applied Mathematics 2013 (1), 138037, 2013262013
4-) Prts: An approach for model checking probabilistic real-time hierarchical systemsJ Sun, Y Liu, S Song, JS Dong, X LiFormal Methods and Software Engineering: 13th International Conference on …, 2011232011
5-) More anti-chain based refinement checkingT Wang, S Song, J Sun, Y Liu, JS Dong, X Wang, S LiFormal Methods and Software Engineering: 14th International Conference on …, 2012212012