小川瑞之
人员信息
优化列表
2020年–今天
2023 [第51条] Thanh Hung Pham公司 , 小川瑞之 :
基于图形相似性的原始入口点检测。 FPS(1) 2023 : 355-371 2022 [公元50年] 小川瑞之 , 亚历山大·奥霍廷 :
事件块输入驱动下推自动机的确定。 企业社会责任 2022 : 256-268 [公元49年] 阮氏安泰 , 小川瑞之 :
ARM二进制文件动态符号执行的自动存根生成。 SoICT系统 2022 : 352-359 2021 [i4] 小川瑞之 , 亚历山大·奥霍廷 :
事件块输入驱动下推自动机的确定。 CoRR公司 abs/2103.04079 ( 2021 )
2010 – 2019
2019 [c48] 小川瑞之 , 维克托·塞利瓦诺夫 :
关于与单调WQO相关的正则语言类。 直流滤波器 2019 : 235-247 [公元47年] Anh V.Vu公司 , 小川瑞之 :
从ARM的自然语言规范中提取形式语义。 FM公司 2019 : 465-483 [公元46年] Quang Thinh Trac公司 , 小川瑞之 :
MIPS指令手册中的形式语义提取。 FTSCS公司 2019 : 133-140 2018 [公元45年] Khanh Duy Tung Nguyen先生 , Tran Minh Tuan公司 , 孙海乐 , 越南Anh Phan , 小川瑞之 , 黎明元(Le Minh Nguyen) :
三种基于深度学习的物联网恶意软件检测方法的比较。 KSE公司 2018 : 382-388 [公元44年] 帕斯卡·方丹 , 小川瑞之 , 托马斯·斯特姆 , 致Van Khanh , 宣统武 :
包装计算机代数在非线性SMT中取得了令人惊讶的成功。 SC-方形@FLOC 2018 : 110 2017 [公元11年] 吴宣栋(Vu Xuan Tung) , 致Van Khanh , 小川瑞之 :
raSAT:多项式约束的SMT解算器。 形式方法系统。 设计。 51 ( 三 ) : 462-499 ( 2017 ) [公元43年] 帕斯卡·方丹 , 小川瑞之 , 托马斯·斯特姆 , 宣统武 :
亚热带可满足性。 FroCoS公司 2017 : 189-206 [公元42年] 辛莉(Xin Li) , 小川瑞之 :
用于实时跨过程程序分析的滑动窗口算法。 ICFEM公司 2017 : 281-297 [i3] 帕斯卡·方丹 , 小川瑞之 , 托马斯·斯特姆 , 宣统武 :
亚热带可满足性。 CoRR公司 abs/1706.09236 ( 2017 ) 2016 [公元41年] 吴宣栋(Vu Xuan Tung) , 致Van Khanh , 小川瑞之 :
raSAT:多项式约束的SMT解算器。 国际JCAR 2016 : 228-237 [公元40年] 苏华雷 , 蔡晓娟 , 小川瑞之 :
井结构下推系统的终止和有界性。 TASE公司 2016 : 22-29 2015 [公元39年] 酒井正彦 , Michio Oyamaguchi小山口 , 小川瑞之 :
非E重叠、弱浅层和非折叠TRS汇合。 CADE公司 2015 : 111-126 [公元38年] 刘嘉祥 , Jean-Pierre Jouannaud女士 , 小川瑞之 :
分层重写系统的融合。 CSL公司 2015 : 423-440 [公元37年] 李国强 , 小川瑞之 , 袁绍基(Shoji Yuen) :
带有冻结时钟的嵌套时间自动机。 格式 2015 : 189-205 [c36] 明海阮 , 小川瑞之 , Quan Thanh Tho先生 :
基于CFG恶意软件生成的混淆代码定位。 FPS(FPS) 2015 : 229-247 [i2] Jean-Pierre Jouannaud女士 , 刘嘉祥 , 小川瑞之 :
分层重写系统的融合。 CoRR公司 abs/1509.04699 ( 2015 ) [i1] 珍妮·伊夫·马里恩 , 森喜朗 , 小川瑞之 :
低级代码分析和计算机安全应用(NII Shonan会议2015-4)。 NII Shonan会面。 代表。 2015 ( 2015 ) 2014 [公元35年] 蔡晓娟 , 小川瑞之 :
井结构下推系统:密集定时下推自动机案例。 FLOPS(浮动) 2014 : 336-352 [公元34年] 致Van Khanh , 宣统武 , 小川瑞之 :
raSAT:多项式不等式的SMT。 表面贴装技术 2014 : 67 2013 [c33] 小川瑞之 , 致Van Khanh :
SAT和SMT:它们的算法设计和应用。 亚太经合组织(2) 2013 : 83-84 [公元32年] 明海阮 , 阮志平(Thien Binh Nguyen) , Thanh Tho Quan先生 , 小川瑞之 :
一种从二进制代码构造控制流图的混合方法。 后堂(2) 2013 : 159-164 [公元31年] 蔡晓娟 , 小川瑞之 :
井结构下推系统。 CONCUR公司 2013 : 121-136 [公元30年] 李国强 , 蔡晓娟 , 小川瑞之 , 袁绍基(Shoji Yuen) :
嵌套时间自动机。 格式 2013 : 168-182 [e1] 当文雄(Dang Van Hung) , 小川瑞之 :
验证和分析自动化技术第11届国际研讨会,2013年10月15日至18日,越南河内,ATVA 2013。 诉讼程序。 计算机科学课堂讲稿 8172, 施普林格 2013 ,国际标准图书编号 978-3-319-02443-1 [目录] 2012 [公元29年] 致Van Khanh , 小川瑞之 :
实数上多项式约束的SMT。 塔帕斯@SAS 2012 : 27-40 2011 [公元10年] Kobkrit Viriyayudhakorn公司 , 小川瑞之 :
Shogi游戏记录的关联搜索。 信息媒体技术。 6 ( 三 ) : 833-845 ( 2011 ) 2010 [公元9年] 酒井正彦 , 小川瑞之 :
弱非重叠非折叠浅项重写系统是合流的。 信息处理。 莱特。 110 ( 18-19 ) : 810-814 ( 2010 ) [公元28年] Do Thi Bich Ngoc公司 , 小川瑞之 :
使用反例引导的缩小检查舍入错误。 ASE公司 2010 : 301-304 [公元27年] Kobkrit Viriyayudhakorn公司 , 苏苏木·库尼富吉 , 小川瑞之 :
维基百科发散思维支持系统中四个关联引擎的比较。 KICSS公司 2010 : 226-237 [公元26年] 辛莉(Xin Li) , 小川瑞之 :
条件加权下推系统和应用。 政治公众人物 2010 : 141-150
2000 – 2009
2009 [公元25年] 辛莉(Xin Li) , 小川瑞之 :
基于堆栈的上下文敏感点到Java分析。 海法核查会议 2009 : 133-149 [公元24年] Do Thi Bich Ngoc公司 , 小川瑞之 :
通过模型检查进行溢出和舍入误差分析。 SEFM公司 2009 : 105-114 【c23】 阮文堂 , 小川瑞之 :
事件锁定明显推下自动机。 SOFSEM公司 2009 : 558-569 [公元22年] 辛莉(Xin Li) , 小川瑞之 :
提前但对上下文敏感的Java分析点。 BYTECODE@ETAPS 2009 : 31-46 2008 [j8] 阮文堂 , 小川瑞之 :
重温交替叠加技术:超确定性下推自动机的包含问题。 信息媒体技术。 三 ( 4 ) : 744-754 ( 2008 ) 【c21】 辛莉(Xin Li) , 达里尔·香农 , Indradeep Ghosh公司 , 小川瑞之 , Sreeranga P.Rajan公司 , 萨尔夫拉兹·库希德 :
有效符号执行的上下文相关分析。 阿普拉斯 2008 : 36-52 [公元20年] 李国强 , 小川瑞之 :
再次验证:递归验证协议是否存在缺陷。 ATVA公司 2008 : 374-385 2007 [j7] 李国强 , 小川瑞之 :
安全协议的实时模型检查及其Maude实现。 信息媒体技术。 2 ( 三 ) : 937-962 ( 2007 ) [第19条] 李国强 , 小川瑞之 :
公平不可否认性协议的动态模型检查。 ATVA公司 2007 : 511-522 2006 [j6] 辛莉(Xin Li) , 小川瑞之 :
网格计算的代理证书信任列表。 信息媒体技术。 1 ( 1 ) : 589-593 ( 2006 ) [c18] 阮文堂 , 当文雄(Dang Van Hung) , 小川瑞之 :
基于组件的实时系统中的紧急性建模。 亚洲的 2006 : 248-255 2005 [c17] 小川瑞之 , 大田英一 , 小野佐治 :
增量Merkle树的性质证明。 CADE公司 2005 : 424-440 [第16条] 伊索·萨萨诺 , 小川瑞之 , 镇江湖 :
累积权重函数的最大标记问题。 ICTAC公司 2005 : 562-578 2004 [j5] 小川瑞之 :
好拟序和正规欧米伽语言。 西奥。 计算。 科学。 324 ( 1 ) : 55-60 ( 2004 ) [第15条] 小川瑞之 :
图的代数构造的完全公理化。 FLOPS(浮动) 2004 : 163-179 [第14条] 辛莉(Xin Li) , 小川瑞之 :
基于代理证书信任列表的轻量级相互认证。 PDCAT公司 2004 : 628-632 2003 【j4】 小川瑞之 :
线性序域上不确定数据的一元查询的线性时间算法。 Inf.计算。 186 ( 2 ) : 236-259 ( 2003 ) [第13条] 小川瑞之 , 镇江湖 , 伊索·萨萨诺 :
无迭代程序分析。 ICFP公司 2003 : 111-123 [c12] 小川瑞之 :
成员条件项重写系统的按需调用减少。 WRS公司 2003 : 673-688 2002 [第11条] 小川瑞之 , 镇江湖 , 伊索·萨萨诺 , Masato Takeichi先生 :
树宽有界图的代数构造及其应用.程序分析的变形方法。 阿普拉斯 2002 : 58-73 2001 [j3] 祖拉布·哈西达什维利 , 小川瑞之 , 文森特·范·奥斯特罗姆 :
正交重写系统中的持久性和一致归一化。 Inf.计算。 164 ( 1 ) : 118-151 ( 2001 ) [注2] 肯·马诺 , 小川瑞之 :
相容项重写系统的唯一范式性质:Chew定理的新证明。 西奥。 计算。 科学。 258 ( 1-2 ) : 169-208 ( 2001 ) [第10条] 小川瑞之 :
无限抽象域上的抽象解释(暂定报告)。 阿普拉斯 2001 : 183-191 【c9】 祖拉布·哈西达什维利 , 小川瑞之 , 文森特·范·奥斯特罗姆 :
超越正交性的统一归一化。 区域贸易协定 2001 : 122-136 【c8】 小川瑞之 :
基于井拟序的线性时间查询处理算法的生成。 节气门执行器控制系统 2001 : 283-297 2000 【c7】 小川瑞之 :
关于图的树分解的代数结构的一个注记。 阿普拉斯 2000 : 223-229 【c6】 伊索·萨萨诺 , 镇江湖 , Masato Takeichi先生 , 小川瑞之 :
实用化:解决最大权重和问题的通用线性时间算法。 ICFP公司 2000 : 137-149
1990 – 1999
1999 【c5】 小川瑞之 :
基于抽象解释的自动验证。 富士国际函数和逻辑编程研讨会 1999 : 131-146 1997 【c4】 祖拉布·哈西达什维利 , 小川瑞之 :
永久性和统一规范化。 ALP/HOA公司 1997 : 240-255 1996 【c3】 肯·马诺 , 小川瑞之 :
高阶重写系统的唯一范式性质。 碱性磷酸酶 1996 : 269-283 1992 【c2】 小川瑞之 :
再论周定理——非线性项重写系统的唯一归一化性质。 ISAAC公司 1992 : 309-318 1990 [j1] 小川瑞之 , 小野佐治 :
基于全局数据流分析的功能程序异常检测。 系统。 计算。 日本。 21 ( 2 ) : 11-22 ( 1990 )
1980 – 1989
1988 【c1】 小川瑞之 , 小野佐治 :
基于抽象解释的严格相关分析的转换。 FGCS公司 1988 : 430-438