Conference Paper
Year Paper Title
2010 Tevfik Bultan;Fang Yu;Aysu Betin Can, 2010.08, 'Modular Verification of Synchronization with Reentrant Locks, ' the IEEE/ACM 8th International Conference on Formal Methods and Models for Codesign.(ACM, IEEE), Aug. 2010
2010 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2010.08, 'Relational String Verification Using Multi-track Automata, ' 15th International Conference on Implementation and Application of Automata.(DBLP, LNCS)(*為通訊作者), Aug. 2010
2010 姜國輝*;趙凱康;侯凱仁, 2010.08, '影響國際快遞物流服務客戶喜好因素的權重關係之研究, ' Information Services Management in Ubiquitous Commerce, 香港城市大學.(*為通訊作者), Aug. 2010
2010 尚孝純*, 2010.08, 'Strategies for Leveraging IT-enabled Service Innovation in Intensively Competitive Market, '.(*為通訊作者), Aug. 2010
2010 Huang, Eugenia;Tang, Chinhan;Lin, Mlnchun, 2010.07, 'The Intention of Selecting Agile System Development Methodology among New Generation of Software Developer, ' Proceedings of 20th International Conference on Pacific Rim Management, ACME., Jul. 2010
2010 Chang, Chiung-Yun*;Woo-Tsong Lin, 2010.07, 'A Model of Trust Function to Study Will of Information Sharing between Partners, ' Proceedings of the Joint Conference of the 4th International Conference on Operations and Supply Chain Management and the 15th Asia Pacific Decision Sciences Institute.(*為通訊作者), Jul. 2010
2010 洪為璽*, 2010.07, 'A Methodology for Evaluating Whether Web Sites Support Their Organizational Critical Activities, '.(*為通訊作者), Jul. 2010
2010 Yin, Chi-Yen;楊建民, 2010.06, 'A scientific assessment of home networking research trends, ' Information Sciences and Interaction Sciences (ICIS), 2010 3rd International Conference on, Information Sciences and Interaction Sciences (ICIS),.(IEEE), Jun. 2010
2010 黃釗熠*;林我聰, 2010.06, '從工作分離及需求變動觀點考量不同開發方法之軟體境外開發績效表現, ' 2010資訊技術應用與管理研討會論文集.(*為通訊作者), Jun. 2010
2010 林我聰;林崑裕*, 2010.06, '考量供應鏈整體上下游廠商之供應商評選模式, ' 2010國際商管學術研討會論文集.(*為通訊作者), Jun. 2010