×
编辑配置文件（在新选项卡中打开）

马尔科·范·埃克伦

合著者距离
作者ID： 凡·埃克伦·马尔科“van Eekelen，Marko”最近发表的zbMATH文章
发布日期： 马尔科·范·埃克伦；马克·范·埃克伦；范·埃克伦（M.van Eekelen）。
外部链接： 管理程序
已编制索引的文档： 27出版物自1993年以来，包括1本书
4作为编辑的贡献
合著者： 28位合著者具有31联合出版物
280位合作作者
全部的 前5名

合著者

0 单作者的
9 莱纳斯·普拉斯梅耶
9 奥哈·什卡拉夫斯卡
7 斯梅特泽斯，沙克
4 彼得·阿奇顿
4 马尔滕·德·莫尔
三 肯·马德勒
三 罗恩·范凯斯特伦
2 彼得·科普曼
2 里卡多·佩纳
2 伯纳德·范加斯特尔
1 埃里克·巴伦德森
1 安德鲁·巴特菲尔德
1 拉斐拉·布茨
1 乌戈·达尔拉戈
1 马尔科姆·道斯
1 简·赫尔曼·杰弗斯
1 阿扬·霍默索姆
1 罗迪·克尔斯滕
1 伦纳德·伦辛克
1 黑山，曼努埃尔
1 马可·T·莫拉赞。
1 保罗·帕里森·托尔丁
1 吕克·鲁顿
1 朱利安·施马耳茨
1 亚历杭德罗·塔马利特
1 阿扬·范·维尔登
1 弗里克·威迪杰克
1 托尔斯滕·H·G·泽纳。
全部的 前5名

系列

4 计算机科学课堂讲稿
2 符号计算杂志
1 ACM数学软件汇刊
1 计算机程序设计科学
1 函数编程杂志
1 高阶和符号计算
1 计算机语言、系统和结构
1 计算机科学中的逻辑方法
全部的 前5名

领域

29 计算机科学（68至XX）
4 总体主题；集合（00-XX）
2 差分方程和函数方程（39至XX）
1 数学逻辑和基础（03-XX）
1 场论和多项式（12-XX）
1 统计学（62-XX）
1 数值分析（65-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

