×

找到35个文档（结果1-35）

最新的 引文 关联
彼得·格约尔·詹森;拉森，金·古尔德斯特朗;吉·斯尔巴;尼古拉·延森·乌尔里克

在依存关系图验证中消除分离区域。 （英语） Zbl 07750361号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，SPIN 2023，法国巴黎，2023年4月26日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 163-179 (2023).
MSC公司：第68季度第60季度 03B44号 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13872，163-179（2023；Zbl 07750361）
全文： 内政部
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
Bønneland，弗雷德里克·M。;彼得·詹森（Peter G.Jensen）。;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

针对时间可达性和安全游戏的顽固集缩减。 （英语） Zbl 07497999号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，Lect。注释计算。科学。12860，32-49（2021；Zbl 07497999）
全文： 内政部
瑟伦·埃内沃德森;马蒂亚斯·克劳斯·詹森;拉森，金·古尔德斯特朗;安德斯·马里加德;吉·斯尔巴

通过抽象依赖图验证多人随机游戏。 （英语） 兹比尔07496651

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 249-268 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Enevoldsen}等人，Lect。注释计算。科学。12561、249--268（2021；Zbl 07496651）
全文： 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;拉森，金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴

两层可达博弈的顽固集约简。 （英语） Zbl 1501.68002号

日志。计算方法。科学。 17，第1号，第21号论文，第26页（2021年）.
审核人：马可·贝尼尼（科莫）
MSC公司：68问题85 第68季度第60季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，日志。计算方法。科学。17，第1号，第21号论文，第26页（2021；Zbl 1501.68002）
全文： arXiv公司 链接
Larsen，Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴

扩展时间自动机的紧急部分降阶。 （英语） Zbl 1517.68259号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 179-195 (2020).
MSC公司：68问题85 65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。12302179--195（2020年；Zbl 1517.68259）
全文： 内政部
卡拉、希亚姆·拉尔;拉森，金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴

严格交替游戏的即时合成。 （英语） Zbl 1503.68194号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 109-128 (2020).
MSC公司：68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Karra}等人，Lect。注释计算。科学。12152、109-128（2020年；Zbl 1503.68194）
全文： 内政部
伊莎贝拉·考夫曼;拉森，金·古尔德斯特朗;吉·斯尔巴

具有分支时间获胜条件的多权重博弈的综合。 （英语） 兹比尔1503.68182

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152，46-66（2020年）。
MSC公司：第68季度第60季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{I.考夫曼}等人，Lect。注释计算。科学。12152，46-66（2020；Zbl 1503.68182）
全文： 内政部
瑟伦·埃内沃德森;拉森，金·古尔德斯特朗;吉·斯尔巴

通过依赖关系图进行模型验证。 （英语） Zbl 07808261号

Biondi，Fabrizio（编辑）等人，《模型检查软件》。2019年7月15日至16日，第26届国际研讨会，SPIN 2019，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11636, 1-19 (2019).
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Enevoldsen}等人，Lect。注释计算。科学。11636，1-19（2019；Zbl 07808261）
全文： 内政部
瑟伦·埃内沃德森;拉森，金·古尔德斯特朗;吉·斯尔巴

抽象依赖图及其在模型检查中的应用。 （英语） Zbl 1527.68127号

Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11427, 316-333 (2019).
MSC公司：第68季度第60季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Enevoldsen}等人，Lect。注释计算。科学。11427316-333（2019年；Zbl 1527.68127）
全文： 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

可达性博弈的部分降阶。 （英语） Zbl 07649931号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第23条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，LIPIcs——莱布尼茨国际程序。通知。140，第23条，第15页（2019年；Zbl 07649931）
全文： 内政部
Bønneland，弗雷德里克·M。;彼得·格约尔·詹森;拉森，金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴

当时间紧迫时开始修剪：定时系统的部分订单减少。 （英语） Zbl 1511.68180号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 527-546 (2018).
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，Lect。注释计算。科学。10981527--546（2018年；Zbl 1511.68180）
全文： 内政部
安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森（Peter G.Jensen）。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴

扩展依赖图的分布式定点算法。 （英语） Zbl 1396.68070号

芬丹。通知。 161，第4期，351-381（2018）.
MSC公司：第68季度第60季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Dalsgaard}等人，Fundam。通知。161、4号、351--381（2018；Zbl 1396.68070）
全文： 内政部
安德烈亚斯·达尔斯加德（Andreas E.Dalsgaard）。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen，Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴

扩展依赖关系图和高效的分布式定点计算。 （英语） 兹比尔1393.68098

van der Aalst，Wil（编辑）等人，《Petri网和并发的应用和理论》。第38届国际会议，2017年6月25-30日，西班牙萨拉戈萨，PETRI NETS 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-57860-6/pbk；978-3-3169-57861-3/电子书）。计算机科学课堂讲稿10258139-158（2017）。
MSC公司：第68季度第60季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Dalsgaard}等人，Lect。注释计算。科学。10258、139--158（2017；Zbl 1393.68098）
全文： 内政部
彼得·格约尔·詹森;拉森，金·古尔德斯特朗;吉·斯尔巴

