编辑配置文件(在新选项卡中打开) 阿列克西·舒伯特 合著者距离 作者ID: 舒伯特·阿列克西 发布日期: 阿列克西·舒伯特 外部链接: MGP公司 编入索引的文档: 34出版物自1998年以来 2作为编辑的贡献 合著者: 15位合著者具有25联合出版物 184位合作作者 全部的 前5名合著者 6 单作者的 8 藤田,健毅 7 乌日琴,Paweł 三 杰切克·克尔兹 三 Daria Walukiewicz-Chrząszcz 三 康拉德·兹达诺夫斯基 2 阿尔伯特·拉什洛·巴拉巴西 2 Jeong、Hawoong 2 佐尔坦·奈达 2 埃尔泽贝特·拉瓦兹 2 塔马斯·维克 2 马西耶·齐伦基维奇 1 托尔斯滕·阿滕柯奇 1 巴约拉特,J。 1 约瑟夫·鲍尔曼 1 亨德里克·彼得·巴伦德雷格特 1 马钦·本克 1 科拉特金,T。 1 Wil J.M.德克斯。 1 伊姆雷·德雷尼 1 康拉德·杜诺加 1 Jędrzej Fulara 1 克里斯蒂安·哈克 1 R.霍夫莫克尔。 1 Jakubczyk、Krzysztof 1 詹达,M。 1 拉尔夫·马提斯 1 奥尔特瓦伊,佐尔坦n。 1 沃伊切赫·普兰多夫斯基 1 埃里克·波尔 1 O.西蒙斯基。 全部的 前5名系列 2 物理A 2 理论计算机科学 2 信息与计算 1 信息处理信件 1 逻辑与计算杂志 1 国际自适应控制与信号处理杂志 1 MSCS公司。计算机科学中的数学结构 1 Indagationes Mathematicae公司。新系列 1 应用非经典逻辑杂志 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 1 计算机基础理论 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 28 数学逻辑和基础(03-XX) 24 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 流体力学(76-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用45中的次32文件 引用人▼ 年份▼ 科学合作社会网络的演变。 Zbl 0996.91086号 巴拉巴西,A.L。;Jeong,H。;内达州。;E.拉瓦兹。;A.舒伯特。;T·维克。 122 2002 教堂风格和货币风格之间的部分类型术语。 Zbl 0998.03009号 藤田,Ken Etsu;阿列克西·舒伯特 5 2000 术语中没有类型的存在类型系统。 兹比尔1246.03028 藤田,健毅;阿列克西·舒伯特 5 2009 加权六边形的关系抽象域。 Zbl 1342.68082号 Jędrzej Fulara;康拉德·杜诺加;Jakubczyk、Krzysztof;阿列克西·舒伯特 5 2010 低阶\(\β\)-约简的复杂性。 Zbl 0981.68025号 阿列克西·舒伯特 4 2001 关于一阶直觉主义逻辑中的Mints层次。 Zbl 1445.03008号 阿列克西·舒伯特;乌日琴,Paweł;康拉德·兹达诺夫斯基 4 2016 证明搜索的自动机理论说明。 兹比尔1434.03060 阿列克西·舒伯特;威尔·德克尔斯;Barendregt,Henk P。 4 2015 生活中的网络:缩放特性和特征值谱。 Zbl 1001.92025号 我·法克斯。;我·德雷尼。;Jeong,H。;内达州。;奥尔特瓦伊,Z.N。;E.拉瓦兹。;A.舒伯特。;巴拉巴西,A.-L。;T·维克。 三 2002 关于一阶直觉主义逻辑中的Mints层次。 Zbl 1459.03009号 阿列克西·舒伯特;乌日琴,Paweł;康拉德·兹达诺夫斯基 三 2015 无类型风格系统F中类型相关问题的不可判定性。 Zbl 1236.68128号 藤田,Ken Etsu;阿列克西·舒伯特 2 2010 限制性阳性定量不是基本的。 Zbl 1434.03021号 阿列克西·舒伯特;巴维尔·乌尔兹琴;Daria Walukiewicz-Chrzaszcz公司 2 2015 谓词直觉逻辑的自动机理论方法。 Zbl 1485.03022号 马西耶·齐伦基维奇;阿列克西·舒伯特 2 2017 麻醉中自动给药的进展——“罗斯托克麻醉控制辅助系统(RAN)”。 Zbl 1168.92315号 O.西蒙斯基。;詹达,M。;A.舒伯特。;巴约拉特,J。;R.霍夫莫克尔。;B.兰普。 2 2009 一阶答案集编程作为构造性证明搜索。 兹比尔1451.68067 阿列克西·舒伯特;乌日琴,Paweł 2 2018 多态性在软类型表征复杂性中的作用。 Zbl 1343.68082号 杰切克·克尔兹;阿列克西·舒伯特 1 2011 Church和Curry风格之间的现有类型系统(无类型风格)。 Zbl 1393.03004号 藤田,健毅;阿列克西·舒伯特 1 2014 积极量化有多难? 兹比尔1367.03021 阿列克西·舒伯特;乌日琴,Paweł;Daria Walukiewicz-Chrząszcz 1 2016 借助一阶直觉逻辑合成函数程序。 Zbl 1387.68061号 马辛·本克;阿列克西·舒伯特;Daria Walukiewicz-Chrzaszcz公司 1 2016 直觉逻辑中的答案集编程。 Zbl 1437.68037号 阿列克西·舒伯特;乌日琴,Paweł 1 2018 具有PTIME复杂性的ML保证。 Zbl 1252.68063号 杰切克·克尔扎兹茨;阿列克西·舒伯特 1 2012 具有有限分层多态类型的无类型类型系统F中类型相关问题的不可判定性。 Zbl 1283.03063号 藤田,健毅;阿列克西·舒伯特 1 2012 一阶答案集编程作为构造性证明搜索。 Zbl 1451.68067号 阿列克西·舒伯特;乌日琴,Paweł 2 2018 直觉逻辑中的答案集编程。 Zbl 1437.68037号 阿列克西·舒伯特;乌日琴,Paweł 1 2018 谓词直觉逻辑的自动机理论方法。 Zbl 1485.03022号 Zielenkiewicz,马切伊;阿列克西·舒伯特 2 2017 关于一阶直觉主义逻辑中的Mints层次。 Zbl 1445.03008号 阿列克西·舒伯特;乌日琴,Paweł;康拉德·兹达诺夫斯基 4 2016 积极量化有多难? 兹比尔1367.03021 阿列克西·舒伯特;乌日琴,Paweł;Daria Walukiewicz-Chrząszcz 1 2016 借助一阶直觉逻辑合成函数程序。 Zbl 1387.68061号 马钦·本克;阿列克西·舒伯特;Daria Walukiewicz-Chrzaszcz公司 1 2016 证明搜索的自动机理论说明。 Zbl 1434.03060号 阿列克西·舒伯特;威尔·德克尔斯;Barendregt,Henk P。 4 2015 关于一阶直觉主义逻辑中的Mints层次。 Zbl 1459.03009号 阿列克西·舒伯特;乌日琴,Paweł;康拉德·兹达诺夫斯基 三 2015 限定的正量化不是基本的。 Zbl 1434.03021号 阿列克西·舒伯特;巴维尔·乌尔兹琴;Daria Walukiewicz-Chrzaszcz公司 2 2015 Church和Curry风格之间的现有类型系统(无类型风格)。 Zbl 1393.03004号 藤田,健毅;阿列克西·舒伯特 1 2014 具有PTIME复杂性的ML保证。 兹比尔1252.68063 杰切克·克尔扎兹茨;阿列克西·舒伯特 1 2012 具有有限分层多态类型的无类型类型系统F中类型相关问题的不可判定性。 Zbl 1283.03063号 藤田,健毅;阿列克西·舒伯特 1 2012 多态性在软类型表征复杂性中的作用。 Zbl 1343.68082号 杰切克·克尔兹;阿列克西·舒伯特 1 2011 加权六边形的关系抽象域。 兹比尔1342.68082 Jędrzej Fulara;康拉德·杜诺加;Jakubczyk、Krzysztof;阿列克西·舒伯特 5 2010 无类型风格系统F中类型相关问题的不可判定性。 Zbl 1236.68128号 藤田,Ken Etsu;阿列克西·舒伯特 2 2010 术语中没有类型的存在类型系统。 Zbl 1246.03028号 藤田,健毅;阿列克西·舒伯特 5 2009 麻醉中自动给药的进展——“罗斯托克麻醉控制辅助系统(RAN)”。 Zbl 1168.92315号 O.西蒙斯基。;詹达,M。;A.舒伯特。;巴约拉特,J。;R.霍夫莫克尔。;B.兰普。 2 2009 科学合作社会网络的演变。 Zbl 0996.91086号 巴拉巴西,A.L。;Jeong,H。;内达州。;E.拉瓦兹。;A.舒伯特。;T·维克。 122 2002 生活中的网络:缩放特性和特征值谱。 Zbl 1001.92025号 我.法克斯。;我·德雷尼。;Jeong,H。;内达州。;奥尔特瓦伊,Z.N。;拉瓦斯,E。;A.舒伯特。;巴拉巴西,A.-L。;T·维克。 三 2002 低阶\(\β\)-约简的复杂性。 Zbl 0981.68025号 阿列克西·舒伯特 4 2001 教堂风格和货币风格之间的部分类型术语。 Zbl 0998.03009号 藤田,Ken Etsu;阿列克西·舒伯特 5 2000 所有引用出版物 前5名被引用出版物 全部的 前5名被43位作者引用 9 阿列克西·舒伯特 6 藤田,健毅 4 乌日琴,Paweł 2 桑德拉·阿尔维斯 2 萨宾·布罗达 2 查伊卡,Łukasz 2 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 2 拉尔夫·马提斯 2 鲁伊斯·平托(Luís F.Pinto)。 2 康拉德·兹达诺夫斯基 1 吉安卢卡·阿马托 1 帕特里克·贝洛特 1 海宁·巴索尔德 1 Michael A.Benedikt。 1 梅迪·布阿齐兹 1 布洛克-南内斯塔德,陶斯 1 杰切克·克尔兹 1 Gianluca Curzi 1 埃里卡·德·贝内代蒂 1 安德烈·杜登赫夫纳 1 藤原真本 1 Jędrzej Fulara 1 伊利克、丹科 1 Jakubczyk、Krzysztof 1 塞萨里·卡利西克 1 Yukiyoshi县Kameyama 1 叶卡捷琳娜·科门丹茨卡亚 1 Kurahashi、Taishi 1 广岛中野 1 中泽,Koji 1 毛里齐奥·帕顿 1 加布里埃尔,小狗 1 雅各布·雷霍夫 1 西蒙娜·隆奇·德尔拉·罗卡 1 卢卡·罗维斯 1 Rozplokhas,德米特里 1 弗朗西丝卡·斯科扎里 1 Makoto Tatsuta 1 川崎捷瑞 1 Vu和Huy 1 Daria Walukiewicz-Chrząszcz 1 埃纳州扎法内拉 1 马西耶·齐伦基维奇 全部的 前5名14篇连载文章中引用 5 信息与计算 三 理论计算机科学 三 逻辑程序设计理论与实践 1 信息处理信件 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 应用非经典逻辑杂志 1 数学逻辑季刊(MLQ) 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 在4个字段中引用 22 数学逻辑和基础(03-XX) 19 计算机科学(68至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 按年份列出的引文