安德烈·鲍尔
人员信息
附属: 斯洛文尼亚卢布尔雅那大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元28年] 菲利普·哈塞尔瓦特 , 安德烈·鲍尔 :
有上下文和无上下文的金融类型理论。 J.汽车。 原因。 67 ( 4 ) : 36 ( 2023 ) 【c23】 安德烈·鲍尔 , 马特伊·佩特科维奇 , 柳普科·托多罗夫斯基 :
MLFMF:数学形式化机器学习的数据集。 NeurIPS公司 2023 [i13] 安德烈·鲍尔 , 马特伊·佩特科维奇 , 柳普科·托多罗夫斯基 :
MLFMF:数学形式化机器学习的数据集。 CoRR公司 abs/2310.16005 ( 2023 ) [i12] 安德烈·鲍尔 , 卡贾·贝西奇 , 弗洛里安·拉贝 , 尼古拉斯·蒂埃里 , 朱尔·塔斯拉克 :
自动化数学:集成证明、算法和数据(达格斯图尔研讨会23401)。 达格斯图尔报告 13 ( 10 ) : 1-23 ( 2023 ) 2022 [公元27年] M.Besher Massri先生 , 乔·皮塔·科斯塔 , 安德烈·鲍尔 , 马克·格罗贝尔尼克 , 珍妮斯·布兰克 , 卢卡·斯托帕 :
全球新冠肺炎观察站,通过文本挖掘和可视化监测疫情。 Informatica(斯洛文尼亚) 46 ( 1 ) ( 2022 ) [公元26年] 安德烈·鲍尔 , 安贾·佩特科维奇-科梅尔 :
一种用于依赖类型理论的可扩展等式检查算法。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [公元25年] 安德烈·鲍尔 :
实例可约性和Weihrauch度。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) 2021 [i11] 安德烈·鲍尔 , 安贾·佩特科维奇 :
一种用于依赖类型理论的可扩展等式检查算法。 CoRR公司 abs/2103.07397 ( 2021 ) [i10] 菲利普·哈塞尔瓦特 , 安德烈·鲍尔 :
有语境和无语境的金融类型理论。 CoRR公司 abs/2112.00539 ( 2021 ) 2020 [公元22年] 丹尼尔·艾哈曼 , 安德烈·鲍尔 :
跑步者的行动。 员工持股计划 2020 : 29-55 【c21】 安德烈·鲍尔 , 菲利普·哈塞尔瓦特 , 安贾·佩特科维奇 :
《仙女座2》中一般类型理论的等式检验。 信息和通信管理系统 2020 : 253-259 [第九章] 安德烈·鲍尔 , 菲利普·哈塞尔瓦特 , 彼得·勒法努·卢姆斯代恩 :
从属类型理论的一般定义。 CoRR公司 abs/2009.05539 ( 2020 )
2010 – 2019
2019 [j24] 安德烈·鲍尔 , 安德鲁·斯万 :
每个度量空间在函数可实现性上是可分离的。 日志。 方法计算。 科学。 15 ( 2 ) ( 2019 ) [i8] 丹尼尔·艾哈曼 , 安德烈·鲍尔 :
跑步者在行动。 CoRR公司 abs/1910.11629 ( 2019 ) 2018 [i7] 安德烈·鲍尔 , 加丹·吉尔伯特 , 菲利普·哈塞尔瓦特 , 马蒂亚·普雷特纳 , 克里斯托弗·斯通 :
仙女座校对助手的设计与实现。 CoRR公司 abs/1802.06217 ( 2018 ) [i6] 安德烈·鲍尔 , 安德鲁·斯万 :
每个度量空间在函数可实现性上是可分离的。 CoRR公司 abs/1804.00427 ( 2018 ) [i5] 安德烈·鲍尔 :
代数效果和处理程序的代数是什么? CoRR公司 abs/1807.05923 ( 2018 ) [i4] 安德烈·鲍尔 , 马丁·霍泽尔·埃斯卡多 , 彼得·勒法努·卢姆斯代恩 , 阿西亚·马布比 :
类型理论中的数学形式化(18341年Dagstuhl研讨会)。 达格斯图尔报告 8 ( 8 ) : 130-155 ( 2018 ) 2017 [公元23年] 安德烈·鲍尔 , 乌尔里希·伯杰 , 威廉·福凯 , Dieter Spreen公司 , Hideki Tsuiki先生 , 马丁·齐格勒 :
连续性、可计算性、可构造性:从逻辑到算法2014(特刊前言:连续性、计算性、构造性:2014年从逻辑到运算法则)。 J.日志。 分析。 9 ( 2017 ) [j22] 安德烈·鲍尔 :
MFPS XXXII和CALCO 2017报告。 ACM SIGLOG新闻 4 ( 三 ) : 63-64 ( 2017 ) [公元20年] 安德烈·鲍尔 , 杰森·格罗斯 , 彼得·勒法努·卢姆斯代恩 , 迈克尔·舒尔曼 , 马蒂厄·索佐 , 低音喷溅 :
HoTT库:Coq中同伦类型理论的形式化。 清洁石油产品 2017 : 164-172 2016 [第19条] 安德烈·鲍尔 , 加丹·吉尔伯特 , 菲利普·哈塞尔瓦特 , 马蒂亚·普雷特纳 , 克里斯托弗·斯通 :
仙女座校对助手的设计与实现。 类型 2016 : 5:1-5:31 [i3] 安德烈·鲍尔 , 杰森·格罗斯 , 彼得·勒法努·卢姆斯代恩 , 迈克尔·舒尔曼 , 马蒂厄·索佐 , 低音喷溅 :
HoTT库:Coq中同伦类型理论的形式化。 CoRR公司 abs/1610.04591 ( 2016 ) [i2] 安德烈·鲍尔 , 马丁·霍夫曼 , 马蒂亚·普雷特纳 , 杰里米·亚洛普 :
从代数效应和处理方法的理论到实践(达格斯图尔研讨会16112)。 达格斯图尔报告 6 ( 三 ) : 44-58 ( 2016 ) 2015 [公元21年] 安德烈·鲍尔 , 马蒂亚·普雷特纳 :
使用代数效果和处理程序进行编程。 J.日志。 代数方法课程。 84 ( 1 ) : 108-123 ( 2015 ) [j20] 安德烈·鲍尔 :
从Baire空间到自然数的注入。 数学。 结构。 计算。 科学。 25 ( 7 ) : 1484-1489 ( 2015 ) 2014 [公元19年] 安德烈·鲍尔 , 马蒂亚·普雷特纳 :
代数效果和处理程序的效果系统。 日志。 方法计算。 科学。 10 ( 4 ) ( 2014 ) [公元18年] 安德烈·鲍尔 , 戈登·普洛金 , 达纳·S·斯科特 :
可分离Scott域的笛卡尔闭范畴。 西奥。 计算。 科学。 546 : 17-29 ( 2014 ) 2013 [第18条] 安德烈·鲍尔 , 马蒂亚·普雷特纳 :
代数效果和处理程序的效果系统。 CALCO公司 2013 : 1-16 [第17条] 安德烈·鲍尔 , 马丁·霍夫曼 , 亚历山大·卡比雪夫 :
二阶泛函的一元参数性。 FoSSaCS公司 2013 : 225-240 2012 [公元17年] 安德烈·鲍尔 , 蒂埃里·科昆德 , 乔瓦尼·萨姆宾 , 彼得·舒斯特 :
前言。 Ann.纯粹应用。 日志。 163 ( 2 ) : 85-86 ( 2012 ) [公元16年] 安德烈·鲍尔 , 达沃林·莱斯尼克 :
合成拓扑中的度量空间。 Ann.纯粹应用。 日志。 163 ( 2 ) : 87-100 ( 2012 ) [j15] 梅利塔·哈金夏克 , 安德烈·鲍尔 :
数据日志程序中基于相似性的关系。 国际期刊不确定性。 模糊知识。 基于系统。 20 ( 5 ) : 673-700 ( 2012 ) [公元14年] 安德烈·鲍尔 :
链完备格的不动点定理在有效拓扑中的失效。 西奥。 计算。 科学。 430 : 43-50 ( 2012 ) [i1] 安德烈·鲍尔 , 马蒂亚·普雷特纳 :
使用代数效果和处理程序编程。 CoRR公司 腹肌/1203.1539 ( 2012 ) 2010 [j13] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
分析中的可计算性和复杂性。 J.大学。 计算。 科学。 16 ( 18 ) : 2495 ( 2010 ) [公元12年] 安德烈·鲍尔 , 延斯·布兰克 :
经典代数的规范有效子代数作为构造度量完备。 J.大学。 计算。 科学。 16 ( 18 ) : 2496-2522 ( 2010 )
2000 – 2009
2009 [公元11年] 安德烈·鲍尔 , 伊兹托克·卡夫克勒 :
适合实现的连续域的构造性理论。 Ann.纯粹应用。 日志。 159 ( 三 ) : 251-267 ( 2009 ) [j10] 梅利塔·哈金夏克 , 安德烈·鲍尔 :
关系数据库的相似性度量。 Informatica(斯洛文尼亚) 33 ( 2 ) : 135-141 ( 2009 ) [公元9年] 安德烈·鲍尔 , 克里斯托弗·斯通 :
RZ:一种将构造性和可计算数学带入编程实践的工具。 J.日志。 计算。 19 ( 1 ) : 17-43 ( 2009 ) [j8] 安德烈·鲍尔 , 保罗·泰勒 :
Dedekind现实是抽象的石头二元性。 数学。 结构。 计算。 科学。 19 ( 4 ) : 757-838 ( 2009 ) [第16条] 安德烈·鲍尔 , 延斯·布兰克 :
经典代数的规范有效子代数作为构造度量完备。 CCA公司 2009 [第15条] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
CCA 2009年前沿问题——第六届国际分析可计算性和复杂性会议记录。 CCA公司 2009 [第14条] 安德烈·鲍尔 , 彼得·赫特林 , 克分子一Ko :
2009年CCA前言——第六届国际分析可计算性和复杂性会议记录。 CCA公司 2009 [第13条] 安德烈·鲍尔 :
链完备格在有效拓扑中不动点定理的失效。 MFPS公司 2009 : 157-167 [电子2] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
第六届国际可计算性和分析复杂性会议,2009年8月18日至22日,斯洛文尼亚卢布尔雅那,CCA 2009。 OASIcs公司 11, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2009 [目录] 2008 [j7] 史蒂文·阿沃迪 , 安德烈·鲍尔 :
Sheaf拓扑的可实现性。 架构(architecture)。 数学。 日志。 47 ( 5 ) : 465-478 ( 2008 ) [第12条] 安德烈·鲍尔 , 迈克尔·米斯洛夫 :
前言。 MFPS公司 2008 : 1-4 [电子1] 安德烈·鲍尔 , 迈克尔·米斯洛夫 :
2008年5月22日至25日,美国宾夕法尼亚州费城,MFPS 2008,第24届编程语义数学基础会议记录。 理论计算机科学电子笔记 218, 爱思维尔 2008 [目录] 2007 [第11条] 安德烈·鲍尔 , 克里斯托弗·斯通 :
RZ:一种将构造性和可计算性数学与编程实践紧密结合的工具。 CiE公司 2007 : 28-42 [第10条] 安德烈·鲍尔 , 伊兹托克·卡夫克勒 :
用RZ实现实数。 CCA公司 2007 : 365-384 2005 【c9】 安德烈·鲍尔 , 保罗·泰勒 :
抽象石头二重性中的德德金王国。 CCA公司 2005 : 25-64 【c8】 安德烈·鲍尔 :
可实现性是建构数学和可计算数学之间的联系。 CCA公司 2005 : 378-379 【c7】 安德烈·鲍尔 :
综合可计算性理论的第一步。 MFPS公司 2005 : 5-31 【c6】 安德烈·鲍尔 , 克里斯托弗·斯通 :
通过可实现性实现规范。 CLASE公司 2005 : 77-92 2004 [j6] 史蒂文·阿沃迪 , 安德烈·鲍尔 :
命题作为类型。 J.日志。 计算。 14 ( 4 ) : 447-471 ( 2004 ) [j5] 安德烈·鲍尔 , 亚历克斯·辛普森 :
两个构造性嵌入扩张定理及其在连续性原理和Banach-Mazur可计算性中的应用。 数学。 日志。 问:。 50 ( 4-5 ) : 351-369 ( 2004 ) 【j4】 安德烈·鲍尔 , 拉尔斯·伯克达尔 , 达纳·S·斯科特 :
等价空间。 西奥。 计算。 科学。 315 ( 1 ) : 35-59 ( 2004 ) 2002 [j3] 安德烈·鲍尔 :
均衡空间与第二类有效性之间的关系。 数学。 日志。 问:。 48 ( S1(第一阶段) ) : 1-15 ( 2002 ) 【c5】 安德烈·鲍尔 , 马丁·霍泽尔·埃斯卡多 , 亚历克斯·K·辛普森 :
比较精确实数计算的函数范式。 ICALP公司 2002 : 488-500 2001 【c4】 安德烈·鲍尔 :
均衡空间与第二类有效性之间的关系。 MFPS公司 2001 : 1-21 2000 【c3】 安德烈·鲍尔 , 拉尔斯·比克达尔 :
从属类型的连续泛函与等价空间。 CSL公司 2000 : 202-216
1990 – 1999
1999 [注2] 安德烈·鲍尔 , 马尔科·佩特科夫塞克 :
多重和混合超几何Gosper类型算法。 J.塞姆。 计算。 28 ( 4-5 ) : 711-736 ( 1999 ) 1998 [j1] 安德烈·鲍尔 , 埃德蒙·克拉克 , 赵旭东 :
解析——定理证明和符号计算相结合的实验。 J.汽车。 原因。 21 ( 三 ) : 295-325 ( 1998 ) 【c2】 安德烈·鲍尔 :
具有总体性的等价空间和域。 域研讨会 1998 : 2 1996 【c1】 安德烈·鲍尔 , 埃德蒙·克拉克 , 赵旭东 :
解析——定理证明和符号计算相结合的实验。 AISMC公司 1996 : 21-37
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)