×

兹马思-数学第一资源

范德波尔,简·科尼利斯

计算距离:
作者ID: 范德波尔。简·科尼利斯“范德波尔,简·科尼利斯”最近发表的zbMATH文章
发布为: 范德波尔,雅科;范德波尔,雅科;范德波尔,简·科尼利斯;范德波尔,J。
外部链接: MGP公司
编制索引的文档: 60种出版物自1995年以来,包括5本书

按年份列出的出版物

zbMATH公开赛中包含的引文

42出版物有被引用130时间88份文件 引用人
终止证明的严格泛函。 Zbl 1063.03505
范德波尔,雅科;赫尔穆特施威滕贝格
9
1995
等式二元决策图。 Zbl 0988.68590
格罗特,简·弗里索;范德波尔,雅科
9
2000
通过证明合流来减少状态空间。 Zbl 1010.68527
布洛姆,斯特凡;范德波尔,雅科
8
2002
用优先级重写的操作语义。 Zbl 0917.68141
范德波尔,雅科
7
1998
在\(\mu\)CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309
巴德班,巴哈雷;沃恩州福克金;格罗特,简·弗里索;庞俊;范德波尔,雅科
6
2005
及时:战略注解。 Zbl 1268.68104
范德波尔,雅科
6
2001
使用部分\(\tau\)-汇流的状态空间缩减。 Zbl 0996.68122号
格罗特,简·弗里索;范德波尔,雅科
5
2000
马尔可夫自动机的有效建模与生成。 Zbl 1364.68295
马克,马克;卡托恩,乔斯特·皮尔特;范德波尔,雅科;斯托林加,马里亚纳州。
5
2012
概率系统的汇流约化。 Zbl 1316.68077
蒂默,马克;斯托琳加,玛丽埃尔;范德波尔,雅科
5
2011
锥和焦点:协议验证的机械框架。 Zbl 1103.68652
沃恩州福克金;庞俊;范德波尔,雅科
4
2006
SCC分解的分布式算法。 Zbl 1210.68131号
巴纳特,吉;查洛普卡,雅库布;范德波尔,雅科
4
2011
高阶重写系统的终止。终结者范·霍杰尔·奥尔德·赫什里夫斯特曼。 Zbl 0864.68053
范德波尔,简·科尼利斯
4
1996
模拟作为重写系统的正确转换。 Zbl 0941.68067
沃恩州福克金;范德波尔,雅科
4
1997
用参数化布尔方程组检验无穷大系统的等价性。 Zbl 1151.68521
陈涛略;巴斯州普洛格;范德波尔,雅科;威廉,蒂姆A.C。
4
2007
马尔可夫自动机的汇约化。 兹布1390.68419
蒂默,马克;范德波尔,雅科;斯托林加,马里亚纳州。
4
2013
部分可观测系统的合成控制综合。 Zbl 1254.93075
奎珀,沃特;范德波尔,雅科
2009
基于控制流重构的线性过程状态空间缩减。 Zbl 1262.68133
范德波尔,雅科;蒂默,马克
2009
正在验证\(\mu\)CRL中的滑动窗口协议。 Zbl 1108.68383
沃恩州福克金;格罗特,简·弗里索;庞俊;巴德班,巴哈雷;范德波尔,雅科
2004
二元决策图的重写方法。 Zbl 1015.68086
赞特玛,汉斯;范德波尔,雅科
2001
概率自动机的线性过程代数格式。 Zbl 1283.68246
卡托恩,乔斯特·皮尔特;范德波尔,雅科;斯托琳加,玛丽埃尔;蒂默,马克
2012
零,继承和平等在BDDs。 Zbl 1064.03009号
巴德班,巴哈雷;范德波尔,雅科
2005
计算不完全信息安全博弈的最弱策略。 Zbl 1234.68259
奎珀,沃特;范德波尔,雅科
2
2009
(\mu\)CRL中的模态抽象。 Zbl 1108.68533号
范德波尔,雅科;瓦莱罗·埃斯帕达,米格尔
2
2004
一个用于\(\mu\)CRL的抽象解释工具包。 Zbl 1116.68058
瓦莱罗·埃斯帕达,米格尔;范德波尔,雅科
2
2007
推广DPLL与等式可满足性。 Zbl 1121.68102
巴德班,巴哈雷;范德波尔,雅科;特维雷蒂娜,奥尔加;赞特玛,汉斯
2
2007
奇偶对策的多核求解器。 Zbl 1286.68326
范德波尔,雅科;韦伯,迈克尔
2
2008
针对分布式马尔科夫模型检验的分布式马尔可夫模型。 Zbl 1286.68306
布洛姆,斯特凡;哈弗科特,布德维金R。;昆茨,马提亚斯;范德波尔,雅科
2
2008
马尔可夫自动机的汇约化。 Zbl 1356.68136
蒂默,马克;卡托恩,乔斯特·皮尔特;范德波尔,雅科;斯托琳加,玛丽埃尔
2
2016
分发一个简单的共享数据空间架构。 Zbl 1114.68036
奥赞,西蒙娜;范德波尔,雅科
1
2006
具有递归数据类型的过程代数的符号可达性。 Zbl 1161.68613号
布洛姆,斯特凡;范德波尔,雅科
1
2008
论优先权的公理化。二。 Zbl 1216.68181
醋酸,卢卡;陈涛略;安娜,英戈尔夫斯多蒂;巴斯州卢蒂克;范德波尔,雅科
1
2011
四值序列逻辑的微积分。 Zbl 1227.03028
伯格斯特拉,Jan A。;范德波尔,雅科
1
2011
分布式状态空间生成的数据库方法。 Zbl 1213.68364
布洛姆,斯特凡;利瑟,伯特;范德波尔,雅科;韦伯,迈克尔
1
2011
广义最内层重写。 Zbl 1078.68068
范德波尔,雅科;赞特玛,汉斯
1
2005
二元决策图共享重写。 Zbl 0996.68512
范德波尔,雅科;赞特玛,汉斯
1
2000
使用\(\mu\)CRL的JavaSpaces体系结构的形式化规范。 Zbl 1053.68511号
范德波尔,雅科;瓦莱罗·埃斯帕达,米格尔
1
2002
JITty:带有策略注释的重写器。 Zbl 1045.68583
范德波尔,雅科
1
2002
分布式数据空间体系结构的等价语义模型。 Zbl 1254.68108号
胡曼,乔泽夫;范德波尔,雅科
1
2003
基于抽象解释的状态空间分配策略。 Zbl 1272.68273
奥赞,西蒙娜;范德波尔,雅科;瓦莱罗·埃斯帕达,米格尔
1
2005
分布式状态空间生成的数据库方法。 Zbl 1277.68161
布洛姆,斯特凡;利瑟,伯特;范德波尔,雅科;韦伯,迈克尔
1
2008
多核嵌套深度优先搜索。 Zbl 1348.68142
拉尔曼,阿尔芬斯;朗格拉克,罗马;范德波尔,雅科;韦伯,迈克尔;巫师,安东
1
2011
改进的多核嵌套深度优先搜索。 Zbl 1374.68281号
伊万杰利斯塔,萨米人;拉尔曼,阿尔芬斯;佩特鲁奇,劳尔;范德波尔,雅科
1
2012
马尔可夫自动机的汇约化。 Zbl 1356.68136
蒂默,马克;卡托恩,乔斯特·皮尔特;范德波尔,雅科;斯托琳加,玛丽埃尔
2
2016
马尔可夫自动机的汇约化。 兹布1390.68419
蒂默,马克;范德波尔,雅科;斯托林加,马里亚纳州。
4
2013
马尔可夫自动机的有效建模与生成。 Zbl 1364.68295
蒂默,马克;卡托恩,乔斯特·皮尔特;范德波尔,雅科;玛丽埃琳娜。
5
2012
概率自动机的线性过程代数格式。 Zbl 1283.68246
卡托恩,乔斯特·皮尔特;范德波尔,雅科;斯托琳加,玛丽埃尔;蒂默,马克
2012
改进的多核嵌套深度优先搜索。 Zbl 1374.68281号
伊万杰利斯塔,萨米人;拉尔曼,阿尔芬斯;佩特鲁奇,劳尔;范德波尔,雅科
1
2012
概率系统的汇流约化。 Zbl 1316.68077
蒂默,马克;斯托琳加,玛丽埃尔;范德波尔,雅科
5
2011
SCC分解的分布式算法。 Zbl 1210.68131号
巴纳特,吉;查洛普卡,雅库布;范德波尔,雅科
4
2011
论优先权的公理化。二。 Zbl 1216.68181
醋酸,卢卡;陈涛略;安娜,英戈尔夫斯多蒂;巴斯州卢蒂克;范德波尔,雅科
1
2011
四值序列逻辑的微积分。 Zbl 1227.03028
伯格斯特拉,Jan A。;范德波尔,雅科
1
2011
分布式状态空间生成的数据库方法。 Zbl 1213.68364
布洛姆,斯特凡;利瑟,伯特;范德波尔,雅科;韦伯,迈克尔
1
2011
多核嵌套深度优先搜索。 Zbl 1348.68142
拉尔曼,阿尔芬斯;朗格拉克,罗马;范德波尔,雅科;韦伯,迈克尔;巫师,安东
1
2011
部分可观测系统的合成控制综合。 Zbl 1254.93075
奎珀,沃特;范德波尔,雅科
2009
基于控制流重构的线性过程状态空间缩减。 Zbl 1262.68133
范德波尔,雅科;蒂默,马克
2009
计算不完全信息安全博弈的最弱策略。 Zbl 1234.68259
奎珀,沃特;范德波尔,雅科
2
2009
奇偶对策的多核求解器。 Zbl 1286.68326
范德波尔,雅科;韦伯,迈克尔
2
2008
针对CSL模型检验的分布式马尔可夫互模拟约简。 Zbl 1286.68306
布洛姆,斯特凡;哈弗科特,布德维金R。;昆茨,马提亚斯;范德波尔,雅科
2
2008
具有递归数据类型的过程代数的符号可达性。 Zbl 1161.68613号
布洛姆,斯特凡;范德波尔,雅科
1
2008
分布式状态空间生成的数据库方法。 Zbl 1277.68161
布洛姆,斯特凡;利瑟,伯特;范德波尔,雅科;韦伯,迈克尔
1
2008
用参数化布尔方程组检验无穷大系统的等价性。 Zbl 1151.68521
陈涛略;巴斯州普洛格;范德波尔,雅科;威廉,蒂姆A.C。
4
2007
一个用于\(\mu\)CRL的抽象解释工具包。 Zbl 1116.68058
瓦莱罗·埃斯帕达,米格尔;范德波尔,雅科
2
2007
推广DPLL与等式可满足性。 Zbl 1121.68102
巴德班,巴哈雷;范德波尔,雅科;特维雷蒂娜,奥尔加;泰玛,汉斯
2
2007
锥和焦点:协议验证的机械框架。 Zbl 1103.68652
沃恩州福克金;庞俊;范德波尔,雅科
4
2006
分发一个简单的共享数据空间架构。 Zbl 1114.68036
奥赞,西蒙娜;范德波尔,雅科
1
2006
在\(\mu\)CRL和PVS中验证滑动窗口协议。 Zbl 1101.68309
巴德班,巴哈雷;沃恩州福克金;格罗特,简·弗里索;庞俊;范德波尔,雅科
6
2005
零,继承和平等在BDDs。 Zbl 1064.03009号
巴德班,巴哈雷;范德波尔,雅科
2005
广义最内层重写。 Zbl 1078.68068
范德波尔,雅科;赞特玛,汉斯
1
2005
基于抽象解释的状态空间分配策略。 Zbl 1272.68273
奥赞,西蒙娜;范德波尔,雅科;瓦莱罗·埃斯帕达,米格尔
1
2005
正在验证\(\mu\)CRL中的滑动窗口协议。 Zbl 1108.68383
沃恩州福克金;格罗特,简·弗里索;庞俊;巴德班,巴哈雷;范德波尔,雅科
2004
(\mu\)CRL中的模态抽象。 Zbl 1108.68533号
范德波尔,雅科;瓦莱罗·埃斯帕达,米格尔
2
2004
分布式数据空间体系结构的等价语义模型。 Zbl 1254.68108号
胡曼,乔泽夫;范德波尔,雅科
1
2003
通过证明合流来减少状态空间。 Zbl 1010.68527
布洛姆,斯特凡;范德波尔,雅科
8
2002
使用\(\mu\)CRL的JavaSpaces体系结构的形式化规范。 Zbl 1053.68511号
范德波尔,雅科;瓦莱罗·埃斯帕达,米格尔
1
2002
JITty:带有策略注释的重写器。 Zbl 1045.68583
范德波尔,雅科
1
2002
及时:战略注解。 Zbl 1268.68104
范德波尔,雅科
6
2001
二元决策图的重写方法。 Zbl 1015.68086
赞特玛,汉斯;范德波尔,雅科
2001
等式二元决策图。 Zbl 0988.68590
格罗特,简·弗里索;范德波尔,雅科
9
2000
使用部分\(\tau\)-汇流的状态空间缩减。 Zbl 0996.68122号
格罗特,简·弗里索;范德波尔,雅科
5
2000
二元决策图共享重写。 Zbl 0996.68512
范德波尔,雅科;赞特玛,汉斯
1
2000
用优先级重写的操作语义。 Zbl 0917.68141
范德波尔,雅科
7
1998
模拟作为重写系统的正确转换。 Zbl 0941.68067
沃恩州福克金;范德波尔,雅科
4
1997
高阶重写系统的终止。终结者范·霍杰尔·奥尔德·赫什里夫斯特曼。 Zbl 0864.68053
范德波尔,简·科尼利斯
4
1996
终止证明的严格泛函。 Zbl 1063.03505
范德波尔,雅科;赫尔穆特施威滕贝格
9
1995
全部的 前5名

