编辑配置文件(在新选项卡中打开) 奥哈·什卡拉夫斯卡 合著者距离 作者ID: 什卡拉夫斯卡·奥尔哈 发布日期: 奥哈·什卡拉夫斯卡;O.什卡拉夫斯卡。 已编制索引的文档: 9出版物自2004年起 2作为编辑的贡献 合著者: 9合著者具有11联合出版物 223位合作作者 全部的 前5名合著者 0 单作者的 9 马克·范·埃克伦 三 罗恩·范凯斯特伦 2 里卡多·佩纳 1 伦纳特·贝林格 1 马丁·霍夫曼 1 阿尔贝托·莫米利亚诺 1 黑山,曼努埃尔 1 权力,约翰 1 亚历杭德罗·塔马利特 系列 2 符号计算杂志 2 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 全部的 前5名领域 8 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 差分和函数方程(39至XX) 1 数理逻辑与基础(03-XX) 1 场论与多项式(12-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用39中的次33文件 引用人▼ 年份▼ 从Comodel到coalebras:状态和数组。 兹比尔1271.18006 权力,约翰;奥哈·什卡拉夫斯卡 16 2004 堆消耗的自动认证。 Zbl 1108.68374号 伦纳特·贝林格;马丁·霍夫曼;阿尔贝托·莫米利亚诺;奥哈·什卡拉夫斯卡 9 2005 一阶形状函数的多项式尺寸分析。 Zbl 1163.68009号 奥哈·什卡拉夫斯卡;马克·范·埃克伦;罗恩·范凯斯特伦 5 2009 代数差分方程的单变量多项式解。 Zbl 1284.39005号 O.什卡拉夫斯卡。;范·埃克伦(M.van Eekelen)。 三 2014 通用多态列表上严格函数程序的集合大小语义。 Zbl 1445.68047号 奥哈·什卡拉夫斯卡;马克·范·埃克伦;亚历杭德罗·塔马利特 三 2014 一阶函数的多项式尺寸分析。 Zbl 1163.68316号 奥哈·什卡拉夫斯卡;罗恩·范凯斯特伦;马克·范·埃克伦 2 2007 通过测试推断静态非单调大小软件类型。 Zbl 1283.68129号 罗恩·范凯斯特伦;奥哈·什卡拉夫斯卡;马克·范·埃克伦 1 2008 代数差分方程的单变量多项式解。 Zbl 1284.39005号 O.什卡拉夫斯卡。;范·埃克伦(M.van Eekelen)。 三 2014 通用多态列表上严格函数程序的集合大小语义。 Zbl 1445.68047号 奥哈·什卡拉夫斯卡;马克·范·埃克伦;亚历杭德罗·塔马利特 三 2014 一阶形状函数的多项式尺寸分析。 Zbl 1163.68009号 奥哈·什卡拉夫斯卡;马克·范·埃克伦;罗恩·范凯斯特伦 5 2009 通过测试推断静态非单调大小软件类型。 Zbl 1283.68129号 罗恩·范凯斯特伦;奥哈·什卡拉夫斯卡;马克·范·埃克伦 1 2008 一阶函数的多项式尺寸分析。 Zbl 1163.68316号 奥哈·什卡拉夫斯卡;罗恩·范凯斯特伦;马克·范·埃克伦 2 2007 堆消耗的自动认证。 兹比尔1108.68374 伦纳特·贝林格;马丁·霍夫曼;阿尔贝托·莫米利亚诺;奥哈·什卡拉夫斯卡 9 2005 从Comodel到coalebras:状态和数组。 Zbl 1271.18006号 权力,约翰;奥哈·什卡拉夫斯卡 16 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名53位作者引用 6 塔尔莫乌斯塔卢 6 马克·范·埃克伦 4 伦纳特·贝林格 三 达内尔·阿赫曼 三 权力,约翰 三 奥哈·什卡拉夫斯卡 2 大卫·阿斯皮纳尔 2 安德烈·鲍尔 2 Richard加纳 2 马丁·霍夫曼 2 德克·帕丁森 2 戈登·普洛金(Gordon D.Plotkin)。 1 法利斯·阿布·萨利赫 1 彼得·阿奇顿 1 Mike Behrisch先生 1 弗雷德里克·贝松 1 克拉克、戴夫 1 雷纳·哈内尔 1 伊曼纽尔·海因里 1 克劳迪奥·赫米达 1 Hyland,J.Martin E。 1 塞巴斯蒂安·柯霍夫 1 罗迪·克尔斯滕 1 皮特·库普曼 1 保罗·布莱恩·利维 1 汉斯·沃夫冈·洛伊德 1 帕特里克·梅尔 1 迪伦·麦克德莫特 1 阿尔贝托·莫米利亚诺 1 黑山,曼努埃尔 1 马可·T·莫拉赞。 1 潘靖 1 保罗·帕里森·托尔丁 1 马可·帕特里格纳尼 1 玛丽埃拉·巴夫洛娃 1 罗曼·佩乔 1 里卡多·佩纳 1 大卫·皮哈迪 1 普雷特纳,马蒂亚 1 埃克塞奎尔·里瓦斯 1 菲利普·吕默 1 安藤萨巴斯 1 卢茨·施罗德 1 克拉拉·塞古拉 1 斯梅特泽斯,沙克 1 伊恩·斯塔克 1 罗伯特·坦南特。 1 伯纳德·范加斯特尔 1 罗恩·范凯斯特伦 1 瓦尔莫·维尼 1 Vo、Thieu N。 1 丹尼斯·沃尔特 1 张毅 全部的 前5名10篇连载文章中引用 5 理论计算机科学 2 符号计算杂志 2 信息与计算 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 1 应用数学进展 1 MSCS公司。计算机科学中的数学结构 1 高阶和符号计算 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 29 计算机科学(68至XX) 10 范畴理论;同调代数(18-XX) 9 数理逻辑与基础(03-XX) 三 差分和函数方程(39至XX) 1 一般代数系统(08-XX) 1 场论与多项式(12-XX) 1 代数几何(14-XX) 按年份列出的引文