海尔·维德·汉森
人员信息
附属: 荷兰格罗宁根大学 隶属关系(前): 荷兰代尔夫特理工大学
优化列表
2020年–今天
2024 [公元22年] 阿洛伊斯·罗塞特 , Maaike Zwart公司 , 海尔·维德·汉森 , 约格·恩德鲁利斯 :
复合理论与分配规律的对应。 CMCS公司 2024 : 194-215 [i11] 阿洛伊斯·罗塞特 , Maaike Zwart公司 , 海尔·维德·汉森 , 约格·恩德鲁利斯 :
复合理论与分配定律之间的对应关系。 CoRR公司 abs/2404.00581 ( 2024 ) [i10] 阿洛伊斯·罗塞特 , 海尔·维德·汉森 , 约格·恩德鲁利斯 :
单集、双色图和模糊集上Lawvere-Tierney拓扑的特征。 CoRR公司 腹肌/2407.04535 ( 2024 ) [第九章] 安东·切尔内夫 , 海尔·维德·汉森 , 克莱门斯·库普克 :
Ω-自动机与Wilke代数商之间的对偶附加。 CoRR公司 abs/2407.14115 ( 2024 ) 2023 [电子3] 海尔·维德·汉森 , 安德烈·塞德洛夫 , 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算——第29届国际研讨会,WoLLIC 2023,Halifax,NS,加拿大,2023年7月11日至14日,会议记录。 计算机科学讲义 13923, 施普林格 2023 ,国际标准图书编号 978-3-031-39783-7 [目录] 2022 [公元12年] 海尔·维德·汉森 , 法比奥·扎纳西 :
2022年计算机科学联合方法报告。 ACM SIGLOG新闻 9 ( 三 ) : 61-62 ( 2022 ) 【c21】 阿洛伊斯·罗塞特 , 海尔·维德·汉森 , 约格·恩德鲁利斯 :
半自由单数的代数表示。 CMCS公司 2022 : 110-132 [电子2] 海尔·维德·汉森 , 法比奥·扎纳西 :
计算机科学中的代数方法-第16届IFIP WG 1.3国际研讨会,CMCS 2022,与ETAPS 2022共同举办,德国慕尼黑,2022年4月2-3日,会议记录。 计算机科学讲义 13225, 施普林格 2022 ,国际标准图书编号 978-3-031-10735-1 [目录] [i8] 阿洛伊斯·罗塞特 , 海尔·维德·汉森 , 约格·恩德鲁利斯 :
半自由单数的代数表示。 CoRR公司 abs/2205.05392 ( 2022 ) 2020 [公元20年] 吉姆·德·格罗 , 海尔·维德·汉森 , 亚历山大·库兹 :
逻辑诱导的相互模拟。 AiML公司 2020 : 289-308 [i7] 尼克·贝扎尼什维利 , 马塞洛·M·邦桑格 , 海尔·维德·汉森 , 德克斯特·科赞 , 克莱门斯·库普克 , 普拉卡什·帕南加登 , 亚历山德拉·席尔瓦 :
逻辑形式的最小化。 CoRR公司 abs/2005.11551 ( 2020 ) [i6] 吉姆·德·格罗 , 海尔·维德·汉森 , 亚历山大·库兹 :
逻辑诱导的相互模拟。 CoRR公司 abs/2008.09238 ( 2020 )
2010 – 2019
2019 [公元11年] 亨宁·巴索尔德 , 海尔·维德·汉森 :
诱导-归纳程序的良好定义和观测等价性。 J.日志。 计算。 29 ( 4 ) : 419-468 ( 2019 ) [公元10年] 亨宁·巴索尔德 , 海尔·维德·汉森 , Jean-Eric销 , 简·鲁顿 :
牛顿级数:构图的比较研究。 数学。 结构。 计算。 科学。 29 ( 1 ) : 38-66 ( 2019 ) [第19条] 塞巴斯蒂安·恩奎斯特 , 海尔·维德·汉森 , 克莱门斯·库普克 , 约翰内斯·马蒂 , Yde Venema公司 :
游戏逻辑的完整性。 低收入国家 2019 : 1-13 [第18条] 弗兰克·M·V·费斯 , 海尔·维德·汉森 :
通过不动点论证的阿罗定理。 TARK(目标) 2019 : 175-188 [i5] 塞巴斯蒂安·恩奎斯特 , 海尔·维德·汉森 , 克莱门斯·库普克 , 约翰内斯·马蒂 , Yde Venema公司 :
游戏逻辑的完整性。 CoRR公司 abs/1904.07691 ( 2019 ) 2018 [公元9年] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和无限等式逻辑的共性基础。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [第17条] 弗兰克·M·V·费斯 , 海尔·维德·汉森 , 劳伦斯·莫斯 :
马尔可夫决策过程中的长期值,(Co)代数。 CMCS公司 2018 : 78-99 2017 [j8] 海尔·维德·汉森 , 克莱门斯·库普克 , 简·鲁顿 :
流微分方程:规范格式和求解方法。 日志。 方法计算。 科学。 13 ( 1 ) ( 2017 ) [第16条] 泽纳布·巴赫蒂亚里 , 海尔·维德·汉森 :
弱表达余代数模态逻辑的互模拟。 CALCO公司 2017 : 4:1-4:16 [第15条] 泽纳布·巴赫蒂亚里 , 汉斯·范·迪特马什 , 海尔·维德·汉森 :
邻里应急相互模拟。 ICLA公司 2017 : 48-63 [第14条] 海尔·维德·汉森 , 克莱门斯·库普克 , 约翰内斯·马蒂 , Yde Venema公司 :
对等游戏和游戏逻辑自动机。 达利@TABLEAUX 2017 : 115-132 [e1] 海尔·维德·汉森 , 莎拉·默里 , 梅赫努什·萨达德 , 亨克·泽瓦特 :
逻辑、语言和计算——第11届第比利斯国际研讨会,2015年第比利斯有限责任公司,格鲁吉亚第比利斯,2015年9月21日至26日,修订论文集。 计算机科学讲义 10148, 施普林格 2017 ,国际标准图书编号 978-3-662-54331-3 [目录] [i4] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和无限等式逻辑的共性基础。 CoRR公司 abs/1706.00677 ( 2017 ) [i3] 海尔·维德·汉森 , 克莱门斯·库普克 , 约翰内斯·马蒂 , Yde Venema公司 :
奇偶游戏和游戏逻辑自动机(扩展版)。 CoRR公司 abs/1709.00777 ( 2017 ) 2015 [j7] 马塞洛·M·邦桑格 , 海尔·维德·汉森 , 亚历山大·库兹 , 侏罗纪腐朽 :
提出分配法。 日志。 方法计算。 科学。 11 ( 三 ) ( 2015 ) [第13条] 亨宁·巴索尔德 , 海尔·维德·汉森 , Jean-Eric销 , 简·鲁顿 :
牛顿级数,巧合。 ICTAC公司 2015 : 91-109 [第12条] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和等式推理的共性框架。 区域贸易协定 2015 : 143-159 [第11条] 海尔·维德·汉森 , 克莱门斯·库普克 :
余代数动态逻辑的弱完备性。 菲莎国际学院 2015 : 90-104 [i2] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写和等式推理的共性框架(扩展版)。 CoRR公司 abs/1505.01128 ( 2015 ) 2014 [j6] 菲利波·邦奇 , 马塞洛·M·邦桑格 , 海尔·维德·汉森 , 普拉卡什·帕南加登 , Jan J.M.M.Rutten先生 , 亚历山德拉·席尔瓦 :
Brzozowski最小化算法中的代数-代数对偶。 ACM事务处理。 计算。 日志。 15 ( 1 ) : 3:1-3:29 ( 2014 ) [第10条] 亨宁·巴索尔德 , 马塞洛·M·邦桑格 , 海尔·维德·汉森 , 简·鲁顿 :
信号流图的代数特征。 心灵的地平线 2014 : 124-145 【c9】 海尔·维德·汉森 , 克莱门斯·库普克 , 简·鲁顿 , 乔斯特·温特 :
k正则序列的最终余代数。 心灵的地平线 2014 : 363-383 【c8】 海尔·维德·汉森 , 克莱门斯·库普克 , 劳尔·安德烈斯·里尔 :
无迭代余代数动态逻辑的强完备性。 IFIP TCS 2014 : 281-295 2013 [c7] 马塞洛·M·邦桑格 , 海尔·维德·汉森 , 亚历山大·库兹 , 侏罗纪腐朽 :
提出分配法。 CALCO公司 2013 : 95-109 [i1] 约格·恩德鲁利斯 , 海尔·维德·汉森 , 迪米特里·亨德里克斯 , 安德鲁·波伦斯基 , 亚历山德拉·席尔瓦 :
无限重写的共性处理。 CoRR公司 abs/1306.6224 ( 2013 ) 2011 [j5] 海尔·维德·汉森 , 巴托克·克林 :
GSOS定义操作的逐点扩展。 数学。 结构。 计算。 科学。 21 ( 2 ) : 321-361 ( 2011 ) 2010 【j4】 海尔·维德·汉森 , Jan J.M.M.鲁滕 :
基于算术比特流函数的用餐机器符号合成。 科学。 Ann.计算。 科学。 20 : 97-130 ( 2010 ) [j3] 海尔·维德·汉森 :
后继换能器:联合大脑的观点。 Inf.计算。 208 ( 12 ) : 1368-1397 ( 2010 ) [注2] 海尔·维德·汉森 , 杰伦·凯特马 , 巴斯·卢提克 , 穆罕默德·雷扎·穆萨维 , 雅各·范德波尔 :
面向mCRL2中的模型检查可执行UML规范。 因诺夫。 系统。 柔和。 工程师。 6 ( 1-2 ) : 83-90 ( 2010 ) 【c6】 海尔·维德·汉森 , 杰伦·凯特马 , 巴斯·卢提克 , 穆罕默德·雷扎·穆萨维 , 雅各·范德波尔 , 奥斯马尔·马奇·多斯·桑托斯 :
可执行UML模型的自动验证。 FMCO公司 2010 : 225-250
2000 – 2009
2009 [j1] 海尔·维德·汉森 , 克莱门斯·库普克 , 埃里克·帕奎特 :
邻域结构:相似性和基本模型理论。 日志。 方法计算。 科学。 5 ( 2 ) ( 2009 ) 2008 【c5】 海尔·维德·汉森 :
Coalgebraising子序列传感器。 CMCS公司 2008 : 109-129 2007 【c4】 海尔·维德·汉森 , 克莱门斯·库普克 , 埃里克·帕奎特 :
邻域结构的相互模拟。 CALCO公司 2007 : 279-293 2006 【c3】 海尔·维德·汉森 , 大卫·科斯塔 , Jan J.M.M.Rutten先生 :
使用衍生物合成粉碎机。 CMCS公司 2006 : 27-45 2004 【c2】 海尔·维德·汉森 , 克莱门斯·库普克 :
单音模态逻辑的协同代数透视。 CMCS公司 2004 : 121-143 2002 【c1】 海尔·维德·汉森 , 马克·保利 :
公理化纳什一致联盟逻辑。 犹太教徒 2002 : 394-406