PTrie：通过前缀共享压缩和存储集合的数据结构。 （英语） Zbl 1444.68063号

Hung，Dang Van（编辑）等人，《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会，越南河内，2017年10月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10580, 248-265 (2017).
MSC公司：68第05页 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.G.Jensen｝等人，Lect。注释计算。科学。10580、248--265（2017；Zbl 1444.68063）
全文： 内政部
安德烈亚斯·恩格尔布雷特·达尔斯加德;瑟伦·埃内沃德森;拉森，金·古尔德斯特朗;吉·斯尔巴

依赖图上不动点的分布式计算。 （英语） 兹比尔1393.68099

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。计算机科学讲座笔记9984，197-212（2016）。
MSC公司：第68季度第60季度 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Dalsgaard}等人，Lect。注释计算。科学。9984197--212（2016；Zbl 1393.68099）
全文： 内政部
拉森，金·古尔德斯特朗（编辑）;伊戈尔·波塔波夫（编辑）;吉·斯尔巴（编辑）

可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 （英语） Zbl 1371.68012号

计算机科学课堂讲稿9899.查姆：施普林格（ISBN 978-3-319-45993-6/pbk；978-3-3169-45994-3/电子书）。xiv，193页。(2016).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}（编辑）等人，《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆：斯普林格（2016；Zbl 1371.68012）
全文： 内政部
彼得·格约尔·詹森;拉森，金·古尔德斯特朗;吉·斯尔巴

基于离散化的时弧Petri网博弈实时策略综合。 （英语） Zbl 1354.68196号

博什纳奇·德拉甘（编辑）等人，《模型检查软件》。2016年4月7日至8日，第23届国际研讨会，SPIN 2016，与ETAPS 2016合办，荷兰埃因霍温。诉讼程序。查姆：施普林格（ISBN 978-3-319-32581-1/pbk；978-3-3169-32582-8/电子书）。计算机科学讲座笔记9641129-146（2016）。
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.G.Jensen｝等人，Lect。注释计算。科学。9641、129--146（2016年；Zbl 1354.68196）
全文： 内政部
简·克雷汀斯基;拉森，金·古尔德斯特朗;西蒙·劳尔森;吉里·斯尔巴

部分可观测性下加权同步的多项式时间判定性。 （英语） Zbl 1374.68260号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，142-154（2015）。
MSC公司：65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kretinsky}等人，LIPIcs——莱布尼茨国际程序。通知。42、142--154（2015年；Zbl 1374.68260）
全文： 内政部
尼古拉·贝内什;彼得·贝兹克;Larsen，Kim G。;吉·斯尔巴

连续时间参数时间自动机的语言空虚性。 （英语） Zbl 1440.68150号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 69-81 (2015).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。9135，69-81（2015；Zbl 1440.68150）
全文： 内政部 arXiv公司
金·古德斯特兰·拉森;西蒙·劳尔森;吉·斯尔巴

部分可观测性下的同步策略。 （英语） Zbl 1417.68129号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 188-202 (2014).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Guldstrand Larsen}等人，Lect。注释计算。科学。8704、188--202（2014；Zbl 1417.68129）
全文： 内政部 链接
尼古拉·贝内什;简·Křetínsk;金·古德斯特兰·拉森;米凯尔·H·默勒。;吉·斯尔巴

具有持续时间的双价格模式转换系统。 （英语） Zbl 1352.68144号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180122-137（2012）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。7180122-137（2012；Zbl 1352.68144）
全文： 内政部
乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴

多权自动机中的能量博弈。 （英语） Zbl 1350.68168号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，95-115（2011）。
MSC公司：65年第68季度 68问题85 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。6916，95-115（2011；Zbl 1350.68168）
全文： 内政部 哈尔
尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;吉·斯尔巴

参数模态转换系统。 （英语） 兹比尔1348.68120

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，275-289（2011）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。6996，275--289（2011；Zbl 1348.68120）
全文： 内政部
尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;吉·斯尔巴

完成EXPTIME-检查模态转换系统的彻底细化。 （英语） Zbl 1250.68117号

Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2009》。第六届国际学术讨论会，马来西亚吉隆坡，2009年8月16日至20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03465-7/pbk）。计算机科学讲座笔记5684112-126（2009）。
MSC公司：2017年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。5684、112-126（2009年；Zbl 1250.68117）
全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;吉·斯尔巴

无限在能量约束的加权时间自动机中运行。 （英语） Zbl 1171.68524号

Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，33-47（2008）。
MSC公司：65年第68季度 90B35型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。5215，33-47（2008年；兹比尔1171.68524）
全文： 内政部 哈尔
卢卡·埃特罗;Anna Ingólfsdóttir;Larsen，Kim G。;吉·斯尔巴

反应系统。建模、规范和验证。 （英语） Zbl 1141.68043号

剑桥：剑桥大学出版社（ISBN 978-0-521-87546-2/hbk）。十六、284页。(2007).
审核人：马格努斯·斯坦比（图尔库）
MSC公司：68问题85 68-01 第68季度第60季度 65年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，反应系统。建模、规范和验证。剑桥：剑桥大学出版社（2007；Zbl 1141.68043）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件