English  |  正體中文  |  简体中文  |  Post-Print筆數 : 11 |  Items with full text/Total items : 88987/118693 (75%)
Visitors : 23570771      Online Users : 304
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version

    Category

    Loading community tree, please wait....

    Year

    Loading year class tree, please wait....

    Items for Author "Bultan, Tevfik"  

    Return to Browse by Author

    Showing 42 items.

    Collection Date Title Authors Bitstream
    [2014創新研究國際學術研討會] 會議論文 2014-11-15 雲端體感協作平台的服務創新與實踐 林君翰; Lin, Chun-Han; 孫珮瑜; Su, Pei-Yu; 郁方; Yu, Fang
    [2019智慧企業資訊應用發展國際研討會] 會議論文 2019-06 基於狀態的可修改智能合約 劉皪; 林韋廷; 郁方; 蕭舜文
    [2019智慧企業資訊應用發展國際研討會] 會議論文 2019-06 智慧檢測IOS應用上不正當使用廣告套件行為 黃存宇; Huang, Cun Yu; 翁健豪; Weng, Chien-Hao; 郁方; Yu, Fang
    [2019智慧企業資訊應用發展國際研討會] 會議論文 2019-06 基於合作學習的神經網路進行圖片轉換 翁健豪; Weng, Chien-Hao; 黃存宇; 郁方; Yu, Fang
    [第 28 屆國際資訊管理學術研討會] 會議論文 2017-05-13 無所不在的手機爬蟲:手機裝置的共享經濟於 Facebook 內容的搜集應用 黃存宇; 田韻杰; 林韋廷; 林均泰; 沈汶暄; 郁方
    [財務管理學系] 會議論文 2018-07 Biparti Majority Learning with Tensors Lee, Chia-Lun; Hsiao, Shun-Wen; Yu, Fang; 郁方; Yu, Fang
    [資訊科學系] 會議論文 2012 Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR) Chao, Daniel Yuh; Yu, Fang; 趙玉; 郁方
    [資訊管理學系] 國科會研究計畫 2013 行動應用程式的靜態二元分析 郁方; 陳郁方
    [資訊管理學系] 國科會研究計畫 2012 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發 郁方
    [資訊管理學系] 國科會研究計畫 2011 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(II) 郁方
    [資訊管理學系] 國科會研究計畫 2010 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(I) 郁方
    [資訊管理學系] 學位論文 2016 基於時間序列下的動態需求之資源模擬 - 使用等候模型 褚宣凱; Chu, Hsuan Kai
    [資訊管理學系] 專書/專書篇章 2017-12 String Analysis for Software Verification and Security Bultan, Tevfik; 郁方; Yu, Fang; Alkhalaf, Muath
    [資訊管理學系] 專書/專書篇章 2016-02 Investigating security mechanisms for ICT-enabled services of the National Palace Museum 郁方; Yu, Fang
    [資訊管理學系] 會議論文 2018-12 Malware Family Characterization with Recurrent Neural Network and GHSOM using System Calls 郁方; Yu, Fang; Liu, Chi-Feng; Hsiao, Shun-Wen
    [資訊管理學系] 會議論文 2018-07 A Symbolic Model Checking Approach to the Analysis of String and Length Constraints 郁方; Yu, Fang; Wang, Hung-En; Chen, Shih-Yu; Yu, Fang; Jiang, Jie-Hong R.
    [資訊管理學系] 會議論文 2017-01 Gnafuy: A framework for ubiquitous mobile computation Chen, Jinjie; Yu, Fang; 郁方
    [資訊管理學系] 會議論文 2016-08 AppReco: Behavior-aware recommendation for iOS mobile applications 方子睿; 黃書韋; 郁方; Fang, Zih Ruei; Huang, Shu Wei; Yu, Fang
    [資訊管理學系] 會議論文 2016-07 Optimal Sanitization Synthesis for Web Application Vulnerability Repair 郁方; Yu, Fang; Shueh, Ching-Yuan; Lin, Chun-Han; Chen, Yu-Fang; Wang, Bow-Yaw; Bultan, Tevfik
    [資訊管理學系] 會議論文 2016-05 Simulating Time-Varying Demand Services with Queuing Models 郁方; Chu, Hsuan-Kai; Cheny, Wan-Ping; Yu, Fang
    [資訊管理學系] 會議論文 2016-02 VISO: Characterizing malicious behaviors of virtual machines with unsupervised clustering 曾宇瑞; 郁方; Li, Yen Han; Tzeng, Yeu Ruey; Yu, Fang
    [資訊管理學系] 會議論文 2016 String analysis via automata manipulation with logic circuit representation 郁方; Wang, Hung En; Tsai, Tzung Lin; Lin, Chun Han; Yu, Fang; Jiang, Jie-Hong Roland
    [資訊管理學系] 會議論文 2015-05 Space Connection: A New 3D Tele-Immersion Platform for Web-based Gesture-collaborative Games and Services 郁方; Lin, Chun-Han; Sun, Pei-Yu; Yu, Fang
    [資訊管理學系] 會議論文 2015 Network-traffic anomaly detection with incremental majority learning 郁方; Huang, Shin-Ying; Yu, Fang; Tsaih, Rua-Huan; Huang, Yennun; 蔡瑞煌
    [資訊管理學系] 會議論文 2014-09 Resistant learning on the envelope bulk for identifying anomalous patterns Huang, S.-Y.; Yu, Fang; Tsaih, Ray; Huang, Y.; 郁方; 蔡瑞煌
    [資訊管理學系] 會議論文 2014-02 Securing KVM-based cloud systems via virtualization introspection Lee, Sheng Wei; Yu, Fang; 郁方
    [資訊管理學系] 會議論文 2014-02 Patcher: An online service for detecting, viewing and patching web application vulnerabilities Yu, Fang; Tung, Yi Yang; 郁方; 董亦揚
    [資訊管理學系] 會議論文 2013 A control policy for γ-nets without reachability analysis and siphon enumeration Wu, W.; Chao, D.Y.; Yu, Fang; 郁方
    [資訊管理學系] 會議論文 2013 Quantitative analysis of cloud-based streaming services Yu, Fang; Wan, Y.-W.; Tsaih, Rua-Huan; 蔡瑞煌; 郁方
    [資訊管理學系] 會議論文 2013 Clustering iOS executable using self-organizing maps Yu, F.; Huang, S.-Y.; Chiou, L.-C.; Tsaih, R.-H.; 蔡瑞煌; 郁方
    [資訊管理學系] 會議論文 2011-05 Patching vulnerabilities with sanitization synthesis Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; 郁方
    [資訊管理學系] 會議論文 2011 A temporal logic for the interaction of strategies Wang, F.; Huang, C.-H.; Yu, Fang; 郁方
    [資訊管理學系] 會議論文 2011 String abstractions for string verification Yu, Fang; Bultan, T.; Hardekopf, B.; 郁方
    [資訊管理學系] 期刊論文 2018-07 Quantitative quality estimation of cloud-based streaming services 郁方; Yu, Fang; Wan, Yat-wah; 蔡瑞煌; Tsaih, Rua-huan
    [資訊管理學系] 期刊論文 2014-07 Topological pattern discovery and feature extraction for fraudulent financial reporting Huang, Shin-Ying; Tsaih, Rua-Huan; Yu, Fang; 黃馨瑩; 蔡瑞煌; 郁方
    [資訊管理學系] 期刊論文 2013-06 Automata-Based Symbolic String Analysis for Vulnerability Detection 郁方; Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.
    [資訊管理學系] 期刊論文 2013-04 A novel liveness condition for S3PGR2 Chao, Daniel Y.; Chen, Jiun-Ting; Yu, Fang; 趙玉
    [資訊管理學系] 期刊論文 2013-08 Control policy for a subclass of Petri nets without reachability analysis 趙玉; Liu, GaiYun; Chao, Daniel Yuh; Yu, Fang
    [資訊管理學系] 期刊論文 2012-05 Symbolic Consistency Checking of OpenMP Parallel Programs 郁方; Yu,Fang; Yang,Shun-Ching; Wang,Farn; Chen,Guan-Cheng; Chan,Che-Chang
    [資訊管理學系] 期刊論文 2011-05 Relational String Verification Using Multi-track Automata 郁方; Tevfik Bultan; Oscar H. Ibarra
    [資訊管理學系] 期刊論文 2008-03 On Spiking Neural P Systems and Partially Blind Counter Machines Oscar H. Ibarra; Sara Woodworth; 郁方; Andri Paun
    [資訊管理學系] 研究報告 2010 An SRM Information Retrieval Subsystem Based on Text Mining and Cloud Computing Techniques 管郁君; 郁方; 劉文卿

    著作權政策宣告
    1.本網站之數位內容為國立政治大學所收錄之機構典藏,無償提供學術研究與公眾教育等公益性使用,惟仍請適度,合理使用本網站之內容,以尊重著作權人之權益。商業上之利用,則請先取得著作權人之授權。
    2.本網站之製作,已盡力防止侵害著作權人之權益,如仍發現本網站之數位內容有侵害著作權人權益情事者,請權利人通知本網站維護人員(nccur@nccu.edu.tw),維護人員將立即採取移除該數位著作等補救措施。
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback