安东·塞策
人员信息
优化列表
2020年–今天
2023 [c30] 法哈德·F·阿尔哈巴迪 , 安东·塞策 :
定理证明器Agda中的Solidity-style智能合约模型。 AIB事情 2023 : 1-10 [公元29年] 法哈德·F·阿尔哈巴迪 , 安东·塞策 :
定理证明器Agda中的Solidity-style智能合约模拟器。 ICBTA公司 2023 : 1-11 2022 [i3] 法哈德·F·阿尔哈巴迪 , 阿诺德·贝克曼 , 博格丹·拉扎尔 , 安东·塞策 :
使用最薄弱的访问控制先决条件在Agda中验证比特币的智能合约。 CoRR公司 abs/2203.03054 ( 2022 ) 2021 [公元28年] 法哈德·F·阿尔哈巴迪 , 阿诺德·贝克曼 , 博格丹·拉扎尔 , 安东·塞策 :
使用最弱的访问控制先决条件验证Agda中的比特币脚本。 类型 2021 : 1:1-1:25
2010 – 2019
2018 [公元27年] 乌尔里希·伯杰 , 安东·塞策 :
Codata类型的等式无法确定。 CMCS公司 2018 : 34-55 [公元26年] 斯蒂芬·阿德尔斯伯格 , 巴沙尔·伊格瑞德 , 马库斯·莫瑟 , 瓦迪姆·萨文科夫 , 安东·塞策 :
基于特征的工作流组合的形式验证。 EDCC公司 2018 : 173-181 [公元25年] 斯蒂芬·阿德尔斯伯格 , 安东·塞策 , 埃里克·沃尔金肖 :
声明性GUI:简单、一致且经过验证。 PPDP公司 2018 : 4:1-4:15 [公元24年] 斯蒂芬·阿德尔斯伯格 , 安东·塞策 , 埃里克·沃尔金肖 :
在验证设置中开发GUI应用程序。 设置 2018 : 89-107 【c23】 乌尔里希·伯杰 , 拉尔夫·马提斯 , 安东·塞策 :
马丁·霍夫曼的非严格阳性数据类型案例。 类型 2018 : 1:1-1:22 [i2] 安东·塞策 :
用Agda建模比特币。 CoRR公司 abs/1804.06398 ( 2018 ) 2017 [j8] 安德烈亚斯·阿贝尔 , 斯蒂芬·阿德尔斯伯格 , 安东·塞策 :
Agda中的交互式编程-对象和图形用户界面。 J.功能。 程序。 27 : e8(电子8) ( 2017 ) 2016 [j7] 卡里姆·坎索 , 安东·塞策 :
自动和交互式定理证明的轻量级集成。 数学。 结构。 计算。 科学。 26 ( 1 ) : 129-153 ( 2016 ) [公元22年] 巴沙尔·伊格瑞德 , 安东·塞策 :
在依赖类型理论中使用一元CSP型过程进行编程。 泰德@ICFP 2016 : 28-38 【c21】 巴沙尔·伊格瑞德 , 安东·塞策 :
为CSP Agda定义跟踪语义。 类型 2016 : 12:1-12:23 [公元20年] 巴沙尔·伊格瑞德 , 安东·塞策 :
CSP-Agda的跟踪和稳定故障语义。 CoALP-Ty公司 2016 : 36-51 2014 [第19条] 安东·塞策 , 安德烈亚斯·阿贝尔 , 布里吉特·皮恩特卡 , 大卫·西博多 :
取消Copatterns嵌套。 RTA-薄层色谱分析 2014 : 31-45 2013 [第18条] 尼尔·加尼 , 洛伦佐·马拉特斯塔 , 弗雷德里克·诺德瓦尔·福斯伯格 , 安东·塞策 :
光纤数据类型。 低收入国家 2013 : 243-252 [第17条] 安德烈亚斯·阿贝尔 , 布里吉特·皮恩特卡 , 大卫·西博多 , 安东·塞策 :
共同模式:通过观察对无限结构进行编程。 POPL公司 2013 : 27-38 [第16条] 菲利普·詹姆斯 , 安迪·劳伦斯 , 法伦·莫勒 , 马库斯·罗根巴赫 , 莫妮卡·塞森伯格 , 安东·塞策 , 卡里姆·坎索 , 西蒙·查德威克 :
固态联锁程序的验证。 SEFM研讨会 2013 : 253-268 2012 【第2页】 安东·塞策 :
作为由其消除规则确定的类型的余代数。 认识论与本体论 2012 : 351-369 2011 [第15条] 托尔斯滕·阿尔滕基奇 , 彼得·莫里斯 , 弗雷德里克·诺德瓦尔·福斯伯格 , 安东·塞策 :
归纳归纳定义的范畴语义。 CALCO公司 2011 : 70-84 2010 [第14条] 弗雷德里克·诺德瓦尔·福斯伯格 , 安东·塞策 :
电感定义。 CSL公司 2010 : 454-468
2000 – 2009
2008 [j6] 罗斯·H·阿卜杜勒·劳夫 , 乌尔里希·伯杰 , 安东·塞策 :
一个明显正确的翻译 λ -将微积分转化为C++的数学模型。 理论计算。 系统。 43 ( 3-4 ) : 298-321 ( 2008 ) [第13条] 卡里姆·坎索 , 法伦·莫勒 , 安东·塞策 :
铁路联锁系统中信号原理的自动验证。 AVoCS公司 2008 : 19-31 2006 [j5] 彼得·戴比杰 , 安东·塞策 :
诱导-复发指数。 J.日志。 代数方法课程。 66 ( 1 ) : 1-49 ( 2006 ) [第12条] 安东·塞策 :
Martin-Löf型理论中的偏递归函数。 CiE公司 2006 : 505-515 [第11条] 威尔·哈伍德 , 法伦·莫勒 , 安东·塞策 :
弱互模拟近似。 CSL公司 2006 : 365-379 [第10条] 安东·塞策 :
依赖类型理论中的面向对象编程。 函数式编程趋势 2006 : 91-108 【c9】 罗斯·H·阿卜杜勒·劳夫 , 乌尔里希·伯杰 , 安东·塞策 :
C++中的函数概念。 函数式编程趋势 2006 : 163-179 2005 [第1页] 彼得·汉考克 , 安东·塞策 :
依赖类型理论中的交互程序和弱最终余代数。 从集合和类型到拓扑和分析 2005 2004 【c8】 马库斯·米歇尔布林克 , 安东·塞策 :
类型理论中的状态相关IO-Monads。 CTCS公司 2004 : 127-146 [i1] 安东·塞策 , 彼得·汉考克 :
依赖类型理论中的交互程序和弱最终余代数(扩展版)。 依赖类型编程 2004 2003 【j4】 彼得·戴比杰 , 安东·塞策 :
归纳-递归和初始代数。 Ann.纯应用。 日志。 124 ( 1-3 ) : 1-47 ( 2003 ) 2002 【c7】 安东·塞策 :
Java作为函数式编程语言。 类型 2002 : 279-298 2001 【c6】 彼得·戴比杰 , 安东·塞策 :
索引归纳回报。 计算机科学中的证明理论 2001 : 93-113 2000 [j3] 安东·塞策 :
通过一个Mahlo-universe扩展Martin-Löf类型理论。 架构(architecture)。 数学。 日志。 39 ( 三 ) : 155-181 ( 2000 ) 【c5】 彼得·汉考克 , 安东·塞策 :
依赖类型理论中的交互程序。 CSL公司 2000 : 317-331
1990 – 1999
1999 [注2] 格哈德·耶格尔 , 莱因哈德·卡勒 , 安东·塞策 , 托马斯·斯特拉姆 :
超有限迭代不动点理论的证明理论分析。 J.塞姆。 日志。 64 ( 1 ) : 53-67 ( 1999 ) 【c4】 彼得·戴比杰 , 安东·塞策 :
归纳递归定义的有限公理化。 薄层色谱分析 1999 : 129-146 1998 [j1] 安东·塞策 :
良好的秩序,马丁·洛夫类型理论的证明。 Ann.纯粹应用。 日志。 92 ( 2 ) : 113-159 ( 1998 ) 1997 【c3】 安东·塞策 :
将集合理论证明转化为类型理论程序。 库尔特·哥德尔座谈会 1997 : 278-289 1996 【c2】 安东·塞策 :
具有可判定原子公式的归纳定义。 CSL公司 1996 : 414-430 【c1】 彼得·克洛特 , 安东·塞策 :
打开 PHP标准 -连通性和奇数荷图。 证明复杂性与可行算法 1996 : 93-117