2011 |
Michael Lewis*;Huadong Wang;简士镒;Prasanna Velagapudi;Paul Scerri;Katia Sycara, 2011.06, 'Process and performance in human-robot teams, Journal of Cognitive Engineering and Decision Making, ' Journal of Cognitive Engineering and Decision Making, pp.186-208.(*为通讯作者), vol. 419936, Jun. 2011 |
2011 |
陈恭*;翁书钧;林佳莹;Meng Wang;Siau Cheng Khoo, 2011.06, 'Side-Effect Localization for Lazy, Purely Functional Languages via Aspects, ' Higher-Order Logic and Symbolic Computation, Vol.24, No.2011, pp.151-189.(EI)(*为通讯作者), vol. 357431, Jun. 2011 |
2011 |
陈杰锋;陈恭;徐建业;李有专*, 2011.06, 'Developing guideline-based decision support systems using protege and jess, ' Computer Methods and Programs in Biomedicine, Vol.102, No.3, pp.288-294.(SCI)(*为通讯作者), vol. 343779, Jun. 2011 |
2011 |
左瑞麟*, 2011.05, 'Convertible ring signatures with gradual revelation of non-signers, ' Security and Communication Networks, Vol.5, No.3, pp.279-286.(SCIE, DBLP)(*为通讯作者), vol. 346280, May. 2011 |
2011 |
Deng, Guang-Feng*;Woo-Tsong Lin, 2011.05, 'Ant Colony Optimization-Based Algorithm for Airline Crew Scheduling Problem, ' Expert Systems with Applications, Vol.38, No.5, pp.5787-5793.(SCIE)(*为通讯作者), vol. 335103, May. 2011 |
2011 |
Wei-Feng Tung*;Soe-Tsyr Yuan, 2011.05, 'Constructing Collaborative Service Systems: A Mutualism-Based NSD Method, ' IEEE Transactions on Systems, Man and Cybernetics. Part C – Applications and Reviews, Vol.41, No.3, pp.316-332.(SCI)(*为通讯作者), vol. 335958, May. 2011 |
2011 |
尚孝纯*;李有仁;吴雅玲;侯志霖, 2011.05, 'Understanding Web 2.0 service models: A knowledge-creating perspective, ' Information and Management,.(SSCI)(*为通讯作者), vol. 336508, May. 2011 |
2011 |
赵玉*;Jiun-Ting Chen1,;Mike Y.J. Lee1,;Kuo-Chiang Wu2, 2011.05, 'Controllability of Strongly and Weakly Dependent Siphons under Disturbanceless Control, ' Intelligent Control and Automation,.(*为通讯作者)(本论着未刊登但已被接受), vol. 346636, May. 2011 |
2011 |
Daniel Y. Chao, 2011.05, 'Formal Theory of State Loss of Siphon-based Deadlock Prevention, ' IET Control Theory & Applications, Vol.5, No.8, pp.1013-1021.(SCI), vol. 331207, May. 2011 |
2011 |
Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2011.05, 'Relational String Verification Using Multi-track Automata (Full Version), ' International Journal of Foundations of Computer Science,.(SCIE, ACM, DBLP, IEEE, CITESEEN, SCI)(*为通讯作者), vol. 347564, May. 2011 |