编辑配置文件(在新选项卡中打开) 伊雷纳游击队 合著者距离 作者ID: guessarian.irene酒店 发布日期: 伊雷纳游击队;艾琳·盖萨里安;我,游击队员。 更多。。。较少的 已编制索引的文档: 68出版物自1974年以来,包括3本书和1个附加arXiv预打印 3作为编辑的贡献 合著者: 27位合著者具有40联合出版物 674位合作作者 全部的 前5名合著者 30 单作者的 16 帕特里克·切吉尔斯基 9 谢尔盖·格里戈里夫 5 安德烈·阿诺德 4 尤里·弗拉基米洛维奇·马蒂亚塞维奇 2 Afrati,Foto N。 2 哈伊纳尔·安德雷卡 2 北卡罗来纳州本索。 2 大卫·本森。 2 尤格尼·福斯托科斯 2 伊斯坦·内梅蒂 2 尼尔·迪内丹,瓦法阿 2 Veloso Peikoto,马科斯 1 西奥多·安德罗尼科斯 1 吕克·博阿松 1 科拉多·伯姆 1 查迪利,M。 1 布鲁诺·库塞尔 1 克利斯朵夫·德梅因德雷维尔 1 米歇尔·德·罗杰蒙特 1 弗朗索瓦·埃尔明 1 乔治·加达林 1 乔泽夫·格鲁斯卡 1 Lifshits,尤里 1 何塞·梅塞盖尔·瓜伊塔 1 莫里斯·尼瓦特 1 Francesco,巴黎人 1 普里塞·卢茨 全部的 前5名系列 6 理论计算机科学 三 信息处理信件 2 代数普遍性 2 计算机与系统科学杂志 2 意大利信息研究所 2 欧洲理论计算机科学协会(EATCS)公报 2 逻辑与计算杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 RAIRO公司。理论信息学及其应用 2 计算机科学课堂讲稿 1 离散应用数学 1 数学科学公报。Deuxième Série 1 代数杂志 1 数学系统理论 1 SIAM计算机杂志 1 匈牙利科学研究所 1 波兰数学年鉴。系列IV 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 数学科学杂志(纽约) 1 自动机、语言和组合数学杂志 1 离散数学和理论计算机科学。DMTCS公司 1 计算机基础理论 1 整数 1 国际数论杂志 1 塞丽亚科学院的Comptes Rendus Hebdomadaires des Sénces de l'Académie des Sciences 全部的 前5名领域 61 计算机科学(68至XX) 11 数理逻辑与基础(03-XX) 10 一般代数系统(08-XX) 7 阶、格、有序代数结构(06-XX) 4 数论(11-XX) 三 总体主题;集合(00-XX) 三 结合环与代数(16-XX) 2 组合数学(05-XX) 1 场论与多项式(12-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物有被引用237中的次189文件 引用人▼ 年份▼ 代数语义。 Zbl 0474.68010号 伊雷纳游击队 44 1981 下推树自动机。 Zbl 0524.68047号 艾琳·盖萨里安 30 1983 程序的代数语义和逻辑。 Zbl 0602.68017号 我,游击队员。 23 1986 关于“if-then-else”的公理化。 Zbl 0628.68032号 伊雷纳游击队;何塞·梅塞盖尔 13 1987 关于某些类别的解释。 Zbl 0392.68009号 布鲁诺·库塞尔;艾琳·盖萨里安 12 1978 压缩文本的窗口子序列问题。 Zbl 1178.68694号 帕特里克·塞吉尔斯基;伊雷纳游击队;Lifshits,尤里;尤里·马蒂亚塞维奇 9 2006 并发进程系统的语义。LITP春季理论计算机科学学校,法国拉罗什波塞,1990年4月23日至27日。诉讼程序。 Zbl 0744.68020号 6 1990 窗口累积子序列匹配问题是线性的。 Zbl 0998.68042号 吕克·博阿松;帕特里克·塞吉尔斯基;伊雷纳游击队;尤里·马蒂亚塞维奇 6 2002 程序方案的语义等价及其句法特征。 Zbl 0364.68019号 我,游击队员。 6 1976 转换约束逻辑程序。 Zbl 0913.68042号 北卡罗来纳州本索。;我,游击队员。 6 1998 具有积分差分比的自然整数上函数的牛顿表示。 Zbl 1395.11006号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 6 2015 Les tests et leur caractérisation syntaxique测试与勒尔卡拉克特综合征。 Zbl 0364.68018号 艾琳·盖萨里安 5 1977 程序转换和代数语义。 Zbl 0399.68023号 艾琳·盖萨里安 5 1979 结合T和N级。 Zbl 0477.68091号 达姆,W。;盖萨林,我。 5 1981 递归格式的代数解。 Zbl 0637.68018号 大卫·本森。;伊雷纳游击队 4 1987 连续完井时。 Zbl 0405.68016号 艾琳·盖萨里安 4 1979 代数结构中的一些不动点技术及其在计算机科学中的应用。 Zbl 0634.68009号 伊雷纳游击队 三 1987 转换约束逻辑程序。 Zbl 0941.68537号 北卡罗来纳州本索。;我,游击队员。 三 1994 将逻辑程序转换为函数不动点方程。 Zbl 0681.68108号 乔治·加达林;伊雷纳游击队;克利斯朵夫·德梅因德雷维尔 三 1989 迭代和递归矩阵理论。 Zbl 0527.18004号 大卫·本森。;艾琳·盖萨里安 三 1984 确定一致连接数据日志程序的有界性。 Zbl 0789.68017号 伊雷纳游击队 三 1990 自由幺半群上的保同余函数。 Zbl 1435.08001号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 三 2017 代数语义和动态逻辑的统一定理。 Zbl 0616.03016号 安德雷卡,H。;我,游击队员。;内梅蒂,我。 2 1987 关于解释类别及其应用的调查。 Zbl 0617.68013号 艾琳·盖萨里安 2 1985 SCCS中公平性的自动机特征。 Zbl 0644.68036号 伊雷纳游击队;尼尔·迪内丹,瓦法阿 2 1988 关于自然整数正则集在减量下闭合的格。 Zbl 1366.68140号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 2 2014 关于公平SCCS中建模正则性的最小算子数。 Zbl 0676.68036号 伊雷纳游击队;普里塞·卢茨 2 1988 关于下推树自动机。 Zbl 0465.68021号 艾琳·盖萨里安 2 1981 树包含问题。 Zbl 1149.68040号 帕特里克·塞吉尔斯基;伊雷纳游击队;尤里·马蒂亚塞维奇 2 2008 同步系统的定点语义及其基本转换的正确性。 Zbl 0883.68084号 乔泽夫·格鲁斯卡;伊雷纳游击队 2 1997 多个系列剧集匹配。 Zbl 1187.68178号 帕特里克·塞吉尔斯基;伊雷纳游击队;尤里·马蒂亚塞维奇 2 2006 整数上的积分差分比函数。 Zbl 1323.11002号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 2 2014 关于某些Datalog和Datalog程序的有界性。 兹比尔0988.68560 伊雷纳游击队;马科斯·维洛索·佩克索托 1 1994 等效性dans l’algèbre des schemas de program。 Zbl 0296.68015号 艾琳·盖萨里安 1 1974 时间逻辑与数据日志。 Zbl 1019.03021号 伊雷纳游击队;尤格尼·福斯托科斯;西奥多·安德罗尼科斯;阿夫拉蒂、福托 1 2003 俄勒冈州波利尼奥斯的土地利用。 兹比尔0284.16002 艾琳·盖萨里安 1 1974 代数语义的一些应用。 Zbl 0378.68007号 艾琳·盖萨里安 1 1978 A·阿诺德(A.Arnold)提出的上诉语义建议。 Zbl 0392.68007号 我,游击队员。 1 1978 计划优化的方法。 Zbl 0404.68013号 艾琳·盖萨里安 1 1978 代数语义和动态逻辑的统一定理。 Zbl 0591.68040号 安德烈卡,H。;我,游击队员。;内梅蒂,我。 1 1985 SCCS过程的公平性和规律性。 Zbl 0665.68019号 伊雷纳游击队;Wafáa的Niar-Dinedane 1 1989 计算机科学数学。 Zbl 0849.68001号 安德烈·阿诺德;伊雷纳游击队 1 1996 迭代与正则因子代数。 Zbl 0534.03012号 伊雷纳游击队;弗朗西斯科·帕里西·普雷西奇 1 1983 完全二叉树代数的仿射完备性。 Zbl 1484.08001号 安德烈·阿诺德;帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 1 2020 通过有理多项式刻画保同余函数(\mathbb Z/n\mathbbZ\to\mathbb2 Z/m\mathbb-Z\)。 Zbl 1377.11005号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 1 2016 一些扩展抽象状态机的规范化。 兹比尔1287.68044 帕特里克·塞吉尔斯基;伊雷纳游击队 1 2010 算术同余保持:从有限到无限。 Zbl 1465.11031号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 1 2015 完全二叉树代数的仿射完备性。 Zbl 1484.08001号 安德烈·阿诺德;帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 1 2020 自由幺半群上的保同余函数。 Zbl 1435.08001号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 三 2017 通过有理多项式刻画保同余函数(\mathbb Z/n\mathbbZ\to\mathbb2 Z/m\mathbb-Z\)。 Zbl 1377.11005号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 1 2016 函数在具有积分差比的自然整数上的牛顿表示。 Zbl 1395.11006号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 6 2015 算术同余保持:从有限到无限。 Zbl 1465.11031号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 1 2015 关于自然整数正则集在减量下闭合的格。 Zbl 1366.68140号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 2 2014 整数上的积分差分比函数。 Zbl 1323.11002号 帕特里克·塞吉尔斯基;谢尔盖·格里戈里夫;伊雷纳游击队 2 2014 一些扩展抽象状态机的规范化。 Zbl 1287.68044号 帕特里克·塞吉尔斯基;伊雷纳游击队 1 2010 树包含问题。 Zbl 1149.68040号 帕特里克·塞吉尔斯基;伊雷纳游击队;尤里·马蒂亚塞维奇 2 2008 压缩文本的窗口子序列问题。 Zbl 1178.68694号 帕特里克·塞吉尔斯基;伊雷纳游击队;Lifshits,尤里;尤里·马蒂亚塞维奇 9 2006 多个连续剧匹配。 Zbl 1187.68178号 帕特里克·塞吉尔斯基;伊雷纳游击队;尤里·马蒂亚塞维奇 2 2006 时间逻辑与数据日志。 Zbl 1019.03021号 伊雷纳游击队;尤格尼·福斯托科斯;西奥多·安德罗尼科斯;阿夫拉蒂、福托 1 2003 窗口累积子序列匹配问题是线性的。 Zbl 0998.68042号 吕克·博阿松;帕特里克·塞吉尔斯基;伊雷纳游击队;尤里·马蒂亚塞维奇 6 2002 转换约束逻辑程序。 Zbl 0913.68042号 北卡罗来纳州本索。;我,游击队员。 6 1998 同步系统的定点语义及其基本转换的正确性。 Zbl 0883.68084号 乔泽夫·格鲁斯卡;伊雷纳游击队 2 1997 计算机科学数学。 Zbl 0849.68001号 安德烈·阿诺德;伊雷纳游击队 1 1996 转换约束逻辑程序。 Zbl 0941.68537号 北卡罗来纳州本索。;我,游击队员。 三 1994 关于某些Datalog和Datalog\(^{\text{neg}})程序的有界性。 Zbl 0988.68560号 伊雷纳游击队;马科斯·维洛索·佩克索托 1 1994 并发进程系统的语义。LITP春季理论计算机科学学校,法国拉罗什波塞,1990年4月23日至27日。诉讼程序。 Zbl 0744.68020号 6 1990 确定一致连接数据日志程序的有界性。 Zbl 0789.68017号 伊雷纳游击队 三 1990 将逻辑程序转换为函数不动点方程。 Zbl 0681.68108号 乔治·加达林;伊雷纳游击队;克利斯朵夫·德梅因德雷维尔 三 1989 SCCS过程的公平性和规律性。 兹伯利0665.68019 伊雷纳游击队;Wafáa的Niar-Dinedane 1 1989 SCCS中公平性的自动机特征。 Zbl 0644.68036号 伊雷纳游击队;尼尔·迪内丹,瓦法阿 2 1988 关于公平SCCS中建模正则性的最小算子数。 Zbl 0676.68036号 伊雷纳游击队;普里塞·卢茨 2 1988 关于“if-then-else”的公理化。 Zbl 0628.68032号 伊雷纳游击队;何塞·梅塞盖尔 13 1987 递归格式的代数解。 Zbl 0637.68018号 大卫·本森。;伊雷纳游击队 4 1987 代数结构中的一些不动点技术及其在计算机科学中的应用。 Zbl 0634.68009号 伊雷纳游击队 三 1987 代数语义和动态逻辑的统一定理。 Zbl 0616.03016号 安德雷卡,H。;我,游击队员。;内梅蒂,我。 2 1987 程序的代数语义和逻辑。 Zbl 0602.68017号 我,游击队员。 23 1986 关于解释类别及其应用的调查。 Zbl 0617.68013号 艾琳·盖萨里安 2 1985 代数语义和动态逻辑的统一定理。 Zbl 0591.68040号 安德烈卡,H。;我,游击队员。;内梅蒂,我。 1 1985 迭代和递归矩阵理论。 兹伯利0527.18004 大卫·本森。;艾琳·盖萨里安 三 1984 下推树自动机。 Zbl 0524.68047号 艾琳·盖萨里安 30 1983 迭代与正则因子代数。 Zbl 0534.03012号 伊雷纳游击队;Francesco,巴黎人 1 1983 代数语义。 Zbl 0474.68010号 伊雷纳游击队 44 1981 结合T和N级。 Zbl 0477.68091号 达姆,W。;我,游击队员。 5 1981 关于下推树自动机。 兹伯利0465.68021 艾琳·盖萨里安 2 1981 程序转换和代数语义。 Zbl 0399.68023号 艾琳·盖萨里安 5 1979 连续完井时。 Zbl 0405.68016号 艾琳·盖萨里安 4 1979 关于某些类别的解释。 Zbl 0392.68009号 布鲁诺·库塞尔;艾琳·盖萨里安 12 1978 代数语义的一些应用。 Zbl 0378.68007号 艾琳·盖萨里安 1 1978 A·阿诺德(A.Arnold)提出的上诉语义建议。 Zbl 0392.68007号 我,游击队员。 1 1978 计划优化的方法。 Zbl 0404.68013号 艾琳·盖萨里安 1 1978 Les tests et leur caractérisation syntaxique测试与勒尔卡拉克特综合征。 Zbl 0364.68018号 艾琳·盖萨里安 5 1977 程序方案的语义等价及其句法特征。 Zbl 0364.68019号 我,游击队员。 6 1976 等效性dans l’algèbre des schemas de program。 Zbl 0296.68015号 艾琳·盖萨里安 1 1974 俄勒冈州波利尼奥斯的土地利用。 Zbl 0284.16002号 艾琳·盖萨里安 1 1974 所有引用的出版物 前5名被引用出版物 全部的 前5名229位作者引用 23 伊雷纳游击队 11 布鲁诺·库塞尔 9 帕特里克·塞吉尔斯基 9 艾西克,佐尔坦 7 阿达梅克,吉安尼 5 谢尔盖·格里戈里夫 5 Kai T.Salomaa。 5 福格勒、海科 4 斯特凡·米利厄斯 4 伊夫林·尼尔森(Evelyn M.Nelson)。 4 艾哈迈德·索乌迪 三 哈伊纳尔·安德雷卡 三 安德烈·阿诺德 三 斯蒂芬·布鲁姆。 三 约斯特·恩格尔弗里特 三 让·H·盖利尔。 三 轩尼诗,Matthew C.B。 三 何塞·梅塞盖尔·瓜伊塔 三 伊斯坦·内梅蒂 三 雷特曼,Jan 三 Masahiko酒井 三 蒂莫西·斯托克斯(Timothy E.Stokes)。 三 吉·维勒比尔 三 奥伦·魏曼 2 卢卡·埃特罗 2 大卫·本森。 2 普兰达尔·巴杜里 2 菲利普·比尔 2 Jean-Luc Coquidé 2 马克斯·多切特 2 雷米·吉伦 2 C.A.R.Tony Hoare 2 马塞尔·杰克逊。 2 佛罗伦萨·杰克马尔 2 劳伦·科特 2 沃纳·库奇 2 Gad M.兰道。 2 尤里·弗拉基米洛维奇·马蒂亚塞维奇 2 Masanori长岛 2 Panicker,加亚特里 2 弗朗西斯科·帕里西·普雷西奇 2 阿尔贝托·佩特罗西 2 阿尔班·蓬塞 2 普里塞·卢茨 2 毛里齐奥·普罗埃蒂 2 乔治·拉霍尼斯 2 沙赫巴兹扬,K.V。 2 Yu Shoukourian。H。 2 亚历山大·提斯金 2 约翰·V·塔克。 2 索罗·图利帕尼 2 亚罗斯拉夫·乌森科。 2 瓦格伏尔盖,桑多尔 2 范格拉贝克、罗伯特·扬 1 萨姆森·艾布拉姆斯基 1 维托·米歇尔·阿布鲁西 1 贾姆·阿古斯蒂 1 阿尔特·卡奇,哈桑 1 汤姆·J·阿梅罗特。 1 埃吉迪奥·阿斯泰西亚诺 1 本杰明·阿齐兹 1 伊迪奥·班奈 1 法国贝勒加德 1 克里斯托弗·伯努瓦 1 北本索。 1 J.Douglas,Birdwell 1 爱德华·肯尼思·布鲁姆 1 马塞洛·玛丽亚·邦桑格 1 书,罗纳德·弗农 1 杰拉德·布多尔 1 西蒙·博扎帕里迪斯 1 弗朗索瓦·布隆萨德 1 卡洛斯·卡米诺 1 维吉尔·埃米尔·卡兹内斯库 1 Chan、Wai Hong 1 科科特,J.罗宾B。 1 Patrick Hagge,跳绳 1 安德烈亚·科拉迪尼 1 阿提拉·Csenki 1 皮埃尔·卢伊斯·居里 1 菲利普·达伦多 1 克利斯朵夫·德梅因德雷维尔 1 德马尔基,费德里科 1 洛科·德尼古拉 1 德利沃里亚斯,Stathis 1 托拜厄斯·登金格 1 皮埃尔·德兰萨特 1 沃尔克·迪克特 1 丁英才 1 纳杰斯·多加兹 1 Doh、Kyung-Goo 1 Besik Dundua 1 桑德罗·埃塔利 1 格里戈里·费迪尤科维奇 1 法比奥·菲奥拉万蒂 1 尤格尼·福斯托科斯 1 佐尔坦,福尔öp 1 毛里齐奥·加布里埃利 1 法比奥·加杜奇 1 高新燕 …还有129位作者 全部的 前5名42篇连载文章中引用 54 理论计算机科学 11 信息与计算 9 计算机与系统科学杂志 7 信息处理信件 7 代数普遍性 6 RAIRO公司。Informatique Théorique et Applications公司 5 信息学报 5 意大利信息研究所 4 数学系统理论 4 RAIRO公司。理论信息学及其应用 三 算法 三 国际代数与计算杂志 三 控制论与系统分析 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 纯粹与应用代数杂志 2 数学科学杂志(纽约) 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 离散应用数学 1 国际通用系统杂志 1 国际理论物理杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 模糊集与系统 1 代数杂志 1 苏联数学杂志 1 SIAM计算机杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 国际近似推理杂志 1 国际计算机科学基础杂志 1 数学逻辑档案 1 有限域及其应用 1 LMS计算与数学杂志 1 工程与信息科学中的概率论 1 计算机基础理论 1 整数 1 应用数学杂志 1 量子信息处理 1 ACM计算逻辑汇刊 1 国际数论杂志 全部的 前5名23个字段中引用 165 计算机科学(68至XX) 32 数理逻辑与基础(03-XX) 22 一般代数系统(08-XX) 19 范畴理论;同调代数(18-XX) 13 阶、格、有序代数结构(06-XX) 5 数论(11-XX) 5 结合环与代数(16-XX) 5 群论与推广(20-XX) 2 组合数学(05-XX) 2 场论与多项式(12-XX) 2 一般拓扑结构(54至XX) 2 量子理论(81-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 算子理论(47-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文