×

兹马思-数学第一资源

拉森,金·古德斯兰德

计算距离:
作者ID: 拉森,金·古德斯兰德最近的zbMATH文章由“拉尔森,金古德斯兰德”
发布为: 拉森,金G。;拉森,金·古德斯兰德;古德兰·拉森,金;拉森,金;拉森,K.G。
主页: http://people.cs.aau.dk/~千克/
外部链接: MGP公司·谷歌学者·dblp公司·接地
编制索引的文档: 215种出版物自1984年以来,包括13本书
传记参考: 1个出版物
全部的 前5名

合著者

10 单作者
31 马尔代尔,拉杜
24 勒盖,阿克塞尔
24 斯尔巴,吉
19 伊利诺伊州费伦伯格
17 布耶,帕特里夏
17 Wąsowski和Andrzej
16 大卫,亚历山德拉
15 巴奇,乔瓦尼
15 贝尔曼,格尔德
13 巴奇,乔治
11 马基,尼古拉斯
9 尼曼,乌尔里克
9 瑟恩,克劳斯·R。
9 薛冰天
8 卡塞兹,弗兰克
8 德拉哈耶,贝诺ît
8 佩特森,保罗
7 贝尼什,尼古拉
7 朱尔,行
7 Křetínský,1月
7 拉斯穆森,雅各布·伊尔姆
7 易,王
6 彼得·詹森
5 尼尔森,布莱恩
5 奥列森,玛兹·克里斯蒂安
5 佩德森,米克尔·莱克
5 拉斯金,让·弗朗索瓦
4 安东尼克,亚当
4 Bøgsted Poulsen,丹尼
4 布林克斯马,埃德
4 布莱切夫,彼得E。
4 达尔斯加德,安德烈亚斯·恩格尔布雷特
4 弗勒里,伊曼纽
4 休恩,托马斯
4 胡特,迈克尔R.A。
4 詹森,亨里克·埃杰斯博
4 克里斯托弗森,Kåre J。
4 莱姆,迪迪埃
4 米库西尼斯,马吕斯
4 雷尼尔,皮埃尔·阿兰
4 斯卡,阿恩
4 韦斯,卡斯滕
鲍尔,塞巴斯蒂安S。
卡德利,卢卡
恩沃尔森,瑟伦
芬克,安加
汉森,米克尔
詹森,小姐。
考夫曼,伊莎贝拉
劳森,西蒙
默勒,米凯尔·哈克尔
尼尔森,Søren M。
帕南加登,普拉卡什
佩德森,马蒂亚斯·鲁格哈德
特劳诺埃兹,路易·玛丽
温斯克尔,格林
2 醋酸,卢卡
2 艾瑟尼格,伯恩哈德K。
2 安徒生,亨里克·赖夫
2 伯多尔,杰拉德
2 D'Argenio,佩德罗·鲁宾
2 福格,彼得
2 格布勒,丹尼尔E。
2 格罗特,简·弗里索
2 汉森,雷德霍夫
2 哈维伦德,克劳斯
2 亨德里克斯,马蒂恩
2 赫尔加德,亨里克
2 珍妮,贝特朗
2 詹森,芬恩·弗纳
2 詹森,马蒂亚斯·克劳斯
2 杰森,托比亚斯S。
2 强森,本特
2 卡托恩,乔斯特·皮尔特
2 科赞,德克斯特C。
2 库普费希米德,塞巴斯蒂安
2 拉尔森,弗雷德里克
2 李广元
2 林德尼尔森,约恩
2 刘欣欣
2 玛丽加德,安德斯
2 米尔纳,罗宾
2 尼伯特,彼得
2 帕斯瓦,塞缪尔
2 皮尔逊,贾斯汀
2 佩拉内克,拉德克
2 伊戈尔,波塔波夫
2 赛德沃兹,肖恩
2 谢尔,法拉克
2 克里希南,苏布拉马尼
2 塔安奎斯特,雅各布哈哈尔
2 塔普勒,马丁
2 汤姆森,本特
2 蒂尼,西蒙妮
2 王,郑
2 张正奎
1 安德森,约根H。
1 巴拉圭,巴拉格
1 约翰本特森
1 彼得,贝兹德克
…和另外75位合著者

按年份列出的出版物

zbMATH公开赛中包含的引文

162出版物有1519年被引用时间886份文件 引用人
通过概率测试进行交互模拟。 Zbl 0756.68035
拉森,金G。;斯卡,阿恩
254
1991
简言之,乌帕阿尔。 Zbl 1060.68577
拉森,金G。;佩特森,保罗;易,王
114
1997
关于乌帕的教程。 Zbl 1105.68350
贝尔曼,格尔德;大卫,亚历山德拉;拉森,金G。
56
2004
定价时间自动机的最小成本可达性。 Zbl 0991.68037
贝尔曼,格尔德;芬克,安加;休恩,托马斯;拉森,金;佩特森,保罗
45
2002
接口和生产线理论的模态I/O自动机。 Zbl 1187.68296
拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
41
2007
利用信息系统有效地求解递归区域方程。 Zbl 0539.68019
拉森,K.G。;温斯克,G。
40
1984
反应系统。建模、规范和验证。 Zbl 1141.68043
醋酸,卢卡;安娜,英格尔夫斯多蒂尔;拉森,金G。;斯尔巴,吉
40
2007
过程代数的概率扩张。 Zbl 1062.68081
强森,本特;易,王;拉森,金G。
40
2001
在时间自动机中以无限的加权能量运行。 Zbl 1171.68524
布耶,帕特里夏;伊利诺伊州费伦伯格;拉森,金G。;马基,尼古拉斯;斯尔巴,吉
30
2008
Hennessy-Milner逻辑可满足性的递归证明系统。 零担0698.68014
拉森,金G。
29
1990
分析定时游戏的有效的动态算法。 Zbl 1134.68382
卡塞兹,弗兰克;大卫,亚历山德拉;弗勒里,伊曼纽;拉森,金G。;莱姆,迪迪埃
27
2005
通过上下文的操作语义进行组合。 Zbl 0738.68056
拉森,金G。;刘欣欣
24
1991
秒表令人印象深刻的力量。 Zbl 0999.68112
卡塞兹,弗兰克;拉森,金
21
2000
时间I/O自动机:实时系统的完整规范理论。 Zbl 1361.68143
大卫,亚历山德拉;拉森,金G。;勒盖,阿克塞尔;尼曼,乌尔里克;瓦索夫斯基,安德烈
21
2010
概率系统的可达性分析。 Zbl 1007.68131号
D'Argenio,佩德罗R。;珍妮,贝特朗;詹森,亨里克E。;拉森,金G。
19
2001
尽可能便宜:定价时间自动机的有效成本最优可达性。 Zbl 0991.68536
拉森,金;贝尔曼,格尔德;布林克斯马,埃德;芬克,安加;休恩,托马斯
15
2001
在UPPAAL实现成本优化的有效指导。 Zbl 0978.68541
贝尔曼,格尔德;芬克,安加;休恩,托马斯;拉森,金;佩特森,保罗
15
2001
从时间自动机到逻辑,再到逻辑。 Zbl 1193.03069号
拉鲁西尼,弗朗索瓦;拉森,金G。;韦斯,卡斯滕
15
1995
具有递归的Hennessy-Milner逻辑的证明系统。 Zbl 0647.68012
拉森,金G。
14
1988
上下文的组合性和操作语义。 Zbl 0765.68107
拉森,金G。;刘欣欣
14
1990
图形与逻辑规范。 Zbl 0776.68084
伯多尔,杰拉德;拉森,金G。
14
1992
尽可能便宜地活着。 Zbl 1135.93352
布耶,帕特里夏;布林克斯马,埃德;拉森,金G。
14
2004
20年的模态和混合规范。 6849ZB1169
安东尼克,亚当;胡特,迈克尔;拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
14
2008
时间抽象的交互模拟:隐式规范和可判定性。 邮政编码:0887.68068
拉森,金G。;王毅
13
1997
进程之间的上下文相关等价。 Zbl 0612.68027
拉森,金G。
12
1987
多重加权自动机中的能量博弈。 Zbl 1350.68168
伊利诺伊州费伦伯格;朱尔,行;拉森,金G。;斯尔巴,吉
12
2011
时间自动机可达性测试的能力。 Zbl 1023.68060
醋酸,卢卡;布耶,帕特里夏;布尔盖诺,奥古斯托;拉森,金G。
11
2003
定价时间博弈自动机的最优策略。 Zbl 1117.68396
布耶,帕特里夏;卡塞兹,弗兰克;弗勒里,伊曼纽;拉森,金G。
11
2004
多定价时间自动机的最优无限调度。 Zbl 1133.68360
布耶,帕特里夏;布林克斯马,埃德;拉森,金G。
11
2008
关于模态求精与一致性。 Zbl 1151.68541
拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
11
2007
加权过渡系统的度量:公理化和复杂性。 Zbl 1216.68191
拉森,金G。;伊利诺伊州费伦伯格;瑟恩,克劳斯
11
2011
加权过渡系统的定量分析。 Zbl 1204.68137
瑟恩,克劳斯;伊利诺伊州费伦伯格;拉森,金G。
11
2010
利用时钟差图进行有效的定时可达性分析。 Zbl 1046.68577
贝尔曼,G。;拉森,K.G。;皮尔逊,J。;韦斯,C。;易,W。
10
1999
论模态转换系统中的决定论。 Zbl 1186.68314号
北卡罗来纳州贝内什。;Křetínský,J。;拉森,K.G。;斯尔巴,J。
10
2009
马尔可夫过程的斯通对偶性。 Zbl 1433.06006
科赞,德克斯特;拉森,金G。;马尔代尔,拉杜;帕南加登,普拉卡什
10
2013
多定价时间自动机的最优可达性。 Zbl 1134.68029
拉森,金·古德斯兰德;拉斯穆森,雅各布·伊尔姆
9
2008
马尔可夫链。 Zbl 1223.68070
凯劳德,贝诺;德拉哈耶,贝诺ît;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;Wąsowski和Andrzej
9
2011
双相似距离的动态精确计算。 Zbl 1381.68218
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
9
2013
基于概率过程计算的组合互模拟度量推理。 兹布1398.68365
盖博,丹尼尔;拉森,金G。;蒂尼,西蒙妮
9
2016
时钟差图。 Zbl 0937.68086
拉森,金G。;皮尔逊,贾斯汀;韦斯,卡斯滕;易,王
8
1999
时间自动机验证中的静态保护分析。 Zbl 1031.68076
贝尔曼,格尔德;布耶,帕特里夏;弗勒里,伊曼纽;拉森,金G。
8
2003
抽象概率自动机。 Zbl 1317.68095
德拉哈耶,贝诺ît;卡托恩,乔斯特·皮尔特;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;谢尔,法拉克;Wąsowski和Andrzej
8
2011
模型检验一个时钟定价的时间自动机。 Zbl 1149.68401
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯
8
2008
鲁棒最优控制器的自动综合——工业实例研究。 Zbl 1237.93058
卡塞兹,弗兰克;杰森,简·J。;拉森,金G。;拉斯金,让·弗朗索瓦;雷尼尔,皮埃尔·阿兰
8
2009
检查模态转换系统的彻底细化是EXPTIME完成的。 Zbl 1250.68117
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;斯尔巴,吉
8
2009
极限:马尔可夫过程的近似推理。 Zbl 1365.68344号
拉森,金·古德斯兰德;马尔代尔,拉杜;帕南加登,普拉卡什
8
2012
用结构化标签扩展模态转换系统。 兹布1277.68160
鲍尔,塞巴斯蒂安S。;朱尔,行;拉森,金G。;勒盖,阿克塞尔;斯尔巴,吉
8
2012
用UPPAAL指导控制程序的综合。 Zbl 0978.68021
休恩,托马斯;拉森,金G。;佩特森,保罗
7
2001
在模态过程逻辑中使用静态结构。 03014.ZB83号
Hüttel,汉斯;拉森,金G。
7
1989
多定价时间自动机的最优条件可达性。 Zbl 1118.68527
拉森,金·古德斯兰德;拉斯穆森,雅各布·伊尔姆
7
2005
概率分析的简化和细化策略。 Zbl 1065.68582
D'Argenio,佩德罗R。;珍妮,贝特朗;詹森,亨里克E。;拉森,金G。
7
2002
利用信息系统求解递归域方程。 Zbl 0731.68071
拉森,金·古德斯兰德;温斯克尔,格林
7
1991
时间自动机区域抽象的上下界。 Zbl 1126.68453
贝尔曼,格尔德;布耶,帕特里夏;拉森,金G。;佩拉内克,拉德克
7
2004
用于检查交替时间模拟的有效实时算法。 Zbl 1262.68105
布莱切夫,彼得;查坦,托马斯;大卫,亚历山德拉;拉森,金G。
7
2009
能量约束下带观察者的时间自动机。 Zbl 1361.68135号
布耶,帕特里夏;伊利诺伊州费伦伯格;拉森,金G。;马基,尼古拉斯
7
2010
从成分上计算行为距离。 Zbl 1400.68144
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
7
2013
基于概率过程计算的组合度量推理。 Zbl 1459.68143
盖博,丹尼尔;拉森,金·古德斯兰德;蒂尼,西蒙妮
7
2015
基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214
陆琦;麦德森,迈克尔;米拉塔,马丁;拉文,瑟伦;伊利诺伊州费伦伯格;拉森,金G。
7
2012
平均能量游戏。 兹布1390.68115
布耶,帕特里夏;马基,尼古拉斯;兰多尔,米凯尔;拉森,金G。;劳森,西蒙
7
2018
混合和模态规范决策问题的复杂性。 Zbl 1139.68035
安东尼克,亚当;胡特,迈克尔;拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
6
2008
基于观察和结巴不变策略的定时控制。 Zbl 1141.68428
卡塞兹,弗兰克;大卫,亚历山德拉;拉森,金G。;莱姆,迪迪埃;让·拉斯金,弗朗索瓦
6
2007
时间自动机的自动抽象求精。 Zbl 1141.68431
迪尔克斯,亨宁;库普费希米德,塞巴斯蒂安;拉森,金G。
6
2007
加权模态转换系统的定量细化。 Zbl 1343.68150
鲍尔,塞巴斯蒂安S。;伊利诺伊州费伦伯格;朱尔,行;拉森,金G。;勒盖,阿克塞尔;瑟恩,克劳斯
6
2011
时间自动机总是可以实现的。 Zbl 1343.68134
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯;奥坎桑库尔;瑟恩,克劳斯
6
2011
实时系统模型检验。 Zbl 1392.68235
布耶,帕特里夏;伊利诺伊州费伦伯格;拉森,金·古德斯兰德;马基,尼古拉斯;哇克宁,乔;沃雷尔,詹姆斯
6
2018
Markov链上从分支到线性度量的收敛。 Zbl 1407.68277
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
6
2015
连续时间参数时间自动机的语言空性。 兹布1440.68150
贝尼什,尼古拉;彼得,贝兹德克;拉森,金G。;斯尔巴,吉
6
2015
定价时间自动机中的折扣最优无限次运行。 Zbl 1347.68204
伊利诺伊州费伦伯格;拉森,金G。
6
2009
在Uppaal中添加对称性约简。 Zbl 1099.68657
亨德里克斯,马蒂恩;贝尔曼,格尔德;拉森,金;尼伯特,彼得;瓦德拉格,油炸食品
5
2004
基于定价时间自动机的资源优化调度。 Zbl 1126.68461
拉斯穆森,J.I。;拉森,金G。;苏布拉曼尼,K。
5
2004
定价时间自动机网络的统计模型检验。 Zbl 1348.68130号
大卫,亚历山德拉;拉森,金G。;勒盖,阿克塞尔;米库奇奥尼斯,马吕斯;鲍尔森,丹尼·博格斯特德;范弗利特,乔纳斯;王,郑
5
2011
超越活性:有界活性的有效参数综合。 Zbl 1175.68255
贝尔曼,格尔德;拉森,金G。;拉斯穆森,雅各布·伊尔姆
5
2005
加权模态转换系统。 Zbl 1291.68246
鲍尔,塞巴斯蒂安S。;伊利诺伊州费伦伯格;朱尔,行;金,拉森。;勒盖,阿克塞尔;瑟恩,克劳斯
5
2013
多重加权和参数化能量对策的最优界。 Zbl 1390.68399
朱尔,行;古德兰·拉森,金;拉斯金,让·弗朗索瓦
5
2013
时间逻辑中加权Kripke结构的定量表征。 Zbl 1413.68073
伊利诺伊州费伦伯格;拉森,金G。;瑟恩,克劳斯
5
2010
具有权重区间的模态转换系统。 Zbl 1243.68215
朱尔,行;拉森,金G。;斯尔巴,吉
5
2012
混合系统最优控制器综合的“混合”方法:以油泵工业为例。 Zbl 1373.93125
赵恒军;詹乃俊;卡普尔,迪帕克;拉森,金G。
5
2012
连续马尔科夫逻辑-公理化和量化元理论。 Zbl 1261.03088
马尔代尔,拉杜;卡德利,卢卡;拉森,金G。
5
2012
使用相对化互模拟验证协议。 Zbl 0628.68022
拉森,金G。;米尔纳,罗宾
4
1987
使用UPPAAL自动验证音频控制协议。 Zbl 1008.68009
约翰本特森;格里芬,W.O.大卫;克里斯托弗森,Kåre J。;拉森,金G。;拉尔森,弗雷德里克;佩特森,保罗;易,王
4
2002
图形与逻辑规范。 Zbl 0759.68059
伯多尔,杰拉德;拉森,金G。
4
1990
扩大Uppaal。使用组合性和抽象性对实时系统进行自动验证。 Zbl 0986.68519
詹森,亨里克·埃杰斯博;拉森,金·古德斯兰德;斯卡,阿恩
4
2000
使用Uppaal对实时系统进行在线测试。 Zbl 1081.68574号
拉森,金G。;米库西尼斯,马吕斯;尼尔森,布莱恩
4
2005
模型检验一个时钟定价的时间自动机。 Zbl 1149.68400
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯
4
2007
通过俄罗斯娃娃抽象快速定向模型检查。 Zbl 1134.68412
库普费希米德,塞巴斯蒂安;霍夫曼,约格;拉森,金G。
4
2008
定价时间自动机:算法与应用。 Zbl 1143.68430
贝尔曼,格尔德;拉森,金G。;拉斯穆森,雅各布一世。
4
2005
实时系统的验证、性能分析和控制器综合。 兹布1274.68185
费伦伯格;拉森,金G。;瑟恩,克劳斯·R。
4
2010
储存或不储存。 Zbl 1278.68155
贝尔曼,格尔德;拉森,金G。;佩拉内克,拉德克
4
2003
实时组件的健壮规范。 Zbl 1348.68143
拉森,金G。;勒盖,阿克塞尔;特劳诺埃兹,路易·玛丽;Wąsowski和Andrzej
4
2011
参数模态转换系统。 Zbl 1348.68120号
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;默勒,米凯尔H。;斯尔巴,吉
4
2011
由Lindström量词定义的规则语言。 Zbl 1046.20042
ç植,佐坦;拉森,金G。
4
2003
连续马尔可夫逻辑——从完全公理化到公式的度量空间。 Zbl 1247.03030
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
4
2011
基于度量的马尔可夫链近似极小化。 Zbl 1400.68098
巴奇,乔瓦尼;巴奇,乔治;拉森,金G。;马尔代尔,拉杜
4
2018
从模型检查的角度学习确定性概率自动机。 Zbl 1454.68061
毛,华;陈英科;杰格,曼弗雷德;尼尔森,托马斯D。;拉森,金G。;尼尔森,布莱恩
4
2016
以最低的预期成本准时交货! Zbl 1448.68294
大卫,亚历山德拉;詹森,彼得G。;古德兰·拉森,金;勒盖,阿克塞尔;莱姆,迪迪埃;瑟伦森,马蒂亚斯·格兰德;Taankvist,雅各布H。
4
2014
用过程的部分说明进行成分证明。 Zbl 0649.68021
拉森,金G。;汤姆森,本特
1988
基于SPIN和UPPAAL的碰撞避免协议建模与分析。 Zbl 0880.68085
詹森,亨里克·埃杰斯博;拉森,金G。;斯卡,阿恩
1997
过程代数中方程求解的复杂性。 Zbl 0967.68514
强森,本特;拉森,金·古德斯兰德
1991
一个时钟定价的定时游戏的几乎最优策略。 Zbl 1177.68142
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯;拉斯穆森,雅各布·伊尔姆
2006
模型检查实时系统的紧凑数据结构和状态空间缩减。 Zbl 1081.68010
拉森,金G。;弗雷德里克;佩特森,保罗;易,王
2003
两人可达对策的顽固集约简。 Zbl 07327954
Bønneland,弗雷德里克·迈耶;詹森,彼得·盖尔;拉森,金·古德斯兰德;穆尼兹,马可;斯尔巴,吉
1
2021
Markov链上从分支到线性度量的收敛。 Zbl 1407.68278号
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
2
2019
平均能量游戏。 兹布1390.68115
布耶,帕特里夏;马基,尼古拉斯;兰多尔,米凯尔;拉森,金G。;劳森,西蒙
7
2018
实时系统模型检验。 Zbl 1392.68235
布耶,帕特里夏;伊利诺伊州费伦伯格;拉森,金·古德斯兰德;马基,尼古拉斯;哇克宁,乔;沃雷尔,詹姆斯
6
2018
基于度量的马尔可夫链近似极小化。 Zbl 1400.68098
巴奇,乔瓦尼;巴奇,乔治;拉森,金G。;马尔代尔,拉杜
4
2018
递归加权逻辑的可判定性。 Zbl 06960111
拉森,金G。;马尔代尔,拉杜;薛冰天
1
2018
关于加权转移系统的界的推理。 Zbl 06987096
汉森,米克尔;拉森,金·古德斯兰德;马尔代尔,拉杜;Ruggaard Pedersen,马蒂亚斯
1
2018
加权分支系统:行为等价性,行为距离及其逻辑特征。 Zbl 06989604
詹森,马蒂亚斯·克劳斯;拉森,金·古德斯兰德;马尔代尔,拉杜
1
2018
为实时程序细化跟踪抽象。 Zbl 06820343
卡塞兹,弗兰克;詹森,彼得·盖尔;古德兰·拉森,金
2
2017
PTrie:通过前缀共享压缩和存储集合的数据结构。 兹布1444.68063
詹森,彼得·盖尔;拉森,金·古德斯兰德;斯尔巴,吉
1
2017
第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡。 Zbl 1376.68011
拉森,金G。;博德兰德,汉斯L。;拉斯金,让·弗朗索瓦
1
2017
扩展依赖图和有效的分布式不动点计算。 Zbl 1393.68098
达拉斯加德,安德烈亚斯E。;恩沃尔森,瑟伦;福格,彼得;詹森,拉丝。;杰森,托比亚斯S。;考夫曼,伊莎贝拉;拉森,金G。;尼尔森,Søren M。;Olesen,Mads Chr。;帕斯瓦,塞缪尔;斯尔巴,吉
1
2017
基于度量的马尔可夫链近似极小化。 兹布1442.68079
巴奇,乔瓦尼;巴奇,乔治;拉森,金G。;马尔代尔,拉杜
1
2017
基于概率过程计算的组合互模拟度量推理。 兹布1398.68365
盖博,丹尼尔;拉森,金G。;蒂尼,西蒙妮
9
2016
从模型检查的角度学习确定性概率自动机。 Zbl 1454.68061
毛,华;陈英科;杰格,曼弗雷德;尼尔森,托马斯D。;拉森,金G。;尼尔森,布莱恩
4
2016
马氏链上双相似距离的完全公理化。 Zbl 1392.68282号
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
2
2016
加权跃迁系统的完全逼近理论。 兹布1393.68116
汉森,米克尔;拉森,金·古德斯兰德;马尔代尔,拉杜;佩德森,马蒂亚斯·鲁格哈德;薛冰天
1
2016
时间弧Petri网对策的离散化实时策略综合。 Zbl 1354.68196
詹森,彼得·盖尔;拉森,金·古德斯兰德;斯尔巴,吉
1
2016
可达性问题。第十届国际研讨会,RP 2016,丹麦奥尔堡,2016年9月19-21日。诉讼程序。 Zbl 1371.68012
拉森,金·古德斯兰德;伊戈尔,波塔波夫;斯尔巴,吉
1
2016
概率演算:可判定性和完全公理化。 Zbl 1434.03072
拉森,金G。;马尔代尔,拉杜;薛冰天
1
2016
基于概率过程计算的组合度量推理。 Zbl 1459.68143
盖博,丹尼尔;拉森,金·古德斯兰德;蒂尼,西蒙妮
7
2015
Markov链上从分支到线性度量的收敛。 Zbl 1407.68277
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
6
2015
连续时间参数时间自动机的语言空性。 兹布1440.68150
贝尼什,尼古拉;彼得,贝兹德克;拉森,金G。;斯尔巴,吉
6
2015
加权逻辑的递归性和可判定性。 兹布1434.68330
拉森,金·古德斯兰德;马尔代尔,拉杜;薛冰天
2015
参数模态转换系统的精化检验。 Zbl 1309.68130
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;默勒,米凯尔H。;希克特,所罗门;斯尔巴,吉
2
2015
关于半马尔可夫链的总变差距离。 Zbl 1459.68116
巴奇,乔治;巴奇,乔瓦尼;拉森,金·古德斯兰德;马尔代尔,拉杜
2
2015
交替自由加权mu演算:可判定性和完备性。 Zbl 1351.68164
拉森,金G。;马尔代尔,拉杜;薛冰天
2
2015
并发加权逻辑。 Zbl 1330.68210
拉森,金G。;马尔代尔,拉杜;薛冰天
1
2015
部分可观测性下加权同步的多项式时间可判定性。 兹布1374.68260
克雷廷斯基,简;拉森,金·古德斯兰德;劳森,西蒙;斯尔巴,吉里
1
2015
以最低的预期成本准时交货! Zbl 1448.68294
大卫,亚历山德拉;詹森,彼得G。;古德兰·拉森,金;勒盖,阿克塞尔;莱姆,迪迪埃;瑟伦森,马蒂亚斯·格兰德;Taankvist,雅各布H。
4
2014
实时系统的鲁棒综合。 Zbl 1311.68088
拉森,金G。;勒盖,阿克塞尔;特劳诺埃兹,路易·玛丽;Wąsowski和Andrzej
2014
时序模态逻辑的充分性和完全公理化。 Zbl 1337.03028
杰兹里,萨米;拉森,金G。;马尔代尔,拉杜;薛冰天
2014
加权模态逻辑的完整证明系统。 Zbl 1317.68120
拉森,金G。;马尔代尔,拉杜
2014
部分可观测条件下的同步策略。 Zbl 1417.68129号
古德兰·拉森,金;劳森,西蒙;斯尔巴,吉
2
2014
加权时间自动机的同步字。 Zbl 1360.68552
多恩,劳伦特;朱尔,行;拉森,金G。;马基,尼古拉斯;Shirmohammadi,玛莎
2
2014
加权转移系统的可判定递归逻辑。 Zbl 1432.68310号
拉森,金·古德斯兰德;拉杜,大雷;薛冰天
2
2014
任意可测空间上马尔可夫过程的互模拟。 Zbl 1407.68327
巴奇,乔治;巴奇,乔瓦尼;拉森,金·古德斯兰德;马尔代尔,拉杜
1
2014
模态转换系统的参数和定量扩展。 Zbl 1416.68121号
伊利诺伊州费伦伯格;古德兰·拉森,金;勒盖,阿克塞尔;特劳诺埃兹,路易·玛丽
1
2014
概率自动机的求精与差分。 Zbl 1338.68144
德拉哈耶,贝诺ît;伊利诺伊州费伦伯格;拉森,金G。;勒盖,阿克塞尔
1
2014
马尔可夫过程的斯通对偶性。 Zbl 1433.06006
科赞,德克斯特;拉森,金G。;马尔代尔,拉杜;帕南加登,普拉卡什
10
2013
双相似距离的动态精确计算。 Zbl 1381.68218
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
9
2013
从成分上计算行为距离。 Zbl 1400.68144
巴奇,乔治;巴奇,乔瓦尼;拉森,金G。;马尔代尔,拉杜
7
2013
加权模态转换系统。 Zbl 1291.68246
鲍尔,塞巴斯蒂安S。;伊利诺伊州费伦伯格;朱尔,行;拉森,金G。;勒盖,阿克塞尔;瑟恩,克劳斯
5
2013
多重加权和参数化能量对策的最优界。 Zbl 1390.68399
朱尔,行;古德兰·拉森,金;拉斯金,让·弗朗索瓦
5
2013
抽象概率自动机。 Zbl 1296.68092
德拉哈耶,贝诺ît;卡托恩,乔斯特·皮尔特;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;谢尔,法拉克;Wąsowski和Andrzej
2
2013
基于模型的实时系统验证、优化、综合与性能评估。 兹布1445.68132
伊利诺伊州费伦伯格;拉森,金G。;勒盖,阿克塞尔
2
2013
论LTL范式与Büchi自动机的关系。 Zbl 1390.68435
李建文;濮、葛光;张丽君;王,郑;何继峰;古德兰·拉森,金
1
2013
抽象概率自动机结巴。 Zbl 1437.68094
德拉哈耶,贝诺ît;拉森,金G。;勒盖,阿克塞尔
1
2013
极限:马尔可夫过程的近似推理。 6834ZB1364
拉森,金·古德斯兰德;马尔代尔,拉杜;帕南加登,普拉卡什
8
2012
用结构化标签扩展模态转换系统。 兹布1277.68160
鲍尔,塞巴斯蒂安S。;朱尔,行;拉森,金G。;勒盖,阿克塞尔;斯尔巴,吉
8
2012
基于max-plus代数的时间自动机可达性分析。 Zbl 1279.68214
陆琦;麦德森,迈克尔;米拉塔,马丁;拉文,瑟伦;伊利诺伊州费伦伯格;拉森,金G。
7
2012
具有权重区间的模态转换系统。 Zbl 1243.68215
朱尔,行;拉森,金G。;斯尔巴,吉
5
2012
混合系统最优控制器综合的“混合”方法:以油泵工业为例。 Zbl 1373.93125
赵恒军;詹乃俊;卡普尔,迪帕克;拉森,金G。
5
2012
连续马尔科夫逻辑-公理化和量化元理论。 Zbl 1261.03088
马尔代尔,拉杜;卡德利,卢卡;拉森,金G。
5
2012
并发定价博弈中的纳什均衡。 Zbl 1351.68182号
克里莫什,米罗斯拉夫;拉森,金G。;什特法亚克,菲利普;塔阿鲁普,杰普
2012
具有持续时间的双价模态转换系统。 Zbl 1352.68144
贝尼什,尼古拉;Křetínský,1月;古德兰·拉森,金;默勒,米凯尔H。;斯尔巴,吉
2012
基于监视器的加权度量时态逻辑的统计模型检验。 Zbl 1352.68147
布莱切夫,彼得;大卫,亚历山德拉;古德兰·拉森,金;勒盖,阿克塞尔;李广元;Bøgsted Poulsen,丹尼;斯坦纳,艾米莉
2012
区间Markov链的一致性与精化。 Zbl 1247.68195
德拉哈耶,贝诺ît;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;Wąsowski和Andrzej
2012
模态转换系统完全精化的表达式完备性。 Zbl 1282.68118号
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;斯尔巴,吉
1
2012
多重加权自动机中的能量博弈。 Zbl 1350.68168
伊利诺伊州费伦伯格;朱尔,行;拉森,金G。;斯尔巴,吉
12
2011
公理化和公理化:复杂度的度量。 Zbl 1216.68191
拉森,金G。;伊利诺伊州费伦伯格;瑟恩,克劳斯
11
2011
约束马尔可夫链。 Zbl 1223.68070
凯劳德,贝诺;德拉哈耶,贝诺ît;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;Wąsowski和Andrzej
9
2011
抽象概率自动机。 Zbl 1317.68095
德拉哈耶,贝诺ît;卡托恩,乔斯特·皮尔特;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;谢尔,法拉克;Wąsowski和Andrzej
8
2011
加权模态转换系统的定量细化。 Zbl 1343.68150
鲍尔,塞巴斯蒂安S。;伊利诺伊州费伦伯格;朱尔,行;拉森,金G。;勒盖,阿克塞尔;瑟恩,克劳斯
6
2011
时间自动机总是可以实现的。 Zbl 1343.68134
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯;奥坎桑库尔;瑟恩,克劳斯
6
2011
定价时间自动机网络的统计模型检验。 Zbl 1348.68130号
大卫,亚历山德拉;拉森,金G。;勒盖,阿克塞尔;米库奇奥尼斯,马吕斯;鲍尔森,丹尼·博格斯特德;范弗利特,乔纳斯;王,郑
5
2011
实时组件的健壮规范。 Zbl 1348.68143
拉森,金G。;勒盖,阿克塞尔;特劳诺埃兹,路易·玛丽;Wąsowski和Andrzej
4
2011
参数模态转换系统。 Zbl 1348.68120号
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;默勒,米凯尔H。;斯尔巴,吉
4
2011
连续马尔可夫逻辑——从完全公理化到公式的度量空间。 Zbl 1247.03030
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
4
2011
模块化马尔可夫逻辑。 Zbl 1333.68200元
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
2
2011
区间Markov链的决策问题。 Zbl 1330.68109
德拉哈耶,贝诺ît;拉森,金G。;勒盖,阿克塞尔;佩德森,米克尔L。;Wąsowski和Andrzej
2
2011
时间I/O自动机:实时系统的完整规范理论。 Zbl 1361.68143
大卫,亚历山德拉;金,拉森。;勒盖,阿克塞尔;尼曼,乌尔里克;瓦索夫斯基,安德烈
21
2010
加权过渡系统的定量分析。 Zbl 1204.68137
瑟恩,克劳斯;伊利诺伊州费伦伯格;拉森,金G。
11
2010
能量约束下带观察者的时间自动机。 Zbl 1361.68135号
布耶,帕特里夏;伊利诺伊州费伦伯格;拉森,金G。;马基,尼古拉斯
7
2010
时间逻辑中加权Kripke结构的定量表征。 Zbl 1413.68073
伊利诺伊州费伦伯格;拉森,金G。;瑟恩,克劳斯
5
2010
实时系统的验证、性能分析和控制器综合。 兹布1274.68185
伊利诺伊州费伦伯格;拉森,金G。;瑟恩,克劳斯·R。
4
2010
基于场景的实时系统验证。 Zbl 1209.68323
李书豪;巴拉格,桑迪;大卫,亚历山德拉;拉森,金G。;尼尔森,布莱恩;普辛斯卡斯,索利乌斯
2
2010
模态和混合规范:关键决策问题及其复杂性。 Zbl 1191.68426
安东尼克,亚当;胡特,迈克尔;拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
2
2010
使用定时I/O自动机的实时系统规范方法。 Zbl 1312.68131
大卫,亚历山德拉;拉森,金G。;勒盖,阿克塞尔;尼曼,乌尔里克;Wąsowski和Andrzej
1
2010
论模态转换系统中的决定论。 Zbl 1186.68314号
北卡罗来纳州贝内什。;Křetínský,J。;拉森,K.G。;斯尔巴,J。
10
2009
鲁棒最优控制器的自动综合——工业实例研究。 Zbl 1237.93058
卡塞兹,弗兰克;杰森,简·J。;拉森,金G。;拉斯金,让·弗朗索瓦;雷尼尔,皮埃尔·阿兰
8
2009
检查模态转换系统的彻底细化是EXPTIME完成的。 Zbl 1250.68117
贝尼什,尼古拉;Křetínský,1月;拉森,金G。;斯尔巴,吉
8
2009
用于检查交替时间模拟的有效实时算法。 Zbl 1262.68105
布莱切夫,彼得;查坦,托马斯;大卫,亚历山德拉;拉森,金G。
7
2009
定价时间自动机中的折扣最优无限次运行。 Zbl 1347.68204
伊利诺伊州费伦伯格;金,拉森。
6
2009
模态和混合规范的EXPTIME完全决策问题。 Zbl 1291.68172号
安东尼克,亚当;胡特,迈克尔;拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
2
2009
时间逻辑中加权Kripke结构的定量表征。 Zbl 1247.68189
拉森,金G。;伊利诺伊州费伦伯格;瑟恩,克劳斯
1
2009
定价时间自动机:理论与工具。 Zbl 1248.68335
拉森,金G。
1
2009
带能量约束的加权时间自动机中的无限次运行。 Zbl 1171.68524
布耶,帕特里夏;伊利诺伊州费伦伯格;拉森,金G。;马基,尼古拉斯;斯尔巴,吉
30
2008
20年的模态和混合规范。 Zbl 1169.68498号
安东尼克,亚当;胡特,迈克尔;拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
14
2008
多定价时间自动机的最优无限调度。 Zbl 1133.68360
布耶,帕特里夏;布林克斯马,埃德;拉森,金G。
11
2008
多定价时间自动机的最优可达性。 Zbl 1134.68029
拉森,金·古德斯兰德;拉斯穆森,雅各布·伊尔姆
9
2008
模型检验一个时钟定价的时间自动机。 Zbl 1149.68401
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯
8
2008
混合和模态规范决策问题的复杂性。 Zbl 1139.68035
安东尼克,亚当;胡特,迈克尔;拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
6
2008
通过俄罗斯娃娃抽象快速定向模型检查。 Zbl 1134.68412
库普费希米德,塞巴斯蒂安;霍夫曼,约格;拉森,金G。
4
2008
接口和生产线理论的模态I/O自动机。 Zbl 1187.68296
拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
41
2007
反应系统。建模、规范和验证。 Zbl 1141.68043
醋酸,卢卡;安娜,英格尔夫斯多蒂尔;拉森,金G。;斯尔巴,吉
40
2007
关于模态求精与一致性。 Zbl 1151.68541
拉森,金G。;尼曼,乌尔里克;Wąsowski和Andrzej
11
2007
基于观察和定时口吃控制策略。 Zbl 1141.68428
卡塞兹,弗兰克;大卫,亚历山德拉;拉森,金G。;莱姆,迪迪埃;拉斯金,让·弗朗索瓦
6
2007
时间自动机的自动抽象求精。 Zbl 1141.68431
迪尔克斯,亨宁;库普费希米德,塞巴斯蒂安;拉森,金G。
6
2007
模型检验一个时钟定价的时间自动机。 Zbl 1149.68400
布耶,帕特里夏;拉森,金G。;马基,尼古拉斯
4
2007
…还有62份文件
全部的 前5名

