编辑配置文件(在新选项卡中打开) Anthony Widjaja林 合著者距离 作者ID: 林·安托尼·维贾亚 发布日期: Anthony W·林。;Anthony Widjaja林 已编制索引的文档: 27出版物自2011年以来 2作为编辑的贡献 合著者: 26位合著者具有26联合出版物 609合著作者 全部的 前5名合著者 三 单作者的 7 菲利普·吕默 4 巴勃罗·巴塞洛 4 马修·黑格 4 鲁帕克·马朱姆达尔 三 斯特凡·格勒 三 Chih-Duo洪 三 Le,Xuan-Bach D。 2 盖尔·方丹 2 阿奎那·霍伯 2 奥利弗·马克格拉夫 2 吴志林 2 周三明 1 雷米发动机盖 1 陈、陶璐 1 何金龙 1 胡登庚 1 斯特凡·基弗 1 Ondřej Lengál 1 穆罕默德·纳吉布 1 丹尼尔·奈德 1 阮楚钦 1 雷诺尼斯卡宁 1 伊戈尔·波塔波夫 1 丹尼尔·斯坦 1 孙骏 1 乔治·泽采 系列 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 信息学报 1 理论计算机科学 1 ACM计算逻辑汇刊 全部的 前5名领域 29 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 群论与推广(20-XX) 1 数论(11-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用63中的次40文件 引用人▼ 年份▼ 用词方程和变换器求解字符串:走向分析突变XSS的逻辑。 Zbl 1347.03060号 Anthony W·林。;巴勃罗·巴塞洛 13 2016 参数化概率并发系统的公平终止。 Zbl 1452.68127号 Ondřej Lengál;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默 6 2017 随机参数化系统在任意调度器下的生存性。 Zbl 1411.68075号 Anthony W·林。;菲利普·吕默 6 2016 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 Zbl 1517.68320号 Anthony W·林。;鲁帕克·马朱姆达尔 5 2018 概率基本并行过程分析。 Zbl 1405.68208号 雷米发动机盖;斯特凡·基弗;Anthony Widjaja林 5 2014 弱同步地树重写(使用应用程序验证多线程程序)。 Zbl 1365.68299号 Anthony Widjaja林 三 2012 具有递归并行性的集成操作程序的可确定模型。 Zbl 1403.68125号 马修·黑格;Anthony Widjaja林 三 2016 具有整数数据类型的字符串操作程序的路径可行性决策过程。 Zbl 1517.68074号 陈、陶璐;马修·黑格;何金龙;胡登庚;Anthony Widjaja林;菲利普·吕默;吴志林 三 2020 参数化系统的概率互模拟(用于验证匿名协议)。 Zbl 1533.68160号 Chih-Duo洪;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默 2 2019 通过基础树重写系统细化过程重写系统层次结构。 Zbl 1344.68164号 斯特凡·格勒;Anthony Widjaja林 2 2011 规则对称图案。 兹比尔1475.68190 Anthony W·林。;阮楚钦;菲利普·吕默;孙骏 2 2016 加速树自动关系。 Zbl 1354.68176号 Anthony Widjaja林 2 2012 带数据的图形上的表达式路径查询。 Zbl 1448.68228号 巴勃罗·巴切罗;方丹,盖尔;Anthony Widjaja林 2 2015 整数线性算术中的一元分解。 Zbl 07614510号 马修·黑格;Anthony W·林。;菲利普·吕默;吴志林 2 2020 正则关系的一元分解性。 Zbl 07561596号 巴勃罗·巴塞洛;Chih-Duo洪;Le,Xuan-Bach(宣巴赫·勒);Anthony W·林。;雷诺·尼斯卡宁 2 2019 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 Zbl 1517.68319号 Anthony W·林。;鲁帕克·马朱姆达尔 2 2021 并行使简单的理论变得困难。 Zbl 1245.68136号 斯特凡·格勒;Anthony Widjaja林 1 2012 具有安全性能的参数化合成。 Zbl 1476.68154号 奥利弗·马克格拉夫;Chih-Duo洪;Anthony W·林。;穆罕默德·纳吉布;丹尼尔·奈德 1 2020 重新检查定期模型。 Zbl 1522.68332号 Anthony W·林。;菲利普·吕默 1 2022 重新检查定期模型。 Zbl 1522.68332号 Anthony W·林。;菲利普·吕默 1 2022 具有长度约束的二次字方程、计数系统和具有可分割性的Presburger算法。 Zbl 1517.68319号 Anthony W·林。;鲁帕克·马朱姆达尔 2 2021 具有整数数据类型的字符串操作程序的路径可行性决策过程。 Zbl 1517.68074号 陈、陶璐;马修·黑格;何金龙;胡登庚;Anthony Widjaja林;菲利普·吕默;吴志林 三 2020 整数线性算术中的一元分解。 Zbl 07614510号 马修·黑格;Anthony W·林。;菲利普·吕默;吴志林 2 2020 具有安全性能的参数化合成。 Zbl 1476.68154号 奥利弗·马克格拉夫;Chih-Duo洪;Anthony W·林。;穆罕默德·纳吉布;丹尼尔·奈德 1 2020 参数化系统的概率互模拟(用于验证匿名协议)。 Zbl 1533.68160号 Chih-Duo洪;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默 2 2019 正则关系的一元分解性。 Zbl 07561596号 巴勃罗·巴塞洛;Chih-Duo洪;Le,Xuan-Bach(宣巴赫·勒);Anthony W·林。;雷诺·尼斯卡宁 2 2019 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 Zbl 1517.68320号 Anthony W·林。;鲁帕克·马朱姆达尔 5 2018 参数化概率并发系统的公平终止。 兹比尔1452.68127 Ondřej Lengál;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默 6 2017 用词方程和变换器求解字符串:走向分析突变XSS的逻辑。 兹比尔1347.03060 Anthony W·林。;巴勃罗·巴塞洛 13 2016 随机参数化系统在任意调度器下的生存性。 Zbl 1411.68075号 Anthony W·林。;菲利普·吕默 6 2016 具有递归并行性的集成操作程序的可确定模型。 Zbl 1403.68125号 马修·黑格;Anthony Widjaja林 三 2016 规则对称图案。 兹比尔1475.68190 Anthony W·林。;阮楚钦;菲利普·吕默;孙骏 2 2016 带数据的图形上的表达式路径查询。 Zbl 1448.68228号 巴勃罗·巴切罗;盖尔·方丹;Anthony Widjaja林 2 2015 概率基本并行过程分析。 Zbl 1405.68208号 雷米发动机盖;斯特凡·基弗;Anthony Widjaja林 5 2014 弱同步地树重写(使用应用程序验证多线程程序)。 Zbl 1365.68299号 Anthony Widjaja林 三 2012 加速树自动关系。 Zbl 1354.68176号 Anthony Widjaja林 2 2012 并行使简单的理论变得困难。 Zbl 1245.68136号 斯特凡·格勒;Anthony Widjaja林 1 2012 通过地树重写系统细化流程重写系统层次结构。 Zbl 1344.68164号 斯特凡·格勒;Anthony Widjaja林 2 2011 所有引用出版物 前5名被引用出版物 全部的 前5名95位作者引用 8 Anthony Widjaja林 三 帕罗什·阿齐兹·阿卜杜拉 三 穆罕默德·法乌齐 三 戴,乔尔·D·。 三 库沙·埃特萨米 三 卢卡什·霍利克 三 菲利普·吕默 三 阿利斯泰尔·斯图尔特 三 米哈伊利斯·扬纳卡基斯 2 克拉克·W·巴雷特。 2 墨菲·贝尔齐什 2 陈玉芳 2 迪普,拜披 2 哈维尔·埃斯帕尔扎 2 维杰·加内什 2 马修·黑格 2 奥斯卡·H·伊巴拉。 2 米贾·库尔琴斯基 2 Ondřej Lengál 2 鲁帕克·马朱姆达尔 2 弗罗林·马内亚 2 伊恩·麦克奎伦 2 贾库布·米查利辛 2 费德里科·莫拉 2 安德烈斯·诺兹利 2 德克·诺沃特卡 2 奥托普,简 2 安德鲁·雷诺兹 2 塞萨尔·蒂内利 2 彼得·兹比格涅(Piotr Zbigniew),维克佐雷克(Wieczorek) 1 亚历山德罗·阿巴特 1 安东尼奥·阿布·纳赛尔 1 沙乌尔·阿尔马戈 1 阿南塔拉曼,湿婆 1 安德鲁·W·阿佩尔。 1 哈尼尔·巴博萨 1 巴勃罗·巴塞洛 1 埃齐奥·巴托西 1 Nathalie Bertrand 1 弗兰蒂舍克·布拉胡德克 1 贝内迪克特·博利格 1 卡洛斯·卡莱罗 1 德米特里五世·奇斯蒂科夫。 1 乔利亚特,大卫 1 维伦达·戴夫 1 休伯特·加拉维 1 阿尔伯特·加雷塔 1 米尔科·贾科布 1 斯特凡·格勒 1 罗伯特·D·格雷。 1 克里斯托夫·哈斯 1 沃伊特·哈夫勒纳 1 彼得·希布斯 1 Chih-Duo洪 1 胡登航 1 奥马尔·因弗索 1 贾克斯,斯特凡 1 彼得·扬克 1 Joost-Pieter卡托恩 1 伊戈尔·康诺夫(Igor V.Konnov)。 1 科瓦奇,劳拉·伊尔迪科 1 克里希纳,Shankara Narayanan 1 Kuske,迪特里希 1 弗雷德里克·朗 1 玛丽亚娜·拉齐奇 1 Le,Xuan-Bach D。 1 阿莱西奥·曼苏蒂 1 奥利弗·马克格拉夫 1 伊曼纽尔·马丁诺夫 1 埃尔南·梅尔格拉蒂 1 罗伊·门尼克 1 马塞尔·穆斯布鲁克 1 巴利亚特·纳伦德兰 1 雷诺尼斯卡宁 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 卢卡·帕多瓦尼 1 塞尔吉奥·佩基托 1 吉勒赫梅·拉莫斯 1 米哈伊尔·拉斯金 1 罗伊,迪帕尔科 1 米歇尔·鲁西诺维奇 1 尤拉吉·西奇 1 丹尼尔·斯坦 1 伯恩哈德·斯特芬 1 卡蒂亚·特鲁比亚尼 1 蔡伟伦 1 埃米利奥·托斯托 1 王钦石 1 查纳·韦尔·肯尼迪 1 马库斯·怀特兰。 1 约瑟夫·威德 1 吴志林 1 吴志林 1 甄子丹 1 易、王 全部的 前5名9篇连载文章中引用 三 信息与计算 三 计算机科学中的逻辑方法 2 理论计算机科学 1 国际控制杂志 1 自动推理杂志 1 国际计算机科学基础杂志 1 分布式计算 1 计算系统理论 1 ACM计算逻辑汇刊 全部的 前5名在7个字段中引用 36 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 概率论与随机过程(60-XX) 1 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 系统论;控制(93至XX) 按年份列出的引文