编辑配置文件(在新选项卡中打开) 乔治安娜·卡尔泰斯 合著者距离 作者ID: 佐治亚州卡尔泰 发布方式: 乔治亚娜·卡尔泰斯;卡尔泰斯,G。 已编制索引的文档: 12出版物自2009年起 1名编辑贡献 合著者: 17合著者具有12联合出版物 436位合作作者 全部的 前5名合著者 1 单作者的 5 欧根·伊安·戈里亚克 4 亚历山德拉·席尔瓦 三 菲利波·邦奇 三 马塞洛·玛丽亚·邦桑格 三 多雷尔·卢卡努 三 简·J·M·M·鲁顿。 2 卢卡·埃特罗 2 Anna Ingólfsdóttir 2 穆罕默德·穆萨维 2 昆卡罐Tunç 1 奥纳·安德烈 1 格里戈拉什 1 侯赛因·霍贾特 1 Damien Pous 1 格里高·罗什乌 1 克里斯蒂安·席林 1 哈古比尔·辛格 系列 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 领域 13 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用24中的次23文件 引用人▼ 年份▼ 中国保监会:基于循环共创的行为验证工具。 Zbl 1239.68066号 多雷尔·卢卡努;欧根·伊安·戈里亚克;乔治亚娜·卡尔泰斯;格里高·罗什乌 14 2009 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;简·拉特;亚历山德拉·席尔瓦 三 2012 广义正则表达式双相似性的判定过程。 兹比尔1325.68127 马塞洛·邦桑格;乔治安娜·卡尔泰斯;Eugen Ioan戈里亚克;多雷尔·卢卡努;简·拉特;亚历山德拉·席尔瓦 2 2011 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 用于必须测试的Brzozowski和up-to算法。 Zbl 1426.68180号 菲利波·邦奇;乔治亚娜·卡尔泰斯;Damien Pous;亚历山德拉·席尔瓦 2 2013 面向对象语言的基于表达式的别名。 Zbl 1328.68043号 乔治亚娜·卡尔泰斯 1 2015 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 面向对象语言的基于表达式的别名。 Zbl 1328.68043号 乔治亚娜·卡尔泰斯 1 2015 用于必须测试的Brzozowski和up-to算法。 Zbl 1426.68180号 菲利波·邦奇;乔治亚娜·卡尔泰斯;Damien Pous;亚历山大·席尔瓦 2 2013 修饰痕迹的最终语义。 兹比尔1342.68224 菲律宾邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;简·拉特;亚历山德拉·席尔瓦 三 2012 广义正则表达式双相似性的判定过程。 Zbl 1325.68127号 马塞洛·邦桑格;乔治安娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;简·拉特;亚历山德拉·席尔瓦 2 2011 中国保监会:基于循环共创的行为验证工具。 Zbl 1239.68066号 多雷尔·卢卡努;欧根·伊安·戈里亚克;乔治亚娜·卡尔泰斯;格里高·罗什乌 14 2009 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 6 亚历山德拉·席尔瓦 5 多雷尔·卢卡努 5 简·J·M·M·鲁顿。 4 马塞洛·玛丽亚·邦桑格 三 乔治亚娜·卡尔泰斯 2 菲利波·邦奇 2 高基町五指 2 巴特·雅各布斯 2 克莱门斯·库普克 2 Kazuhiro绪方 2 德克·帕丁森 2 格里高·罗什乌 2 朱里安·罗特 2 卢茨·施罗德 1 奥曼·波霍拉,约翰内斯 1 巴博萨、路易斯·索亚雷斯 1 哈什·贝哈尔 1 贾斯敏·克里斯蒂安·布兰切特 1 艾默里·布齐 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 丹尼尔·加恩 1 Eugen Ioan戈里亚克 1 花冈、果一郎 1 Helle Hvid Hansen先生 1 莫阿·约翰逊 1 Kitagawa、Fuyuki 1 巴巴拉·科尼格 1 亚历山大·克劳斯 1 塞巴斯蒂安·库珀 1 亚历山大·库兹 1 皮埃尔·莱斯坎 1 安德烈亚斯·洛赫比勒 1 亚历山大·马德拉 1 马丁斯(Manuel António Martins) 1 高弘松田 1 斯特凡·米利厄斯 1 托比亚斯·尼普科 1 马蒂厄·佩里内尔 1 安德烈·波佩斯库 1 阿德里安·里斯科 1 弗拉德鲁苏 1 埃兹拉·肖恩 1 安娜·索科洛娃 1 田中庆介 1 德米特里·特拉泰尔 1 鲁本·图尔肯堡 1 托尔斯滕·维曼 全部的 前5名8篇连载文章中引用 2 信息与计算 2 计算的形式方面 2 计算机科学中的逻辑方法 1 信息学报 1 计算机与系统科学杂志 1 Studia Logica公司 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 在5个字段中引用 21 计算机科学(68至XX) 5 范畴理论;同调代数(18-XX) 4 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文