编辑配置文件(在新选项卡中打开) 杰拉德·贝里 合著者距离 作者ID: 浆果.分级 发布日期: 杰拉德·贝里;杰拉德·贝里;G.贝里。 更多。。。较少的 已编制索引的文档: 22出版物自1975年以来,包括1本书 1名编辑贡献 合著者: 13合著者具有13联合出版物 268联合作者 全部的 前5名合著者 8 单作者的 三 皮埃尔·卢伊斯·居里 三 珍妮·雅克·利维 2 乔治·戈蒂尔 1 劳伦特·阿尔迪蒂 1 杰拉德·布多尔 1 休伯特·科蒙 1 洛朗·科塞拉特 1 布鲁诺·库塞尔 1 库隆内,P。 1 阿兰·芬克尔 1 迈克尔·基希内夫斯基 1 迈克尔·门德勒 1 埃伦·森托维奇 1 Thomas R.Shiple。 全部的 前5名系列 三 理论计算机科学 1 生物特征 1 计算机协会期刊 1 计算机程序设计科学 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 1 Les Grandes Voix de la Recherche公司 全部的 前5名领域 19 计算机科学(68至XX) 5 数理逻辑与基础(03-XX) 2 范畴理论;同调代数(18-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用526中的次465文件 引用人▼ 年份▼ 化学文摘机器。 Zbl 0747.68013号 杰拉德·贝里;杰拉德·布多尔 140 1992 类型\(\lambda\)-calculi的稳定模型。 Zbl 0382.68041号 杰拉德·贝里 83 1978 Esterel同步编程语言:设计、语义、实现。 Zbl 0772.68013号 杰拉德·贝里;乔治·戈蒂尔 82 1992 从正则表达式到确定性自动机。 Zbl 0626.68043号 杰拉德·贝里;拉维·塞提 69 1986 具体数据结构上的顺序算法。 Zbl 0497.68012号 G.贝里。;居里,P.L。 58 1982 递归程序的最小和最优计算。 Zbl 0388.68012号 杰拉德·贝里;珍妮·雅克·利维 32 1979 序列语言的完全抽象:最新技术。 Zbl 0604.68033号 G.贝里。;居里,P.-L。;莱维,J.-J。 22 1985 ESTEREL同步编程语言及其数学语义。 Zbl 0599.68023号 杰拉德·贝里;洛朗·科塞拉特 20 1985 Sequentilite de l’evaluation formelle des \(\lambda \)-表达式。 Zbl 0416.03017号 G.贝里。 14 1978 顺序算法的理论与实践:应用语言CDS的核心。 Zbl 0619.68008号 G.贝里。;居里,P.-L。 10 1985 稳定离散解释中的程序等价性和规范形式。 Zbl 0363.68036号 G.贝里。;库塞尔,B。 7 1976 多嵌段酯。 Zbl 1002.68653号 杰拉德·贝里;埃伦·森托维奇 三 2001 构造布尔电路和定时三值模拟的精确性。 Zbl 1303.94148号 迈克尔·门德勒;Thomas R.Shiple。;杰拉德·贝里 三 2012 关于lambda-calculus模型的定义。 Zbl 0469.03007号 G.贝里。 2 1981 利用威布尔分布设计致癌实验。 Zbl 0309.92011年 G.贝里。 2 1975 反应系统的同步编程:ESTEREL简介。 Zbl 0662.68028号 贝里,G。;库隆内,P。;戈蒂尔,G。 2 1988 对\(\lambda \)-演算中一些语法结果的综述。 Zbl 0416.03016号 杰拉德·贝里;珍妮·雅克·利维 1 1979 SCADE:嵌入式控制软件的同步设计和验证。 Zbl 1189.93012号 杰拉德·贝里 1 2007 构造布尔电路和定时三值模拟的精确性。 Zbl 1303.94148号 迈克尔·门德勒;Thomas R.Shiple。;杰拉德·贝里 三 2012 SCADE:嵌入式控制软件的同步设计和验证。 Zbl 1189.93012号 杰拉德·贝里 1 2007 多嵌段酯。 Zbl 1002.68653号 杰拉德·贝里;埃伦·森托维奇 三 2001 化学提取机。 Zbl 0747.68013号 杰拉德·贝里;杰拉德·布多尔 140 1992 Esterel同步编程语言:设计、语义、实现。 Zbl 0772.68013号 杰拉德·贝里;乔治·戈蒂尔 82 1992 反应系统的同步编程:ESTEREL简介。 Zbl 0662.68028号 G.贝里。;库隆内,P。;戈蒂尔,G。 2 1988 从正则表达式到确定性自动机。 Zbl 0626.68043号 杰拉德·贝里;拉维·塞提 69 1986 序列语言的完全抽象:最新技术。 Zbl 0604.68033号 G.贝里。;居里,P.-L。;莱维,J.-J。 22 1985 ESTEREL同步编程语言及其数学语义。 Zbl 0599.68023号 杰拉德·贝里;洛朗·科塞拉特 20 1985 顺序算法的理论与实践:应用语言CDS的核心。 Zbl 0619.68008号 G.贝里。;居里,P.-L。 10 1985 具体数据结构上的顺序算法。 兹伯利0497.68012 G.贝里。;居里,P.L。 58 1982 关于lambda-calculus模型的定义。 Zbl 0469.03007号 贝里,G。 2 1981 递归程序的最小和最优计算。 Zbl 0388.68012号 杰拉德·贝里;珍妮·雅克·利维 32 1979 对\(\lambda \)-演算中一些语法结果的综述。 Zbl 0416.03016号 杰拉德·贝里;珍妮·雅克·利维 1 1979 类型\(\lambda\)-calculi的稳定模型。 Zbl 0382.68041号 杰拉德·贝里 83 1978 Sequentilite de l’evaluation formelle des \(\lambda \)-表达式。 Zbl 0416.03017号 G.贝里。 14 1978 稳定离散解释中的程序等价性和规范形式。 Zbl 0363.68036号 G.贝里。;库塞尔,B。 7 1976 利用威布尔分布设计致癌实验。 Zbl 0309.92011年 G.贝里。 2 1975 所有引用出版物 前5名被引用出版物 全部的 前5名619位作者引用 13 乌戈·蒙塔纳里。 11 曼弗雷德·德罗斯特 9 格里高·罗什乌 9 吉田、Nobuko 8 何塞·梅塞盖尔·瓜伊塔 7 内尔玛·莫雷拉 6 罗伯特·阿马迪奥(Roberto M.Amadio)。 6 皮埃尔·卢伊斯·居里 6 安德鲁·戈登。 6 马库斯·霍尔泽 5 菲利波·邦奇 5 杰拉德·布多尔 5 萨宾·布罗达 5 布吕格曼·克莱恩,安妮 5 罗伯托·布鲁尼 5 伊利亚卡斯特拉尼 5 陈一翔 5 托马斯·埃尔哈德 5 法比奥·加杜奇 5 本田、高黑 5 扬·威廉·克鲁普 5 安德烈亚·马吉奥洛·谢蒂尼 5 迈克尔·门德勒 5 卡洛斯·奥拉特 5 雷斯·罗热里奥 5 ☑特拉安·弗洛林(Traian Florin) 5 西蒙·蒂尼 5 格林·温斯克尔 5 习晓勇 5 杰卢尔·齐亚迪 4 萨姆森·艾布拉姆斯基 4 Andrew I.Adamatzky。 4 斯蒂芬·布鲁克斯。 4 尚帕诺,让-马克 4 安德烈亚·科拉迪尼 4 伏玉溪 4 詹姆斯·D·莱尔德。 4 马西莫·梅罗 4 弗莱明·尼尔森 4 卢卡·保里尼 4 佩恩,古奥热 4 蕾丝·尼尔森,Hanne 4 伍德,德里克 三 马丁·阿巴迪 三 奥纳·安德烈 三 Jan A.Bergstra。 三 杰拉德·贝里 三 费利佩·布拉乔 三 纳迪亚·布西 三 卢卡·卡德利 三 加布里埃尔·乔巴努 三 毛里齐奥·加布里埃利 三 沙伊·格瓦 三 赫尔曼·格鲁伯 三 奥斯卡·H·伊巴拉。 三 拉德哈·贾加迪桑 三 阿希姆·荣格 三 寇,惠 三 迪特里赫·库斯克 三 约翰·朗利。 三 杰拉尔德·吕特根 三 安东尼奥·马基雅维罗 三 吉安卡洛·莫里 三 罗宾·米尔纳 三 安杰洛·莫尔岑蒂 三 卡图西亚帕拉米德斯 三 阿德里亚诺·佩隆 三 毛罗·皮科洛 三 亨利克·皮利加德 三 安东尼奥·萨利布拉 三 戴维·桑吉奥吉 三 伊雷克·乌利多夫斯基 三 弗兰克·巴伦西亚。 三 于盛 2 奥纳州Agrigoroaiei 2 华金·阿瓜多 2 阿提姆·阿尔哈佐夫 2 奥曼·波霍拉,约翰内斯 2 埃吉迪奥·阿斯泰西亚诺 2 萨米拉·阿图 2 保罗·巴尔丹 2 阿尔伯特·本文尼斯特 2 香塔尔·伯林 2 安吉洛·博索蒂 2 皮埃尔·布德斯 2 卢卡·布雷维利里 2 安东尼奥·布恰雷利 2 卡隆,帕斯卡 2 伊利亚诺·塞维萨托 2 陈海明 2 兰斯·克莱维兰 2 可口、蒂埃里 2 杰拉尔多·科斯塔 2 克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano) 2 文森特·达诺斯 2 威廉·鲍尔·德·罗弗 2 纳鸿·德肖维茨 2 阿巴斯·埃达拉特 2 约斯特·恩格尔弗里特 2 莫雷诺,法拉斯基 …还有519位作者 全部的 前5名65篇连载文章中引用 132 理论计算机科学 46 信息与计算 11 逻辑与代数程序设计杂志 10 MSCS公司。计算机科学中的数学结构 9 纯逻辑与应用逻辑年鉴 9 国际计算机科学基础杂志 9 程序设计中的逻辑和代数方法杂志 7 计算机与系统科学杂志 7 计算的形式方面 5 国际计算机数学杂志 5 系统设计中的形式化方法 5 计算机科学中的逻辑方法 4 信息学报 4 信息处理信件 4 函数编程杂志 三 计算机科学与技术杂志 三 分布式计算 三 高阶和符号计算 三 赖罗。理论信息学及其应用 2 计算机与数学及其应用 2 纯粹与应用代数杂志 2 RAIRO,Informatique Théorique公司 2 符号计算杂志 2 赖罗。Informatique Théorique et Applications公司 2 应用的分类结构 2 赖罗。理论信息学及其应用 2 逻辑程序设计理论与实践 2 离散算法杂志 1 国际系统科学杂志 1 混沌、孤子和分形 1 信息科学 1 苏联数学杂志 1 凯伯内特斯 1 模拟中的数学和计算机 1 数学系统理论 1 京都大学数学科学研究所出版物 1 软件。实践与经验 1 拓扑及其应用 1 计算机程序设计科学 1 订单 1 新一代计算 1 国际并行程序设计杂志 1 数学和计算机建模 1 机器人系统杂志 1 实时系统 1 国际代数与计算杂志 1 离散事件动态系统 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 数学与人工智能年鉴 1 约束条件 1 组合优化期刊 1 信号、图像和视频技术VLSI信号处理系统杂志 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 计算机基础理论 1 国际现代物理杂志C 1 自然计算 1 计算机语言、系统和结构 1 国际并行、紧急和分布式系统杂志 1 新数学与自然计算 1 国际智能计算与控制论杂志 1 计算机科学前沿 1 数学科学研究 全部的 前5名18个领域被引用 439 计算机科学(68至XX) 96 数理逻辑与基础(03-XX) 43 范畴理论;同调代数(18-XX) 29 阶、格、有序代数结构(06-XX) 14 生物学和其他自然科学(92-XX) 6 信息与通信理论、电路(94-XX) 5 系统论;控制(93至XX) 4 一般拓扑结构(54至XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 一般代数系统(08-XX) 2 组合数学(05-XX) 2 概率论与随机过程(60-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 动力系统和遍历理论(37至XX) 1 粒子和系统力学(70-XX) 1 经典热力学,传热(80-XX) 1 量子理论(81-XX) 按年份列出的引文