被169位作者引用

14 范德波尔,简·科尼利斯
6 威廉,蒂姆A.C。
5 威廉·福金
5 格罗特,简·弗里索
5 卡托恩,乔斯特·皮尔特
4 蒂默,马克
4 赞特玛,汉斯
巴德班,巴哈雷
赫尔曼,霍尔格
巴斯州卢蒂克
庞俊
雷尼尔,米歇尔·阿德里安
斯托琳加,玛丽埃尔
范维登堡,穆克J。
韦斯林克,威格
维默,拉尔夫D。
2 拜尔,克里斯特尔
2 贝克,伯纳德
2 卡斯蒂格利奥尼,瓦伦蒂娜
2 埃德坎普,斯特凡
2 格布勒,丹尼尔E。
2 哈特菲,哈桑
2 朱安娜,让·皮埃尔
2 克莱恩,约阿希姆
2 克鲁佩霍尔兹,萨夏
2 卢卡斯,萨尔瓦多
2 奥赞,西蒙娜
2 卢比奥,艾伯特
2 特维雷蒂娜,奥尔加
2 乌利多斯基,艾瑞克
2 维瑟,Eelco
2 Wijs,安东J。
1 Ábrahám,埃里卡
1 醋酸,卢卡
1 阿普特,玛里亚
1 阿纳斯塔西亚迪,埃利
1 安托伊,塞尔吉奥
1 阿诺德,弗洛里安
1 贝顿,乔斯·C·M。
1 柏洛,帕特里克
1 贝克拉,马可
1 巴博特,贝诺
1 贝尼什,尼古拉
1 Bérenguier,D。
1 伯纳多,马可
1 比约尔松,约哈恩
1 布朗基,弗里德里克
1 布洛姆,斯特凡
1 博尔特尼克,E。
1 布莱恩,马丁
1 贝蒂娜,布莱特林
1 布里姆,卢博什
1 Butkova,尤利娅
1 赵维娅,克劳丁
1 查特吉,克莉什南杜
1 陈涛略
1 克兰,斯约尔德
1 切克斯特,里卡多M。
1 达拉戈,乌戈
1 D'Argenio,佩德罗·鲁宾
1 德尼古拉,洛克
1 德罗斯,塞萨尔空军。
1 de Vries,Fer Jan J。
1 德赫内特,克里斯蒂安
1 D'silva,维杰
1 艾森特,克里斯蒂安
1 圣地亚哥埃斯科巴
1 亚历山德罗·范泰奇
1 费尔南德斯,保罗
1 费雷尔·菲奥里蒂,路易斯·马里亚
1 菲利奥特,艾曼纽
1 福米萨诺,安德里亚
1 弗朗卡兰扎,阿德里安
1 玉溪,玉溪
1 Garavel,休伯特
1 加兹达,马西耶W。
1 加塞米,法提米
1 吉尔斯,彼得
1 格奈迪格,伊莎贝尔
1 戈德斯凯森,詹斯·克里斯。
1 古德勒,奥尔温E。
1 格里吉奥,阿尔伯托
1 古克,丹尼斯
1 哈夫斯坦,西格尔·乌尔·弗雷尔
1 哈勒,利奥波德
1 韩婷婷
1 汉森,亨利
1 轩尼诗,马修·C·B。
1 霍夫曼,罗格
1 胡曼,乔泽夫·约翰内斯·玛丽亚
1 安娜,英格尔夫斯多蒂尔
1 Isobe,吉野
1 贾巴尔,沙希德
1 詹森,大卫N。
1 尼尔斯詹森
1 金乃勇
1 约格莱卡,玛纳斯R。
1 乔斯特,安迪
1 卡尔斯,斯蒂芬·迈克尔
1 凯利特,克里斯托弗M。
…还有69位作者

按年份列出的引文