编辑配置文件（在新选项卡中打开） 米查尔·科内奇 合著者距离 作者ID： 科内克尼米查尔 发布日期： 米查尔·科内奇 外部链接： ORCID公司 已编制索引的文档： 15出版物自2002年以来，包括1个附加arXiv预打印 合著者： 17合著者具有11联合出版物 331合著作者 全部的 前5名合著者 4 单作者的 4 阿明·法朱迪安 三 简·杜拉茨 2 艾克·诺依曼 2 塞翁公园 2 瓦利德·塔哈 2 霍尔格·蒂斯 1 亚伦·D·埃姆斯。 1 大卫·阿斯皮纳尔 1 费伦茨·戈斯顿·巴塔 1 Franz Brauße 1 彼得·柯林斯。 1 亚当·杜拉茨 1 马丁·霍夫曼 1 李吉西克 1 Müller，Norbert Th。 1 Preining，诺伯特 1 弗洛里安·斯坦伯格 全部的 前5名系列 2 理论计算机科学 2 通用计算机科学杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 非线性分析。混合动力系统 1 可计算性 全部的 前5名领域 11 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 4 数值分析（65-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用26中的次23文件 引用人▼ 年份▼ 封闭混合自动机在Zeno点前后的行为。 Zbl 1336.93085号 米查尔·科内奇;瓦利德·塔哈;费伦茨·巴尔塔。;简·杜拉茨;亚当·杜拉茨;亚伦·D·埃姆斯。 7 2016 使用仿射表示的有限自动机可计算的实函数。 Zbl 1039.68050号 米查尔·科内奇 5 2002 域理论Picard方法的时间复杂度和收敛性分析。 Zbl 1155.65356号 阿明·法朱迪安;米查尔·科内奇 三 2008 具有使用方面的类型系统。 Zbl 1142.68019号 大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇 三 2008 精确值的查询驱动通信的语义。 Zbl 1216.68155号 米查尔·科内奇;阿明·法朱迪安 2 2010 具有精确值的查询驱动通信的数据流网络的合成语义。 Zbl 1216.68156号 米查尔·科内奇;阿明·法朱迪安 2 2010 可行近似函数的表示和评估策略。 Zbl 1493.03006号 米查尔·科内奇;艾克·诺依曼 1 2021 实数函数可由有限自动机增量计算。 兹比尔1072.68057 米查尔·科内奇 1 2004 函数区间算术。 Zbl 1435.65071号 简·杜拉茨;阿明·法朱迪安;米查尔·科内奇;瓦利德·塔哈 1 2014 浮点软件验证的多项式函数间隔。 Zbl 1296.65071号 简·杜拉茨;米查尔·科内奇 1 2014 可行近似函数的表示和评估策略。 Zbl 1493.03006号 米查尔·科内奇;艾克·诺依曼 1 2021 封闭混合自动机在Zeno点前后的行为。 Zbl 1336.93085号 米查尔·科内奇;瓦利德·塔哈;费伦茨·巴尔塔。;简·杜拉茨;亚当·杜拉茨;亚伦·D·埃姆斯。 7 2016 函数区间算术。 Zbl 1435.65071号 简·杜拉茨;阿明·法朱迪安;米查尔·科内奇;瓦利德·塔哈 1 2014 浮点软件验证的多项式函数间隔。 Zbl 1296.65071号 简·杜拉茨;米查尔·科内奇 1 2014 查询驱动的精确值通信的语义。 Zbl 1216.68155号 米查尔·科内奇;阿明·法朱迪安 2 2010 具有精确值的查询驱动通信的数据流网络的合成语义。 Zbl 1216.68156号 米查尔·科内奇;阿明·法朱迪安 2 2010 域理论Picard方法的时间复杂度和收敛性分析。 Zbl 1155.65356号 阿明·法朱迪安;米查尔·科内奇 三 2008 具有使用方面的类型系统。 Zbl 1142.68019号 大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇 三 2008 实数函数可由有限自动机增量计算。 Zbl 1072.68057号 米查尔·科内奇 1 2004 使用仿射表示的有限自动机可计算的实函数。 Zbl 1039.68050号 米查尔·科内奇 5 2002 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 5 阿明·法朱迪安 三 弗拉基米尔·谢尔盖维奇（Vladimir Sergeevich Anashin） 三 米查尔·科内奇 2 简·杜拉茨 2 阿巴斯·埃达拉特 2 菲利普·海罗尼米 2 卢克·杰林 2 托马斯·勒梅佐 2 李毅然 2 埃里克·沃尔斯伯格 2 贝诺伊·泽尔 1 亚伦·D·埃姆斯。 1 安德烈·琴科，德米特里·康斯坦丁诺维奇 1 安德烈·琴科（Andreĭchenko），康斯坦丁·彼得罗维奇（Konstantin Petrovich） 1 费伦茨·戈斯顿·巴塔 1 巴特拉耶娃，伊娜·阿列克桑德罗夫纳 1 乌尔里希·伯杰 1 亚瑟·查古埃罗 1 谢尔盖·N·达什科夫斯基。 1 亚当·杜拉茨 1 Petro V.费克塔。 1 拉斐尔·戈贝尔 1 戈尔曼，亚历克西街区 1 杰尔达·詹森斯 1 托马斯·卡佩拉 1 卡普兰，埃利奥特 1 孟若愚 1 穆罕默德·米纳 1 黑山，曼努埃尔 1 德克·帕丁森 1 里卡多·佩纳 1 潘、泉 1 弗朗索瓦·波蒂埃 1 里卡多·桑费利斯（Ricardo G.Sanfelice）。 1 克拉拉·塞古拉 1 Razin A.谢赫。 1 佐尔坦·索莫吉 1 弗洛里安·斯坦伯格 1 瓦利德·塔哈 1 Laurent Théry 1 霍尔格·蒂斯 1 王子和 1 丹尼尔·威尔扎克 1 熊子琴 1 杨洪如 1 彼得·兹格利钦斯基 1 周，灿 全部的 前5名15连载 2 非线性分析。混合动力系统 1 国际控制杂志 1 应用数学与计算 1 SIAM控制与优化杂志 1 理论计算机科学 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 选择Mathematica。新系列 1 数学与人工智能年鉴 1 Doklady数学 1 非线性科学与数值模拟中的通信 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 \（p\）-Adic数、超微分析和应用 1 萨拉托夫斯科戈大学。诺瓦亚·塞里亚。Seriya Matematika、Mekhanika、Informatika 全部的 前5名13个领域引用 13 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 5 系统论；控制（93至XX） 4 常微分方程（34-XX） 4 动力系统和遍历理论（37-XX） 三 实际功能（26年X月X日） 三 数值分析（65-XX） 2 量子理论（81-XX） 1 阶、格、有序代数结构（06-XX） 1 测量和集成（28-XX） 1 复变量的函数（30年XX月） 1 一般拓扑结构（54至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文