English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  全文笔数/总笔数 : 116039/147077 (79%)
造访人次 : 58276424      在线人数 : 83
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻

    类别浏览

    正在载入社群分类, 请稍候....

    年代浏览

    正在载入年代分类, 请稍候....

    "Hong, Chih-Duo"的相关文件  

    回到依作者浏览

    显示 10 项.

    类别 日期 题名 作者 档案
    [資訊管理學系] 會議論文 2024-07 Concolic Testing on Individual Fairness of Neural Network Models 洪智鐸; 郁方; Hong, Chih-Duo; Huang, Ming-I; Yu, Fang
    [資訊管理學系] 期刊論文 2025-03 Concolic Testing on Individual Fairness of Neural Network Models 洪智鐸; 郁方; Hong, Chih-Duo; Huang, Ming-I; Yu, Fang
    [資訊管理學系] 期刊論文 2019-06 CSS Minification via Constraint Solving 洪智鐸; Hong, Chih-Duo; Hague, Matthew; Lin, Anthony W.
    [資訊管理學系] 會議論文 2017-10 Learning to prove safety over parameterised concurrent systems 洪智鐸; Hong, Chih-Duo; Chen, Yu-Fang; Lin, Anthony W.; Rümmer, Philipp
    [資訊管理學系] 會議論文 2019-07 Monadic Decomposability of Regular Relations 洪智鐸; Hong, Chih-Duo; Barcelo, Pablo; Le, Xuan-Bach; Lin, Anthony W., Niskanen, Reino
    [資訊管理學系] 會議論文 2020-11 Parameterized Synthesis with Safety Properties 洪智鐸; Hong, Chih-Duo; Markgraf, Oliver; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel
    [資訊管理學系] 期刊論文 2025-05 Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification 洪智鐸; Hong, Chih-Duo; Lin, Anthony W.; Rümmer, Philipp; Majumdar, Rupak
    [資訊管理學系] 會議論文 2019-07 Probabilistic Bisimulation for Parameterized Systems 洪智鐸; Hong, Chih-Duo; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp
    [資訊管理學系] 期刊論文 2024-01 Regular Abstractions for Array Systems 洪智鐸; Hong, Chih-Duo; Lin, Anthony Widjaja
    [資訊管理學系] 會議論文 2024-01 Regular Abstractions for Array Systems 洪智鐸; Hong, Chih-Duo; Lin, Anthony Widjaja

    著作權政策宣告 Copyright Announcement
    1.本網站之數位內容為國立政治大學所收錄之機構典藏,無償提供學術研究與公眾教育等公益性使用,惟仍請適度,合理使用本網站之內容,以尊重著作權人之權益。商業上之利用,則請先取得著作權人之授權。
    The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

    2.本網站之製作,已盡力防止侵害著作權人之權益,如仍發現本網站之數位內容有侵害著作權人權益情事者,請權利人通知本網站維護人員(nccur@nccu.edu.tw),維護人員將立即採取移除該數位著作等補救措施。
    NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