编辑配置文件(在新选项卡中打开) 亚历克斯·艾肯 合著者距离 作者ID: 艾肯·阿莱克斯 发布日期: 亚历克斯·艾肯 已编制索引的文档: 20出版物自2003年以来,包括1本书 合著者: 30位合著者具有19联合出版物 453合著作者 全部的 前5名合著者 0 单作者的 5 伊西尔·迪利格 5 托马斯·迪利格 三 拉胡尔·夏尔马 三 大雄县Terauchi 2 阿迪蒂亚·维塔尔·诺里 2 谢、伊晨 1 萨斯瓦特·阿南德 1 北方邦班纳吉 1 奥斯伯特·巴斯塔尼 1 安基特五世,巴加瓦拉。 1 朱利奥·博尔盖西 1 Chen,Jacqueline H。 1 凯萨琳·费希尔 1 沙特古普塔 1 巴拉斯·哈里哈兰 1 彼得·霍金斯 1 吉安卢卡·伊卡里诺 1 路易斯·乔弗雷 1 阿伦·凯加里瓦尔 1 赫曼斯·科拉 1 Lee,Wonchan李元昌 1 梁佩西 1 本·利布利特 1 帕特里克·S·麦考密克。 1 马约·奈克 1 亚历山德鲁·尼古拉 1 马丁·里纳德(Martin C.Rinard)。 1 Roy,Pamphile T。 1 穆利·萨吉夫 1 拉马南·桑卡兰 1 埃利奥特·斯劳特 1 肖恩·特里克勒 1 凯瑟琳·耶利克。 系列 2 系统设计中的形式化方法 1 国际不确定性量化杂志 全部的 前5名领域 16 计算机科学(68至XX) 2 数值分析(65-XX) 2 流体力学(76-XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用93中的次78文件 引用人▼ 年份▼ 安全信息流是一个安全问题。 Zbl 1141.68380号 大雄县Terauchi;亚历克斯·艾肯 22 2005 代数循环不变量的一种数据驱动方法。 Zbl 1381.68061号 拉胡尔·夏尔马;沙特古普塔;巴拉斯·哈里哈兰;亚历克斯·艾肯;梁佩西;阿迪蒂亚·诺里。 15 2013 从证明中截取:解决整数上线性不等式的完整实用技术。 兹比尔1242.65116 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 10 2009 流动更新:超越强更新与弱更新。 Zbl 1260.68092号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 9 2010 从不变量检查到使用随机搜索的不变量推理。 Zbl 1358.68197号 拉胡尔·夏尔马;亚历克斯·艾肯 9 2016 使用容器对程序进行精确推理。 Zbl 1284.68175号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 5 2011 从证明中截取:解决整数上线性不等式的完整实用技术。 Zbl 1250.90057号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 4 2011 对于静态竞争检测,条件不能混淆。 Zbl 1295.68073号 马约·奈克;亚历克斯·艾肯 4 2007 使用上下文无关语言可达性进行规范推理。 Zbl 1345.68094号 奥斯伯特·巴斯塔尼;萨斯瓦特·阿南德;亚历克斯·艾肯 三 2015 使用布尔可满足性的可伸缩错误检测。 Zbl 1369.68162号 谢、伊晨;亚历克斯·艾肯 三 2005 Saturn:基于SAT的漏洞检测工具。 兹比尔1081.68639 谢、伊晨;亚历克斯·艾肯 2 2005 大型程序的小公式:可扩展静态分析中的在线约束简化。 Zbl 1306.68024号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 2 2010 S3D军团。一个用于复杂多组分化学湍流燃烧直接数值模拟的exascale软件。 Zbl 1395.76003号 肖恩·特里克勒;迈克尔·鲍尔;安吉特·巴加瓦拉;朱利奥·博尔盖西;拉马南桑卡兰;赫曼斯·科拉;帕特里克·S·麦考密克。;埃利奥特·斯劳特;Lee,Wonchan先生;亚历克斯·艾肯;杰奎琳·陈 2 2018 并发性和确定性的功能演算。 Zbl 1151.68555号 大雄县Terauchi;亚历克斯·艾肯 1 2006 出现副作用。 Zbl 1302.68073号 大雄县Terauchi;亚历克斯·艾肯 1 2005 程序分析中的偏差-方差权衡。 Zbl 1284.68202号 拉胡尔·夏尔马;阿迪蒂亚·诺里。;亚历克斯·艾肯 1 2014 受不确定性影响的辐照粒子激光湍流的多保真度建模。 兹比尔1498.76070 Jofre,L。;M.帕帕达基斯。;罗伊,P.T。;A.艾肯。;G.伊卡里诺。 1 2020 受不确定性影响的辐照粒子激光湍流的多保真度建模。 Zbl 1498.76070号 Jofre,L。;M.帕帕达基斯。;罗伊,P.T。;A.艾肯。;G.伊卡里诺。 1 2020 S3D军团。一个用于复杂多组分化学湍流燃烧直接数值模拟的exascale软件。 Zbl 1395.76003号 肖恩·特里克勒;迈克尔·鲍尔;安吉特·巴加瓦拉;朱利奥·博尔盖西;拉马南桑卡兰;赫曼斯·科拉;帕特里克·S·麦考密克。;埃利奥特·斯劳特;Lee,Wonchan先生;亚历克斯·艾肯;杰奎琳·陈 2 2018 从不变量检查到使用随机搜索的不变量推理。 Zbl 1358.68197号 拉胡尔·夏尔马;亚历克斯·艾肯 9 2016 使用上下文无关语言可达性进行规范推理。 Zbl 1345.68094号 奥斯伯特·巴斯塔尼;萨斯瓦特·阿南德;亚历克斯·艾肯 三 2015 程序分析中的偏差-方差权衡。 Zbl 1284.68202号 拉胡尔·夏尔马;阿迪蒂亚·诺里。;亚历克斯·艾肯 1 2014 代数循环不变量的数据驱动方法。 Zbl 1381.68061号 拉胡尔·夏尔马;沙特古普塔;巴拉斯·哈里哈兰;亚历克斯·艾肯;梁,珀西;阿迪蒂亚·诺里。 15 2013 使用容器对程序进行精确推理。 Zbl 1284.68175号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 5 2011 从证明中截取:解决整数上线性不等式的完整实用技术。 Zbl 1250.90057号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 4 2011 流动更新:超越强更新与弱更新。 Zbl 1260.68092号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 9 2010 大型程序的小公式:可扩展静态分析中的在线约束简化。 Zbl 1306.68024号 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 2 2010 从证明中截取:解决整数上线性不等式的完整实用技术。 兹比尔1242.65116 伊西尔·迪利格;托马斯·迪利格;亚历克斯·艾肯 10 2009 对于静态竞争检测,条件不能混淆。 Zbl 1295.68073号 马约·奈克;亚历克斯·艾肯 4 2007 并发性和确定性的功能演算。 Zbl 1151.68555号 大雄县Terauchi;亚历克斯·艾肯 1 2006 安全信息流是一个安全问题。 Zbl 1141.68380号 大雄县Terauchi;亚历克斯·艾肯 22 2005 使用布尔可满足性的可伸缩错误检测。 Zbl 1369.68162号 谢、伊晨;亚历克斯·艾肯 三 2005 Saturn:基于SAT的漏洞检测工具。 Zbl 1081.68639号 谢、伊晨;亚历克斯·艾肯 2 2005 出现副作用。 Zbl 1302.68073号 大雄县Terauchi;亚历克斯·艾肯 1 2005 所有引用出版物 前5名被引用出版物 全部的 前5名182位作者引用 5 马丁·布隆伯格 5 克里斯托夫·韦登巴赫 三 科瓦奇,劳拉·伊尔迪科 三 沙龙·肖姆 三 大雄县Terauchi 2 弗朗西斯科·阿尔贝蒂 2 吉尔·巴特 2 伦纳特·贝林格 2 莱昂纳多·德·莫拉 2 马里奥·迪伦佐 2 约塔姆·M·Y·费尔德曼。 2 西尔维奥·吉拉尔迪 2 德扬·约瓦诺维奇 2 弗拉基米尔·克莱巴诺夫 2 埃里克·科斯基宁 2 丹尼尔·科宁 2 大卫·莫尼奥(David P.Monniaux)。 2 彼得·米勒 2 哦,哈乔 2 对手,泽维尔 2 罗伯托·塞巴斯蒂亚尼 2 赫尔穆特·塞德尔 2 娜塔莎·莎莉吉娜 2 托马斯·斯特姆 2 亚基尔·维泽尔 2 乔治·威森巴赫 2 平藤安介(Yasuoka,Hirotoshi) 1 亚历克斯·艾肯 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 鲁斯塔姆·阿齐莫夫 1 何塞·巴塞拉尔·阿尔梅达 1 克什蒂吉·班萨尔 1 曼纽尔·巴博萨 1 克拉克·W·巴雷特。 1 尼古拉·贝蒂埃 1 艾哈迈德·巴亚特 1 塞巴斯蒂安·比沃 1 布洛克,罗德里克 1 拉斯蒂斯拉夫·博迪克 1 朱利安·布莱恩 1 罗伯特·布鲁托梅索 1 Cha、Sooyoung 1 查克拉波蒂,苏普拉特克 1 冠军,阿德里安 1 陈凯 1 陈,钟 1 千叶,富古屋 1 杰根,基督 1 乔纳森·钟 1 伯克·圣伊里西奇 1 Cornish,J.Robert M。 1 克雷斯波、胡安·曼努埃尔 1 玛丽亚姆·达巴奇安 1 福雷德里克·达布罗夫斯基 1 佩德罗·鲁宾·达吉尼奥 1 伊娃·达鲁洛娃 1 特拉华州,本杰明 1 罗伯特·H·迪克森。 1 伊奥·德拉甘 1 克莱尔·德罗斯 1 索菲亚·德罗索波洛 1 穆纳乔·埃切宁 1 马尔科·艾尔斯 1 苏珊·艾森巴赫 1 克莱门斯·艾森霍费尔 1 康斯坦丁埃纳 1 方、斌 1 阿扎德法尔赞 1 格里戈里·费迪尤科维奇 1 冯登国 1 Jean-Christophe Filliátre 1 伯恩德·芬克贝纳 1 诺亚·弗莱明 1 马蒂亚斯·弗勒里 1 傅洪飞 1 傅,林 1 卡斯滕·福斯 1 杰·德泽·富拉拉 1 维杰·加内什 1 格雷姆·恒河 1 高生 1 普拉纳夫·加格 1 帕米娜·乔治奥 1 劳蕾·贡诺德 1 奥哈德·古兹米德 1 阿尔贝托·格里乔 1 塞姆扬·格里戈列夫 1 奥尔纳·格伦伯格 1 阿什图什·古普塔 1 阿里·古芬克尔 1 一郎·哈索 1 大卫·G·希思。 1 Heo,Kihong先生 1 霍尔格·赫尔曼斯 1 乔纳森·海瑟 1 Jochen Hoenicke公司 1 黄康静 1 安德烈亚斯·休姆伯格 1 阿纳斯塔西亚·伊齐切娃 1 瑞典雅各布斯 …还有82位作者 全部的 前5名15篇连载文章中引用 8 自动推理杂志 7 系统设计中的形式化方法 三 理论计算机科学 2 计算机物理通信 2 计算的形式方面 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 2 科学中国。信息科学 1 信息处理信件 1 编程和计算机软件 1 计算机程序设计科学 1 符号计算杂志 1 函数编程杂志 1 计算机语言、系统和结构 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 76 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 5 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 流体力学(76-XX) 1 代数几何(14-XX) 1 数值分析(65-XX) 1 经典热力学,传热(80-XX) 按年份列出的引文