16出版物有被引用67中的次53文件 引用人▼ 年份▼
函数编程和并行图重写。 Zbl 0788.68023号
莱纳斯·普拉斯梅耶；马尔科·范·埃克伦
37
1993
一阶形状函数的多项式尺寸分析。 Zbl 1163.68009号
奥哈·什卡拉夫斯卡；马尔科·范·埃克伦；罗恩·范凯斯特伦
5
2009
证明工具支持明确的严格性。 Zbl 1236.68033号
马尔科·范·埃克伦；马尔滕·德·莫尔
5
2006
函数式程序员的定理证明。SPARKLE：一个函数定理证明程序。 Zbl 1053.68556号
马尔滕·德·莫尔；马尔科·范·埃克伦；莱纳斯·普拉斯梅耶
三
2002
代数差分方程的单变量多项式解。 Zbl 1284.39005号
O.什卡拉夫斯卡。；范·埃克伦（M.van Eekelen）。
三
2014
通用多态列表上严格函数程序的集合大小语义。 Zbl 1445.68047号
奥哈·什卡拉夫斯卡；马尔科·范·埃克伦；亚历杭德罗·塔马利特
三
2014
一阶函数的多项式尺寸分析。 Zbl 1163.68316号
奥哈·什卡拉夫斯卡；罗恩·范凯斯特伦；马尔科·范·埃克伦
2
2007
通过测试推断静态非单调大小软件类型。 Zbl 1283.68129号
罗恩·范凯斯特伦；奥哈·什卡拉夫斯卡；马尔科·范·埃克伦
1
2008
模双代数语义和代数定律。 Zbl 1405.68175号
肯·马德勒；斯梅特泽斯，沙克；马尔科·范·埃克伦
1
2013
1999/2000年与2007/2008年职能方案拟订趋势的趋势。 Zbl 1256.68028号
彼得·阿奇顿；马尔科·范·埃克伦；彼得·科普曼；马可·T·莫拉赞。
1
2010
死锁和无饥饿的可重入读者作者：一个结合模型检验和定理证明的案例研究。 Zbl 1213.68193号
伯纳德·范加斯特尔；伦纳德·伦辛克；斯梅特泽斯，沙克；马尔科·范·埃克伦
1
2011
用于能耗分析的Hoare逻辑。 Zbl 1445.68054号
罗迪·克尔斯滕；保罗·帕里森·托尔丁；伯纳德·范加斯特尔；马尔科·范·埃克伦
1
2014
函数式编程语言的图重写语义。 兹比尔0884.68079
马尔科·范·埃克伦；斯梅特泽斯，沙克；莱纳斯·普拉斯梅耶
1
1997
通过小模数对大整数进行有效且经正式证明的约简。 Zbl 1364.65314号
吕克·鲁顿；马克·范·埃克伦
1
2010
关于确定性并发函数I/O的推理。 Zbl 1119.68331号
马尔科姆·道斯；安德鲁·巴特菲尔德；马尔科·范·埃克伦
1
2005
通过具有图的唯一性信息的类型系统确保安全的破坏性更新。 Zbl 1494.68124号
斯梅特泽斯，沙克；埃里克·巴伦德森；马尔科·范·埃克伦；莱纳斯·普拉斯梅耶
1
1994
代数差分方程的单变量多项式解。 Zbl 1284.39005号
O.什卡拉夫斯卡。；范·埃克伦（M.van Eekelen）。
三
2014
通用多态列表上严格函数程序的集合大小语义。 Zbl 1445.68047号
奥哈·什卡拉夫斯卡；马尔科·范·埃克伦；亚历杭德罗·塔马利特
三
2014
用于能耗分析的Hoare逻辑。 Zbl 1445.68054号
罗迪·克尔斯滕；保罗·帕里森·托尔丁；伯纳德·范加斯特尔；马尔科·范·埃克伦
1
2014
模双代数语义和代数定律。 Zbl 1405.68175号
肯·马德勒；斯梅特泽斯，沙克；马尔科·范·埃克伦
1
2013
死锁和无饥饿的可重入读者作者：一个结合模型检验和定理证明的案例研究。 Zbl 1213.68193号
伯纳德·范加斯特尔；伦纳德·伦辛克；斯梅特泽斯，沙克；马尔科·范·埃克伦
1
2011
1999/2000年与2007/2008年职能方案拟订趋势的趋势。 Zbl 1256.68028号
彼得·阿奇顿；马尔科·范·埃克伦；彼得·科普曼；马可·T·莫拉赞。
1
2010
通过小模数对大整数进行有效且经正式证明的约简。 Zbl 1364.65314号
吕克·鲁顿；马克·范·埃克伦
1
2010
一阶形状函数的多项式尺寸分析。 Zbl 1163.68009号
奥哈·什卡拉夫斯卡；马尔科·范·埃克伦；罗恩·范凯斯特伦
5
2009
通过测试推断静态非单调大小软件类型。 Zbl 1283.68129号
罗恩·范凯斯特伦；奥哈·什卡拉夫斯卡；马尔科·范·埃克伦
1
2008
一阶函数的多项式尺寸分析。 Zbl 1163.68316号
奥哈·什卡拉夫斯卡；罗恩·范凯斯特伦；马尔科·范·埃克伦
2
2007
证明工具支持明确的严格性。 Zbl 1236.68033号
马尔科·范·埃克伦；马尔滕·德·莫尔
5
2006
关于确定性并发函数I/O的推理。 Zbl 1119.68331号
马尔科姆·道斯；安德鲁·巴特菲尔德；马尔科·范·埃克伦
1
2005
函数式程序员的定理证明。SPARKLE：一个函数定理证明程序。 Zbl 1053.68556号
马尔滕·德·莫尔；马尔科·范·埃克伦；莱纳斯·普拉斯梅耶
三
2002
函数编程语言的图形重写语义。 Zbl 0884.68079号
马尔科·范·埃克伦；斯梅特泽斯，沙克；莱纳斯·普拉斯梅耶
1
1997
通过具有图的唯一性信息的类型系统确保安全的破坏性更新。 Zbl 1494.68124号
斯梅特泽斯，沙克；埃里克·巴伦德森；马尔科·范·埃克伦；莱纳斯·普拉斯梅耶
1
1994
函数编程和并行图重写。 Zbl 0788.68023号
莱纳斯·普拉斯梅耶；马尔科·范·埃克伦
37
1993
所有引用出版物 前5名被引用出版物
全部的 前5名

