编辑配置文件（在新选项卡中打开） 雷吉斯·贾纳斯，亚恩 合著者距离 作者ID： 里吉斯·吉亚斯·扬 发布日期： 雷吉斯·贾纳斯，亚恩 已编制索引的文档： 11出版物自2004年起 合著者： 32位合著者具有11联合出版物 358位联合作者 全部的 前5名合著者 0 单作者的 2 罗伯特·阿马迪奥（Roberto M.Amadio）。 2 皮埃尔·奇弗利尔 2 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 2 纪尧姆·希特 2 托马斯·莱坦 2 弗朗索瓦·波蒂埃 1 尼古拉斯·阿亚奇 1 巴拉斯，布鲁诺 1 弗朗索瓦·博博特 1 Jaap P.Boender。 1 布莱恩·坎贝尔 1 红葡萄酒、纪尧姆 1 伊利亚斯加尼尔 1 保罗·G·贾鲁索。 1 蒂鲍特·吉尔卡 1 雨果·赫贝林 1 西尔万·伦巴第 1 安托万·马德特 1 詹姆斯·麦金纳 1 戴维·曼特雷 1 多米尼克·P·穆利根。 1 毛罗·皮科洛 1 Randy波拉克 1 克劳迪奥·萨塞尔多蒂·科恩 1 雅克·萨卡罗维奇 1 菲利普·舒斯特 1 伊恩·斯塔克 1 恩里科·塔西 1 保罗·特兰基利 1 马卡里乌斯·温泽尔 1 沃尔夫，伯克哈特 1 贝塔·齐利安尼 系列 1 理论计算机科学 1 计算的形式方面 字段 11 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用29中的次25文件 引用人▼ 年份▼ 介绍VAUCANSON。 Zbl 1071.68046号 西尔万·伦巴第;雷吉斯·贾纳斯，亚恩;雅克·萨卡罗维奇 7 2004 广义代数数据类型的分层类型推理。 Zbl 1369.68114号 弗朗索瓦·波蒂埃;雷吉斯·贾纳斯，亚恩 5 2006 使用有效计算的后验模拟通过反射进行轻型验证。 Zbl 1317.68205号 红葡萄酒、纪尧姆;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·贾纳斯，亚恩;贝塔·齐利安尼 5 2013 认证复杂性（CerCo）。 Zbl 1445.68057号 罗伯特·阿马迪奥（Roberto M.Amadio）。;尼古拉斯·阿亚切;弗朗索瓦·博博特;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;Randy波拉克;雷吉斯·贾纳斯，亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰基利 三 2014 功能程序成本注释的证明和推理。 Zbl 1367.68046号 罗伯特·阿马迪奥（Roberto M.Amadio）。;雷吉斯·贾纳斯，亚恩 三 2012 用于按值调用函数程序的Hoare逻辑。 Zbl 1157.68023号 雷吉斯·贾纳斯，亚恩;弗朗索瓦·波蒂埃 三 2008 高度可信的交互式定理证明系统中的普遍并行性。 Zbl 1390.68571号 巴拉斯，布鲁诺;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雨果·赫贝林;雷吉斯·贾纳斯，亚恩;恩里科·塔西;马卡里乌斯·温泽尔;沃尔夫，伯克哈特 1 2013 Coq中具有效果和效果处理程序的程序的模块化验证。 Zbl 1460.68062号 托马斯·莱坦;雷吉斯·贾纳斯，亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2018 使用效果和效果处理程序对程序进行模块化验证。 Zbl 1458.68119号 托马斯·莱坦;雷吉斯·贾纳斯，亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2021 使用效果和效果处理程序对程序进行模块化验证。 Zbl 1458.68119号 托马斯·莱坦;雷吉斯·贾纳斯，亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2021 Coq中带有效果和效果处理程序的程序的模块化验证。 Zbl 1460.68062号 托马斯·莱坦;雷吉斯·贾纳斯，亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 1 2018 认证复杂性（CerCo）。 Zbl 1445.68057号 罗伯特·阿马迪奥（Roberto M.Amadio）。;尼古拉斯·阿亚奇;博伯特，弗朗索瓦;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;Randy波拉克;雷吉斯·贾纳斯，亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰基利 三 2014 使用有效计算的后验模拟通过反射进行轻型验证。 Zbl 1317.68205号 红葡萄酒、纪尧姆;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·贾纳斯，亚恩;贝塔·齐利安尼 5 2013 高度可信的交互式定理证明系统中的普遍并行性。 Zbl 1390.68571号 巴拉斯，布鲁诺;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雨果·赫贝林;雷吉斯·贾纳斯，亚恩;恩里科·塔西;马卡里乌斯·温泽尔;沃尔夫，伯克哈特 1 2013 功能程序成本注释的证明和推理。 Zbl 1367.68046号 罗伯特·阿马迪奥（Roberto M.Amadio）。;雷吉斯·贾纳斯，亚恩 三 2012 用于按值调用函数程序的Hoare逻辑。 Zbl 1157.68023号 雷吉斯·贾纳斯，亚恩;弗朗索瓦·波蒂埃 三 2008 广义代数数据类型的分层类型推理。 Zbl 1369.68114号 弗朗索瓦·波蒂埃;雷吉斯·贾纳斯，亚恩 5 2006 介绍VAUCANSON。 Zbl 1071.68046号 西尔万·伦巴第;雷吉斯·贾纳斯，亚恩;雅克·萨卡罗维奇 7 2004 所有引用出版物 前5名被引用出版物 全部的 前5名60位作者引用 三 路易斯·克鲁兹·菲利佩 三 弗朗索瓦·波蒂埃 三 彼得·施奈德·坎普 2 亚瑟·查古埃罗 2 金·斯卡·拉森 2 雷米，迪迪埃 1 西里尔·阿劳岑 1 文森特·巴拉特 1 杰斯珀·本特森 1 布兰登·伯勒 1 约翰内斯·伯格斯特伦 1 理查德·布贝尔 1 克日什托夫·克米埃尔 1 帕特里克·库索特 1 皮埃尔·埃瓦里斯特·达甘 1 保罗·埃米利奥·德维莱纳 1 阿泽·迪杰斯特拉 1 德里克·德雷尔（Derek R.Dreyer）。 1 Anthony C.J.福克斯。 1 内森·富尔顿 1 雅克·加里格 1 安德鲁·戈登。 1 赫尔曼·格鲁伯 1 雷纳·哈内尔 1 马库斯·霍尔泽 1 安德鲁·肯尼迪。 1 斯塔夫罗斯·康斯坦蒂尼迪斯 1 尼拉坎坦·R·克里希纳斯瓦米。 1 拉马纳·库马尔 1 迪迪埃·勒·波特兰 1 克里斯特·林登 1 塞维琳·梅因高 1 格雷戈里·马莱查 1 安德烈亚斯·马莱蒂 1 凯西·梅杰尔 1 阿里·米德尔科普 1 亚历山大·米克尔 1 斯特凡·米奇 1 梅赫里亚·莫赫里 1 内尔玛·莫雷拉 1 玛格努斯·奥·米林。 1 阿列克桑达尔·纳内夫斯基 1 西里尔·尼科德 1 迈克尔·诺里什 1 斯科特·欧文斯 1 汤米·皮林 1 安德烈·普拉泽 1 里卡多·普切拉 1 丹尼尔·昆海姆 1 罗杰里奥·里斯 1 迈克尔·D·莱利。 1 亚当·罗曼 1 克劳迪奥·拉索五世。 1 约翰·沙尔克威克 1 Miikka Silfverberg 1 沃伊切赫·斯科特 1 斯威斯特拉，S.多伊茨 1 Tan，Yong Kiam先生 1 维克托·瓦菲亚迪斯 1 贝塔·齐利安尼 全部的 前5名7篇连载文章中引用 4 函数编程杂志 2 自动推理杂志 2 国际计算机科学基础杂志 1 理论计算机科学 1 信息与计算 1 高阶和符号计算 1 计算机科学中的逻辑方法 在3个字段中引用 25 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文