米查尔·科内肯(Michal Konecn)
人员信息
优化列表
2020年–今天
2023 [第14条] 米查尔·科内肯(Michal Konecn) , Sewon公园 , 霍尔格·蒂斯 :
形式化超空间以提取高效的精确实计算。 MFCS公司 2023 : 59:1-59:16 2022 [第13条] 米查尔·科内肯(Michal Konecn) , Sewon公园 , 霍尔格·蒂斯 :
非确定性极限的认证计算。 非金融市场 2022 : 771-789 [第12条] 朱奈德·拉希德 , 米查尔·科内肯(Michal Konecn) :
通过非线性实数证明程序对浮点程序进行自动验证。 SEFM公司 2022 : 20-36 [i5] 米查尔·科内肯(Michal Konecn) , Sewon公园 , 霍尔格·蒂斯 :
从构造型理论的证明中提取有效的精确实数计算。 CoRR公司 abs/2202.00891 ( 2022 ) [i4] 朱奈德·拉希德 , 米查尔·科内肯(Michal Konecn) :
通过非线性实数证明程序对浮点程序进行自动验证。 CoRR公司 abs/2207.00921 ( 2022 ) 2021 [j7] 米查尔·科内肯(Michal Konecn) , 艾克·诺依曼 :
可行近似函数的表示和评估策略。 计算。 10 ( 1 ) : 63-89 ( 2021 ) [第11条] 米查尔·科内肯(Michal Konecn) , Sewon公园 , 霍尔格·蒂斯 :
公理实和经证明有效的精确实计算。 WoLLIC公司 2021 : 252-268 2020 [第10条] 米查尔·科内肯(Michal Konecn) , 弗洛里安·斯坦博格 , 霍尔格·蒂斯 :
用于验证精确实际计算的可计算分析。 FSTTCS公司 2020 : 50:1-50:18 【c9】 米查尔·科内肯(Michal Konecn) , 弗洛里安·斯坦博格 , 霍尔格·蒂斯 :
连续和单音机器。 MFCS公司 2020 : 56:1-56:16 [i3] 米查尔·科内肯(Michal Konecn) , 弗洛里安·斯坦博格 , 霍尔格·蒂斯 :
连续和单调机器。 CoRR公司 abs/2005.01624 ( 2020 )
2010 – 2019
2019 [i2] 米查尔·科内肯(Michal Konecn) , 艾克·诺依曼 :
实施连续实函数的评估策略。 CoRR公司 abs/1910.04891 ( 2019 ) 2017 [i1] 米查尔·科内肯(Michal Konecn) , 艾克·诺依曼 :
可行近似函数的表示和评估策略。 CoRR公司 abs/1710.03702 ( 2017 ) 2015 【c8】 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚松 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 【c7】 哈利勒·鲁盖西 , 米查尔·科内肯(Michal Konecn) :
重新组合Metric-Space搜索索引以适应搜索引擎大小。 SISAP公司 2015 : 271-282 2014 [j6] 扬·杜拉茨 , 米查尔·科内肯(Michal Konecn) :
浮点软件验证的多项式函数间隔。 安。数学。 Artif公司。 智力。 70 ( 4 ) : 351-398 ( 2014 ) 【c6】 扬·杜拉茨 , 阿明·法朱迪安 , 米查尔·科内肯(Michal Konecn) , 瓦利德·塔哈 :
函数区间算术。 信息和通信管理系统 2014 : 677-684 2013 【c5】 米查尔·科内肯(Michal Konecn) , 瓦利德·塔哈 , 扬·杜拉茨 , 亚当·杜拉茨 , 亚伦·D·艾姆斯 :
封闭混合系统在Zeno点前后的行为。 CPSNA公司 2013 : 120-125 2011 【c4】 佐尔坦·巴洛格 , 埃米尔·盖蒂尔 , 拉迪斯拉夫·赫卢奇 , 弗拉斯塔·哈德克 , 米查尔·科内肯(Michal Konecn) :
将安全代理与用于危机管理的安全通信基础设施集成。 CTS公司 2011 : 367-372 2010 [j5] 米查尔·科内肯(Michal Konecn) , 阿明·法朱迪安 :
查询驱动的精确值通信的语义。 J.大学。 计算。 科学。 16 ( 18 ) : 2597-2628 ( 2010 ) 【j4】 米查尔·科内肯(Michal Konecn) , 阿明·法朱迪安 :
具有精确值的查询驱动通信的数据流网络的组合语义。 J.大学。 计算。 科学。 16 ( 18 ) : 2629-2656 ( 2010 )
2000 – 2009
2008 [j3] 大卫·阿斯皮纳尔 , 马丁·霍夫曼 , 米查尔·科内肯(Michal Konecn) :
具有使用方面的类型系统。 J.功能。 程序。 18 ( 2 ) : 141-178 ( 2008 ) 【c3】 阿明·法朱迪安 , 米查尔·科内肯(Michal Konecn) :
域理论Picard方法的时间复杂性和收敛性分析。 WoLLIC公司 2008 : 149-163 2004 [注2] 米查尔·科内肯(Michal Konecn) :
实数函数可由有限自动机增量计算。 西奥。 计算。 科学。 315 ( 1 ) : 109-133 ( 2004 ) 2003 【c2】 米查尔·科内肯(Michal Konecn) :
具有分层数据类型共享的功能就地更新。 薄层色谱分析 2003 : 195-210 2002 [j1] 米查尔·科内肯(Michal Konecn) :
使用仿射表示的有限自动机可计算的实函数。 西奥。 计算。 科学。 284 ( 2 ) : 373-396 ( 2002 ) 【c1】 米查尔·科内肯(Michal Konecn) :
键入功能就地更新的条件和保证。 类型 2002 : 182-199