81位作者引用

9 马尔科·范·埃克伦
4 瑞希德·埃哈希德
三 玛丽贝尔·费尔南德斯
三 奥哈·什卡拉夫斯卡
三 斯梅特泽斯，沙克
2 亨德里克·彼得·巴伦德雷格特
2 Tour男孩，蒂埃里
2 安德烈亚·科拉迪尼
2 法比奥·加杜奇
2 帕特里夏·约翰
2 赫莱内·基什内尔
2 皮特·库普曼
2 Lénárt，萨博尔斯
2 Lõrinczi，阿贝尔
2 萨尔瓦多卢卡斯
2 伊恩·麦基
2 莱纳斯·普拉斯梅耶
2 Masahiko酒井
2 伊斯坦布尔市Szöllősi
2 富山，吉藤义彦
2 伯纳德·范加斯特尔
2 Janis Voigtlander公司
2 伊恩·泽尼
1 彼得·阿奇顿
1 艾尔维拉·阿尔伯特
1 玛丽亚·阿尔普恩特
1 泽纳·M·阿里奥拉。
1 帕特里克·巴尔
1 白国强
1 保罗·巴尔丹
1 克拉拉·贝托利西
1 里卡多·卡费拉
1 霍雷修·西尔斯泰
1 马可·科米尼
1 佐尔坦·舍尔尼
1 奥利维尔·丹维
1 马尔滕·德·莫尔
1 盖尔盖·德瓦伊
1 圣地亚哥埃斯科瓦尔
1 莫雷诺，法拉斯基
1 德国福雷
1 伊莎贝尔·格内迪格
1 伯恩哈德·格拉姆利希
1 尤里安·黑格
1 马克·E·霍尔。
1 郝慧康
1 斯特凡·霍尔德曼
1 何塞·伊波拉
1 简·马丁·詹森
1 J.F.Th.卡佩尔曼。
1 罗迪·克尔斯滕
1 理查德·基伯茨。
1 沃纳·E·克鲁格。
1 伦纳德·伦辛克
1 肯·马德勒
1 丹尼尔·马歇尔。
1 丹尼尔·梅尔塞
1 黑山，曼努埃尔
1 马可·T·莫拉赞。
1 多米尼克·A·乌节。
1 保罗·帕里森·托尔丁
1 尼古拉斯·佩尔蒂埃
1 里卡多·佩纳
1 布鲁诺·皮诺
1 安德鲁·波伦斯基
1 阿德里安·里斯科
1 胡安·罗德里格斯·霍塔拉
1 佐藤信也
1 费利克斯·舍恩哈默
1 克拉拉·塞古拉
1 雅各布·格鲁·西蒙森
1 弗朗索瓦·雷吉斯·西诺
1 萨巴州斯桑托
1 雷内·蒂曼
1 罗恩·范凯斯特伦
1 德国维达尔
1 Vo、Thieu N。
1 迈克尔·沃尔默
1 H·R·J·沃尔特斯。
1 于海波
1 张毅
全部的 前5名

17篇连载文章中引用

4 理论计算机科学
4 信息与计算
三 高阶和符号计算
2 数学座谈会
2 符号计算杂志
2 MSCS公司。计算机科学中的数学结构
1 信息处理信件
1 应用数学进展
1 计算机程序设计科学
1 新一代计算
1 工程、通信和计算中的应用代数
1 应用非经典逻辑杂志
1 符号逻辑公报
1 RAIRO公司。理论信息学及其应用
1 逻辑程序设计理论与实践
1 计算机语言、系统和结构
1 Chamchuri数学杂志
全部的 前5名

在8个字段中引用

46 计算机科学（68至XX）
8 数学逻辑和基础（03-XX）
三 差分方程和函数方程（39至XX）
2 结合环与代数（16-XX）
2 范畴理论；同调代数（18-XX）
1 场论和多项式（12-XX）
1 代数几何（14-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文