1237位作者引用

67 拉森,金·古德斯兰德
29 勒盖,阿克塞尔
19 伊利诺伊州费伦伯格
18 醋酸,卢卡
18 布耶,帕特里夏
18 Kwiatkowska,Marta Z。
17 卡托恩,乔斯特·皮尔特
16 安娜,英格尔夫斯多蒂尔
15 马尔代尔,拉杜
15 拉斯金,让·弗朗索瓦
14 伯纳多,马可
14 诺曼,格钦
14 Wąsowski和Andrzej
12 斯尔巴,吉
12 蒂尼,西蒙妮
10 查特吉,克莉什南杜
10 德拉哈耶,贝诺ît
10 亨尼克,罗尔夫
10 赫尔曼,霍尔格
10 马基,尼古拉斯
10 帕南加登,普拉卡什
10 范布雷格尔,弗兰克
9 布里哈伊,托马斯
9 格雷戈里奥·罗德里格斯,卡洛斯
9 李庆国
9 吕特根,杰拉尔德
9 瓦德拉格,熔块W。
9 沃雷尔,詹姆斯B。
8 安德烈,爱蒂安
8 德弗鲁托斯·埃斯克里格,大卫
8 德沙奈斯,何塞
8 多恩,劳伦特
8 亨辛格,托马斯A。
8 拉诺特,拉格罗
8 Rutten,一月J.M.M。
8 沃格勒,沃尔特
7 巴奇,乔瓦尼
7 拜尔,克里斯特尔
7 克里夫兰,兰斯
7 邓玉欣
7 德罗斯特,曼弗雷德
7 弗朗卡兰扎,阿德里安
7 轩尼诗,马修·C·B。
7 莱姆,迪迪埃
7 夸斯,卡琳
7 施罗德,卢茨
7 温斯克尔,格林
6 巴奇,乔治
6 贝尼什,尼古拉
6 伯特兰,纳撒利
6 邦奇,菲利波
6 布鲁尼,罗伯托
6 曹永志
6 大卫,亚历山德拉
6 德文,埃里克P。
6 福克金,威廉·扬
6 格布勒,丹尼尔E。
6 里尔,罗伯托
6 郭兰坤
6 梅斯盖尔·瓜伊塔,何塞
6 蒙塔纳里,乌戈·G。
6 席尔瓦,亚历山德拉
6 瓦莱罗,瓦伦丁
6 范格拉贝克,罗伯特·扬
6 詹乃俊
5 阿伯特,亚历山德罗
5 鲍尔,塞巴斯蒂安S。
5 布鲁伊埃,维罗尼克
5 陈一翔
5 Cîrstea,科瑞娜
5 丹诺斯,文森特
5 D'Argenio,佩德罗·鲁宾
5 多伯卡特,恩斯特·埃里希
5 加斯汀,保罗
5 吉勒茨,吉尔
5 格罗特,简·弗里索
5 朱尔,行
5 克林,巴特克
5 马,燕芳
5 努内斯,曼努埃尔A。
5 佩德森,米克尔·莱克
5 斯普罗斯顿,杰里米
5 特劳诺埃兹,路易·玛丽
5 张丽君
4 Akshay,S。
4 巴博萨,鲁伊斯·苏亚雷斯
4 Bérard,Béatrice
4 布雷维蒂,马里奥
4 卡斯蒂格利奥尼,瓦伦蒂娜
4 查坦,托马斯
4 克拉法,西尔维亚
4 卡特罗,费尔南多
4 当,哲
4 迪皮埃罗,亚历山德拉
4 芬德里奇,萨沙
4 弗里堡,劳伦特
4 妮西,斯蒂芬妮娅
4 强森,本特
4 Křetínský,1月
4 克里希纳,香卡拉·纳拉亚南
…还有1137位作者
全部的 前5名

