编辑配置文件(在新选项卡中打开) 埃尔萨·甘特。 合著者距离 作者ID: gunter.elsa-l公司 发布日期: 埃尔萨·甘特。;埃尔莎·冈特 已编制索引的文档: 23出版物自1989年起 1名编辑贡献 合著者: 15位合著者具有21联合出版物 342位联合作者 全部的 前5名合著者 三 单作者的 5 Doron A.Peled。 4 威廉·曼斯基 三 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 2 爱德华多·博内利 2 卡尔·A·冈特。 2 李丽怡 2 大卫·B·麦奎恩(David B.MacQueen)。 2 安德烈·波佩斯库 1 菲利普·比丁格 1 安德里亚娜·孔皮诺尼 1 艾米·费尔蒂(Amy P.Felty)。 1 罗伯特·P·库尔珊(Robert P.Kurshan)。 1 利博金,Leonid O。 1 苏珊娜·曼斯基 1 安卡·穆斯科尔 全部的 前5名系列 1 美国数学学会会刊 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 函数编程杂志 1 计算机科学课堂讲稿 全部的 前5名领域 23 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用84中的次75文件 引用人▼ 年份▼ 并发系统的临时调试。 Zbl 1043.68592号 埃尔莎·冈特;多龙·贝利德 31 2002 并发通信中进程同步的通信断言。 Zbl 1077.68605号 爱德华多·博内利;安德里亚娜·孔帕尼奥尼;埃尔莎·冈特 19 2005 合成消息序列图。 Zbl 0978.68549号 埃尔萨·甘特。;安卡·穆斯科尔;Doron A.Peled。 8 2001 带绑定和替换的语法的递归原则。 Zbl 1323.68225号 安德烈·波佩斯库;埃尔萨·甘特。 5 2011 模型检查、测试和验证协同工作。 Zbl 1101.68681号 埃尔莎·冈特;多龙·贝利德 4 2005 带有Sylow塔的M组。 Zbl 0671.20008号 埃尔萨·甘特。 4 1989 类型检查安全进程同步。 Zbl 1272.68226号 爱德华多·博内利;阿德里亚娜·孔皮诺尼;埃尔莎·冈特 三 2005 编译器优化的形式验证框架。 Zbl 1291.68360号 威廉·曼斯基;埃尔莎·冈特 2 2010 基于增量模式的过程代数共约及其Isabelle形式化。 Zbl 1284.68432号 安德烈·波佩斯库;埃尔萨·甘特。 2 2010 装箱环境的基于角色的访问控制。 兹比尔1146.68020 阿德里亚娜·孔皮诺尼;埃尔萨·甘特。;菲利普·比丁格 2 2008 高阶逻辑中的定理证明。第十届国际会议,1997年TPHOL。美国新泽西州默里山,1997年8月19日至22日。诉讼程序。 Zbl 0870.00024号 1 1997 移动世界中的安全类型。 Zbl 1151.68331号 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。;埃尔萨·甘特。 1 2005 单元检查:对代码单元进行符号模型检查。 兹比尔1274.68188 埃尔莎·冈特;多龙·贝利德 1 2003 局部格和双积分L域的伪收缩函子。 Zbl 1509.68150号 埃尔萨·甘特。 1 1990 带绑定和替换的语法的递归原则。 Zbl 1323.68225号 安德烈·波佩斯库;埃尔萨·甘特。 5 2011 编译器优化的形式验证框架。 Zbl 1291.68360号 威廉·曼斯基;埃尔莎·冈特 2 2010 基于增量模式的过程代数共约及其Isabelle形式化。 Zbl 1284.68432号 安德烈·波佩斯库;埃尔萨·甘特。 2 2010 装箱环境的基于角色的访问控制。 Zbl 1146.68020号 阿德里亚娜·孔皮诺尼;埃尔萨·甘特。;菲利普·比丁格 2 2008 并发通信中进程同步的通信断言。 Zbl 1077.68605号 爱德华多·博内利;安德里亚娜·孔皮诺尼;埃尔莎·冈特 19 2005 模型检查、测试和验证协同工作。 Zbl 1101.68681号 埃尔莎·冈特;多龙·贝利德 4 2005 类型检查安全进程同步。 Zbl 1272.68226号 爱德华多·博内利;阿德里亚娜·孔皮诺尼;埃尔莎·冈特 三 2005 移动世界中的安全类型。 Zbl 1151.68331号 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。;埃尔萨·甘特。 1 2005 单元检查:对代码单元进行符号模型检查。 Zbl 1274.68188号 埃尔莎·冈特;Peled,多伦 1 2003 并发系统的临时调试。 Zbl 1043.68592号 埃尔莎·冈特;多龙·贝利德 31 2002 合成消息序列图。 Zbl 0978.68549号 埃尔萨·甘特。;安卡·穆斯科尔;Doron A.Peled。 8 2001 高阶逻辑中的定理证明。第十届国际会议,1997年TPHOL。美国新泽西州默里山,1997年8月19日至22日。诉讼程序。 Zbl 0870.00024号 1 1997 局部格和双积分L域的伪收缩函子。 Zbl 1509.68150号 埃尔萨·甘特。 1 1990 带有Sylow塔的M组。 Zbl 0671.20008号 埃尔萨·甘特。 4 1989 所有引用的出版物 前5名被引用出版物 全部的 前5名159位作者引用 7 马里亚纽拉州Dezani-Ciancaglini 4 西蒙·盖伊。 4 吉田、Nobuko 三 路易斯·凯雷斯 三 西尔维娅·吉勒赞 三 约万卡·潘托维奇 三 佩雷斯(Jorge A.Pérez)。 三 伯纳多·托尼霍 2 亚历山德罗·阿巴特 2 Sara卡佩奇 2 马尔科·卡博尼 2 克里希南德·查特吉 2 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 2 马里奥·科普 2 索菲亚·克洛伊·德罗索波卢 2 布莱斯·基内斯特 2 洛伦佐·盖里 2 埃琳娜·贾奇诺 2 埃尔萨·甘特。 2 莫里斯·W·P·M·H·海梅尔斯。 2 本田、高黑 2 Jakšić,斯维特拉娜 2 杰伦,蒂埃里 2 迪特里赫·库斯克 2 米尔恰·拉扎尔 2 Doron A.Peled。 2 弗兰克·芬宁 2 伊利亚·特卡切夫 2 Vascoconcelos、Vasco Thudichum 2 雨果·托雷斯·维埃拉 1 马蒂亚斯·阿尔霍夫 1 拉杰夫·阿鲁尔 1 艾丁·戈尔(Ebru Aydin Gol) 1 克里斯特尔·拜尔 1 洛朗·巴科 1 Gurmeet K·巴克西。 1 马西莫·巴托莱蒂 1 亚历山大·巴恩(Alexandre M.Bayen)。 1 贝克尔·魏曼(Becker-Weimann,Sabine) 1 阿尔贝托·本普拉德 1 马西莫·贝内雷切蒂 1 萨德克·本萨勒姆 1 洛伦佐·贝蒂尼 1 菲利普·比丁格 1 米娜·J·比塞尔。 1 杰拉德·布洛赫 1 爱德华多·博内利 1 约翰·博格斯特罗姆 1 蒂莫西·布鲁克 1 伊利亚卡斯特拉尼 1 张雪武 1 Deniélou、Pierre-Malo 1 Jyotirmoy V.德斯穆赫。 1 斯蒂法诺·迪·凯拉诺 1 亚历山大·唐泽 1 曼弗雷德·德罗斯特 1 克莱门斯·杜伯斯拉夫 1 马可·费拉 1 丹尼尔·丰坦特里 1 Forejt,Vojtěch公司 1 埃米利奥·弗雷佐利 1 戈兰·弗雷斯 1 傅鸿飞 1 福岛,宏 1 巴勃罗·加拉尔达 1 托马斯·加扎涅尔 1 帕特丽斯·戈德弗里德 1 安德鲁·戈登。 1 去吧,马修 1 卢卡·格雷科 1 罗伯特·瓜夏莱 1 弗洛里安·哈夫特曼 1 恩斯特·莫里茨·哈恩 1 加文·C·霍尔。 1 洛依茨海露 1 霍尔格·赫尔曼斯 1 霍尔,马尔科姆 1 阿尔塔夫·侯赛因 1 迈克尔·R·A·胡特。 1 拉德哈·贾加迪桑 1 贝特朗·珍妮特 1 Alan S.A.杰弗里。 1 金、平 1 金小青 1 玛丽亚姆·坎加普尔 1 卡拉曼,塞尔塔克 1 拉贾特·凯特加 1 Joost-Pieter卡托恩 1 格伦·科尔 1 利迪亚·卡夫拉基。 1 亚历山大·Kßler 1 Koutsoukos,Xenofon D。 1 Kress-Gazit,哈达斯 1 布鲁斯·H·克罗。 1 莫特萨·拉希贾尼安 1 法比安·劳尔 1 科拉斯·勒格尔尼奇 1 黎文良 1 希思·J·勒布朗。 1 埃尔詹·勒菲伯 …还有59位作者 全部的 前5名12篇连载文章中引用 8 理论计算机科学 5 计算机科学中的数学结构 2 信息与计算 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 Archiv der Mathematik公司 1 代数杂志 1 纯粹与应用代数杂志 1 计算的形式方面 1 函数编程杂志 1 计算机语言、系统和结构 全部的 前5名在15个字段中引用 63 计算机科学(68至XX) 22 系统论;控制(93至XX) 6 运筹学、数学规划(90-XX) 5 数学逻辑和基础(03-XX) 4 常微分方程(34-XX) 4 概率论与随机过程(60-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 群论与推广(20-XX) 2 数值分析(65-XX) 1 阶、格、有序代数结构(06-XX) 1 结合环与代数(16-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文