编辑配置文件（在新选项卡中打开） Tan，Yong Kiam先生 合著者距离 作者ID： 谭永凯 发布日期： Tan，Yong Kiam先生;Kiam Tan，勇 已编制索引的文档： 15出版物自2004年以来，包括1个附加arXiv预打印 合著者： 16位合著者具有14联合出版物 242位合作作者 全部的 前5名合著者 0 单作者的 10 安德烈·普拉泽 4 玛格努斯·奥·米林。 三 拉马纳·库马尔 三 斯特凡·米奇 三 迈克尔·诺里什 2 奥斯卡·亚伯拉罕森 2 凯瑟琳·科德威尔 2 何松林 2 安德鲁·索戈孔 1 Anthony C.J.福克斯。 1 詹姆斯·加里奇奥 1 哈利勒·戈尔巴尔 1 Heule，Marijn J.H。 1 赫鲁特维克卡纳巴尔 1 凯瑟琳·科萨扬 1 斯科特·欧文斯 1 西古尔杜·托罗德森。 全部的 前5名系列 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 流体物理学 1 函数编程杂志 1 美国医学会杂志 领域 14 计算机科学（68至XX） 5 数理逻辑与基础（03-XX） 5 常微分方程（34-XX） 4 系统论；控制（93-XX） 1 流体力学（76-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 11出版物有被引用54次45文件 引用人▼ 年份▼ 已验证的CakeML编译器后端。 Zbl 1493.68091号 金丹（Kiam Tan，Yong）;玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 12 2019 微分方程不变性公理化。 Zbl 1494.03079号 安德烈·普拉泽;Tan，Yong Kiam先生 9 2020 微分方程公理化。不同鬼魂令人印象深刻的力量。 Zbl 1453.03026号 安德烈·普拉泽;Tan，Yong Kiam先生 8 2018 病媒屏障证书和比较系统。 Zbl 1460.93012号 安德鲁·索戈孔;哈利勒·戈尔巴尔;Tan，Yong Kiam先生;安德烈·普拉泽 7 2018 结块_lpr：在CakeML中验证了传播冗余检查。 Zbl 1474.68194号 Tan，Yong Kiam先生;Heule，Marijn J.H。;玛格努斯·奥·米林。 6 2021 通过一元HOL函数利用I/O和局部状态进行CakeML的证明合成。 Zbl 1468.68060号 哦，儿子;奥斯卡·亚伯拉罕森;拉马纳·库马尔;玛格努斯·奥·米林。;Tan，Yong Kiam先生;迈克尔·诺里什 5 2018 微分方程存在性和活性的公理方法。 Zbl 1519.68141号 Tan，Yong Kiam先生;安德烈·普拉泽 三 2021 自由表面夹带到含有表面活性剂的边缘流中。 Zbl 1186.76525号 索罗德森，S.T。;Tan，Y.-K。 2 2004 常微分方程的演绎稳定性证明。 Zbl 1474.68195号 Tan，Yong Kiam先生;安德烈·普拉泽 2 2021 KeYmaera X的隐式定义和微分方程（系统描述）。 Zbl 07628218号 詹姆斯·加里奇奥;Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽 1 2022 飞马座：声音连续不变生成。 Zbl 1505.68045号 安德鲁·索戈孔;斯特凡·米奇;Tan，Yong Kiam先生;凯瑟琳·科德威尔;安德烈·普拉泽 1 2021 KeYmaera X的隐式定义和微分方程（系统描述）。 Zbl 07628218号 詹姆斯·加里奇奥;Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽 1 2022 结块_lpr：在CakeML中验证了传播冗余检查。 Zbl 1474.68194号 Tan，Yong Kiam先生;Heule，Marijn J.H。;玛格努斯·奥·米林。 6 2021 微分方程存在性和活性的公理方法。 Zbl 1519.68141号 Tan，Yong Kiam先生;安德烈·普拉泽 三 2021 常微分方程的演绎稳定性证明。 Zbl 1474.68195号 Tan，Yong Kiam先生;安德烈·普拉泽 2 2021 飞马座：声音连续不变生成。 Zbl 1505.68045号 安德鲁·索戈孔;斯特凡·米奇;Tan，Yong Kiam先生;凯瑟琳·科德威尔;安德烈·普拉泽 1 2021 微分方程不变性公理化。 Zbl 1494.03079号 安德烈·普拉泽;Tan，Yong Kiam先生 9 2020 已验证的CakeML编译器后端。 Zbl 1493.68091号 金丹（Kiam Tan，Yong）;玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 12 2019 微分方程公理化。不同鬼魂令人印象深刻的力量。 Zbl 1453.03026号 安德烈·普拉泽;Tan，Yong Kiam先生 8 2018 病媒屏障证书和比较系统。 Zbl 1460.93012号 安德鲁·索戈孔;哈利勒·戈尔巴尔;Tan，Yong Kiam先生;安德烈·普拉泽 7 2018 通过一元HOL函数利用I/O和局部状态进行CakeML的证明合成。 Zbl 1468.68060号 儿子，你好;奥斯卡·亚伯拉罕森;拉马纳·库马尔;玛格努斯·奥·米林。;Tan，Yong Kiam先生;迈克尔·诺里什 5 2018 自由表面夹带到含有表面活性剂的沸腾流中。 Zbl 1186.76525号 S.T.托罗德森。;Tan，Y.-K。 2 2004 所有引用出版物 排名前五的出版物 全部的 前5名101位作者引用 10 安德烈·普拉泽 9 Tan，Yong Kiam先生 8 玛格努斯·奥·米林。 5 Heule，Marijn J.H。 4 斯特凡·米奇 三 奥斯卡·亚伯拉罕森 三 Randal E.布莱恩特。 三 拉马纳·库马尔 三 迈克尔·诺里什 三 安德鲁·索戈孔 2 亚历山德罗·阿巴特 2 卡明·阿巴特 2 丹尼尔·艾哈迈德 2 奥曼·波霍拉，约翰内斯 2 陈明帅 2 凯瑟琳·科德威尔 2 哈利勒·戈尔巴尔 2 Joost-Pieter卡托恩 2 安德烈亚·佩鲁福 2 李维斯，Joseph E。 2 亚当·桑德伯格·爱立信 2 王秋叶 2 薛、白 2 詹乃军 1 哈马德·艾哈迈德 1 奥曼，波霍拉·约翰内斯 1 托马斯·巴尔 1 Seulkee Baek先生 1 亚历山大·本特坎普 1 罗伯托·布兰科 1 布兰奇，桑德琳 1 巴特·博加特 1 布兰登·伯勒 1 罗斯·波勒 1 马文·布里格 1 Busi，Matteo公司 1 卢卡·卡德利 1 陈、陶璐 1 Adam J.Chlipala。 1 瑟·特凡·乔巴赫 1 尼古拉斯·考夫林 1 特拉华州，本杰明 1 Aurélien的点心 1 杰雷米·杜布特 1 阿德里安·杜里埃 1 亚历克·爱德华兹 1 曼努埃尔·费尔南德斯五世 1 马蒂亚斯·弗勒里 1 Anthony C.J.福克斯。 1 詹姆斯·加里奇奥 1 迪帕克·加格 1 米尔科·贾科布 1 斯蒂芬·戈赫特 1 格罗斯，杰森 1 阿玛·盖诺 1 一郎·哈索 1 何松林 1 Hriţcu，科特林 1 乔纳森·朱利安（Jonathan Julián），韦尔塔·穆尼夫（Huerta y Munive） 1 亚历山德鲁·伊奥西夫 1 伊万诺夫，列夫根 1 Jeannin、Jean-Baptiste 1 赫鲁特维克卡纳巴尔 1 胜本，Shin-ya 1 尤拉杰·科尔查克 1 彼得·兰米奇 1 莱切内特，Jean-Christophe 1 李景杰 1 刘志明 1 克里斯托夫·吕德斯 1 西拉恩·麦克里什 1 托比·默里 1 雅各布诺德斯特伦 1 斯科特·欧文斯 1 马尔科·帕特里尼亚尼 1 大卫·皮哈迪 1 Pit-Claudel，Clément公司 1 奥维迪乌·拉杜列斯库 1 哈米德·拉科伊 1 任伟 1 亨利克·罗斯特德 1 霍斯特·舒尔特 1 塞伊，马提亚斯 1 盛、欢欢 1 戴维·斯普伦格 1 乔治·斯特鲁斯 1 托马斯·斯特姆 1 孙西明 1 埃里克·坦特 1 杰雷米·蒂鲍特 1 米尔科·特里巴斯通 1 斯泰利奥斯·赞帕斯 1 马克斯·柴科夫斯基 1 安德烈·范丁 1 王鹏 1 詹姆斯·C·P·伍德科克。 1 熊俊林 1 Akihisa山田 1 曾、夏 1 詹博华 …还有1位作者 全部的 前5名15篇连载文章中引用 4 自动推理杂志 2 计算的形式方面 2 系统设计中的形式化方法 1 SIAM控制与优化杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 函数编程杂志 1 人工智能研究杂志 1 SIAM应用动力系统杂志 1 ACM计算逻辑事务 1 泛逻辑 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名10个领域引用 41 计算机科学（68至XX） 13 数理逻辑与基础（03-XX） 11 系统论；控制（93-XX） 5 常微分方程（34-XX） 2 动力系统和遍历理论（37至XX） 2 运筹学、数学规划（90-XX） 2 生物学和其他自然科学（92-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 按年份列出的引文