在82个系列中被引用

179 理论计算机科学
74 信息与计算
40 系统设计中的形式化方法
39 计算的形式化方面
33 信息学报
31 程序设计中的逻辑和代数方法杂志
26 逻辑与代数程序设计杂志
22 计算机科学中的逻辑方法
20 MSCS公司。计算机科学中的数学结构
14 实时系统
12 信息处理信函
9 离散事件动态系统
8 计算机与系统科学杂志
8 计算机程序设计学
8 纯逻辑与应用逻辑年鉴
7 国际计算机科学基础杂志
6 国际近似推理杂志
5 自动
5 计算机科学与技术杂志
4 国际控制杂志
4 模糊集与系统
4 分布式计算
4 欧洲控制杂志
4 非线性分析。混合动力系统
人工智能
算法
机器学习
计算系统理论
软计算
应用逻辑杂志
西比尔斯基(SibirskieÈlektronnye Matematicheskie Izvestiya)
2 信息科学
2 符号逻辑杂志
2 逻辑研究
2 自动推理杂志
2 国际鲁棒非线性控制杂志
2 控制论与系统分析
2 应用范畴结构
2 数学与人工智能年鉴
2 ACM杂志
2 高阶与符号计算
2 雷罗。理论信息学与应用
2 计算机基础理论
1 倒排索引综述
1 计算机与数学及其应用
1 国际通用系统杂志
1 数学生物学通报
1 应用数学与计算
1 钻头
1 组合理论杂志。B系列
1 纯粹与应用代数杂志
1 模拟中的数学与计算机
1 编程与计算机软件
1 半群论坛
1 控制与优化杂志
1 莫斯科大学计算数学与控制论
1 系统和控制字母
1 密码学杂志
1 中国的科学。A系列
1 计算数学与建模
1 运筹学年鉴
1 国际代数与计算杂志
1 雷罗。信息技术应用
1 工程、通信和计算中的应用代数
1 逻辑、语言与信息杂志
1 工程数学问题
1 应用数学与决策科学杂志
1 武汉大学自然科学学报
1 自然与社会的离散动力学
1 国际应用数学与计算机科学杂志
1 国际不确定性、模糊性与知识系统杂志
1 系统科学与复杂性杂志
1 自然计算
1 计算逻辑学报
1 阿纳利·德尔·费拉拉大学。塞齐安七世。科学材料
1 计算机科学中的数学
1 算法
1 科学中国。信息科学
1 雷罗。理论信息学与应用
1 中国计算机科学前沿
1 计算机科学评论
1 国际系统科学杂志。系统与集成原理与应用

按年份列出的引文