×

找到1258个文档（结果1–100）

最新的 引文 关联
奥利弗·格利茨;丹尼尔·豪斯曼;悍马、梅林;德克·帕丁森;西蒙·普鲁克;卢茨·施罗德

COOL 2–模态定点逻辑的通用推理机（系统描述）。 （英语） Zbl 07838490号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 234-247 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{O.Görlitz}等人，Lect。注释计算。科学。14132234--247（2023；Zbl 07838490）
全文： 内政部 arXiv公司
亚历山大·勒吉扎蒙·罗巴约;安东尼奥·吉梅内斯·帕斯特;Tribastone，微型;马克斯·柴科夫斯基;安德里亚·万丁

多项式微分方程的近似约束集总。 （英语） Zbl 1533.92080号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 106-123 (2023).
MSC公司：92立方厘米 34C60个
PDF格式BibTeX公司 XML格式引用
\textit｛A.Leguizamon Robayo｝等人，Lect。注释计算。科学。14137，106-123（2023；Zbl 1533.92080）
全文： 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽

Wordgen：一个定时单词生成工具。 （英语） Zbl 07807957号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023年）。
MSC公司：第68季度第45季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023；Zbl 07807957）
全文： 内政部 哈尔
费泽·拉巴夫;Jan Friso，格鲁特;侯赛因·霍贾特;穆罕默德·雷扎·穆萨维

交错并行自动机的组合学习。 （英语） Zbl 07770348号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 413-435 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Labbaf}等人，Lect。注释计算。科学。13992、413--435（2023；Zbl 07770348）
全文： 内政部
OA许可证
托马斯·亨辛格（Thomas A.Henzinger）。;尼古拉斯·马佐奇;萨拉索，N.Ege

定量安全性和活性。 （英语） Zbl 07770345号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 349-370 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。13992、349--370（2023；Zbl 07770345）
全文： 内政部 arXiv公司
OA许可证
杰雷米·杜布特;托尔斯滕·维曼

广义开映射的加权和分支二相似性。 （英语） Zbl 07770343号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 308-327 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Dubut}和\textit{T.Wißmann}，Lect。注释计算。科学。13992、308--327（2023；Zbl 07770343）
全文： 内政部 arXiv公司
OA许可证
阿姆加德·拉迪;弗兰克·范·布鲁格尔

标记马尔可夫链概率双相似距离的解释。 （英语） Zbl 07770342号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 285-307 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Rady}和\textit{F.van Breugel}，莱克特。注释计算。科学。13992、285--307（2023；Zbl 07770342）
全文： 内政部
OA许可证
马可·贝尔纳多;萨宾娜·罗西

反向双相似与正向双相似。 （英语） Zbl 07770341号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 265-284 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}和\textit{S.Rossi}，莱克特。注释计算。科学。13992、265--284（2023；Zbl 07770341）
全文： 内政部
OA许可证
谢尔盖·冈查洛夫;德克·霍夫曼;佩德罗·诺拉;卢茨·施罗德;威尔德，保罗

Kantorovich函子和行为距离的特征逻辑。 （英语） Zbl 07770331号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 46-67 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。13992、46-67（2023年；Zbl 07770331）
全文： 内政部 arXiv公司
OA许可证
斯特凡·霍夫曼

Parikh自动机的同步。 （英语） Zbl 07766938号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 113-127 (2023).
MSC公司：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{S.霍夫曼}，莱克特。注释计算。科学。13911、113--127（2023；Zbl 07766938）
全文： 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克

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

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

能源Büchi问题。 （英语） Zbl 1529.68138号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 222-239 (2023).
MSC公司：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dziadek}等人，莱克特。注释计算。科学。14000，222--239（2023；Zbl 1529.68138）
全文： 内政部 arXiv公司
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨

我们能交流吗？使用动态逻辑来验证团队自动机。 （英语） Zbl 1529.68165号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).
MSC公司：60年第68季度 03B70号 2010年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165）
全文： 内政部
罗兰·格里克

精炼和控制工厂自动机与互模拟商的兼容性。 （英语） Zbl 07728634号

Glück，Roland（编辑）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13896, 87-104 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}，莱克特。注释计算。科学。13896，87-104（2023；Zbl 07728634）
全文： 内政部
马可·阿巴迪尼;古拉姆·贝扎尼什维利;卢卡·卡莱

将de Vries对偶推广到紧Hausdorff空间之间的闭关系。 （英语） Zbl 1528.54005号

拓扑应用程序。 337，文章ID 108641，22 p.（2023）.
审核人：徐晓泉（漳州）
MSC公司：54B30型 54天30分 54G05号 18英尺70英寸 2015年6月 18B10型 18E08型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abbadini}等人，拓扑应用。337，文章ID 108641，第22页（2023；Zbl 1528.54005）
全文： 内政部 arXiv公司
OA许可证
帕特里夏·布耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利

关于战略行为的质量和模糊性的推理。 （英语） Zbl 07713582号

ACM事务处理。计算。日志。 24，第3条，第21条，第38页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，ACM Trans。计算。日志。24，第3号，第21条，第38页（2023；Zbl 07713582）
全文： 内政部 arXiv公司
汤姆·巴丁斯;利西奥·罗芒;亚历山德罗·阿巴特;大卫·帕克;哈桑·普纳瓦拉（Hasan A.Poonawala）。;玛丽埃勒·斯托林加;尼尔斯·詹森

基于形式化抽象的非高斯噪声动态系统鲁棒控制。 （英语） Zbl 1508.93279号

J.阿蒂夫。智力。研究（JAIR） 76341-391（2023年）.
MSC公司：93电子03 93B35型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Badings}等人，J.Artif。智力。研究（JAIR）76，341--391（2023；Zbl 1508.93279）
全文： 内政部 arXiv公司
林德曼，拉尔斯;阿莱娜·罗迪奥诺娃;乔治·帕帕斯

随机信号的时间鲁棒性。 （英语） Zbl 07807718号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022年）。
MSC公司：第68季度第45季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Lindemann}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022；Zbl 07807718）
全文： 内政部 arXiv公司
Incer，伊尼戈;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。

从接口自动机到超契约。 （英语） Zbl 1528.68186号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 477-493 (2022).
MSC公司：第68季度第45季度 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Incer}等人，Lect。注释计算。科学。13660477--493（2022年；Zbl 1528.68186）
全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;马蒂亚斯·克劳斯·詹森;Larsen，Kim G。

凸晶格方程组。 （英语） Zbl 1528.68206号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 438-455 (2022).
MSC公司：60年第68季度 2010年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，Lect。注释计算。科学。13660438--455（2022年；Zbl 1528.68206）
全文： 内政部
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

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

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660/2721（2022年）。
MSC公司：第68季度第45季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
黄，珍;李波;杜德辉;李，秦

一种基于模型检查的方法，用于检测自动驾驶系统上的安全关键对抗示例。 （英语） Zbl 07719835号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 238-254 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Z.Huang}等人，Lect。注释计算。科学。13572，238--254（2022；Zbl 07719835）
全文： 内政部
克里斯托弗·比肖宾克;奥尔德罗格（Ernst-Rüdiger Olderog）

公路交通的空间和时间特性。 （英语） Zbl 07719828号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 114-131 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Bischopink}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13572，114--131（2022；Zbl 07719828）
全文： 内政部
弗朗索瓦·赫布利特;戴维·巴恩斯;Sr Djan Krstić

使用度量一阶时态逻辑的实时策略实施。 （英语） Zbl 1524.68193号

Atluri，Vijayalakshmi（编辑）等人，《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会，丹麦哥本哈根，2022年9月26日至30日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13555, 211-232 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Hublet}等人，Lect。注释计算。科学。13555211-232（2022年；兹比尔1524.68193）
全文： 内政部
休伯特·加拉维;弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： 内政部 哈尔
米里亚姆·加西亚·索托;托马斯·亨辛格（Thomas A.Henzinger）。;克里斯蒂安·席林

从时间序列合成参数混合自动机。 （英语） Zbl 1522.68318号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 337-353 (2022).
MSC公司：60年第68季度 第68季度第45季度 93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.García Soto}等人，Lect。注释计算。科学。13505337--353（2022年；Zbl 1522.68318）
全文： 内政部 arXiv公司
徐润清;安、杰;詹伯华

基于约束求解的单时钟时间自动机主动学习。 （英语） Zbl 1522.68288号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 249-265 (2022).
MSC公司：第68季度第45季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{R.Xu}等人，Lect。注释计算。科学。13505249--265（2022；Zbl 1522.68288）
全文： 内政部 arXiv公司
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克

自动机理论强化学习是不可能的结果。 （英语） Zbl 1522.68269号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 42-57 (2022).
MSC公司：第68季度第45季度 68问题32 68T05型 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。13505，42-57（2022；Zbl 1522.68269）
全文： 内政部 链接
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen

蒙特卡罗树搜索定价时间自动机。 （英语） Zbl 1522.68273号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
MSC公司：第68季度第45季度 68T20型 90B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13479，381--398（2022；Zbl 1522.68273）
全文： 内政部 链接
达斯，斯潘丹;帕维特拉·普拉巴卡

平面概率分段常微分系统的稳定性分析。 （英语） Zbl 1522.93183号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 192-213 (2022).
MSC公司：93E15型 93立方 93C55美元 60年20日
PDF格式BibTeX公司 XML格式引用
\textit{S.Das}和\textit{P.Prabhakar}，莱克特。注释计算。科学。13479，192-213（2022；Zbl 1522.93183）
全文： 内政部 arXiv公司
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·玛丽加德

区间马尔可夫链的定量分析。 （英语） Zbl 1522.68296号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
MSC公司：60年第68季度 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296）
全文： 内政部 哈尔
奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王

模型检查、综合和学习。 （英语） Zbl 1522.68339号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).
MSC公司：60年第68季度 68问题32 第68季度第45季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1-7（2022年；兹比尔1522.68339）
全文： 内政部
马丁·赫尔弗里奇;科什卡，米兰;简·Křetínsk;什蒂凡·马蒂切克

基于抽象的化学反应网络分段模拟。 （英语） Zbl 1505.92074号

Petre，Ion（编辑）等人，《系统生物学中的计算方法》。第20届国际会议，CMSB 2022，罗马尼亚布加勒斯特，2022年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13447, 41-60 (2022).
MSC公司：92立方厘米 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Helfrich}等人，Lect。注释计算。科学。13447，41-60（2022；Zbl 1505.92074）
全文： 内政部 arXiv公司
安德烈，艾蒂安;玛丽奥、迪伦;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中的有效凸区域合并。 （英语） Zbl 07643436号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 200-218 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。13465，200-218（2022；Zbl 07643436）
全文： 内政部 arXiv公司
阿琳·戈敏;尼古拉斯·马基;奥坎·桑库尔

定时网络拥塞游戏中的非盲策略。 （英语） Zbl 07643435号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 183-199 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Goeminne}等人，Lect。注释计算。科学。13465183-199（2022；Zbl 07643435）
全文： 内政部 arXiv公司
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼

监视定时属性（已重新访问）。 （英语） Zbl 07643427号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛T.M.Grosen｝等人，Lect。注释计算。科学。13465，43-62（2022；Zbl 07643427）
全文： 内政部 arXiv公司
帕特里夏·布耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465，16-42（2022）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
阿列克桑德·特瓦尔多夫斯基;尼娜·叶夫图申科

带超时的有限状态机中状态识别的自适应实验。 （英语） Zbl 07630828号

Durand-Lose，Jéróme（编辑）等人，《机器、计算和普遍性》。2022年8月31日至9月2日，第九届国际会议，MCU 2022，匈牙利德布勒森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13419, 172-188 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Tvardovskii}和\textit{N.Yevtushenko}，莱克托。注释计算。科学。13419、172--188（2022；Zbl 07630828）
全文： 内政部
Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽埃勒·斯托林加;马蒂亚斯·沃尔克

具有不确定速率的CTMC的基于抽样的验证。 （英语） 兹伯利1514.68117

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 26-47 (2022).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.S.Badings}等人，Lect。注释计算。科学。13372，26-47（2022；Zbl 1514.68117）
全文： 内政部 arXiv公司
OA许可证
科宁，诺琳;雷蒙·达赫塞特;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;霍拉克，汤姆;尼古拉斯·梅茨格;朱利安·西伯

解释超属性违规。 （英语） Zbl 1514.68127号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 407-429 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Coenen}等人，Lect。注释计算。科学。13371407--429（2022年；Zbl 1514.68127）
全文： 内政部 arXiv公司
OA许可证
设拉子阿罗拉;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;丹尼·鲍尔森（Danny Bougsted Poulsen）

实值信号概率超特性的统计模型检验。 （英语） Zbl 1514.68115号

Legunson，Owolabi（编辑）等人，《模型检查软件》。第28届国际研讨会，SPIN 2022，虚拟活动，2022年5月21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13255, 61-78 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Arora}等人，Lect。注释计算。科学。13255，61-78（2022；Zbl 1514.68115）
全文： 内政部
奥尔曼，皮埃尔

GKK算法在简单的平手游戏中是最快的。 （英语） Zbl 07615743号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会，CSR 2022，虚拟活动，2022年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13296, 269-288 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Ohlmann}，莱克特。注释计算。科学。13296，269--288（2022；Zbl 07615743）
全文： 内政部 arXiv公司
乔纳斯·林格;德奥利维拉·奥利维拉，马特乌斯;佩特拉·沃尔夫

从正反两个例子中学习：二分法和参数化算法。 （英语） Zbl 07577714号

Bazgan，Cristina（编辑）等人，《组合算法》。2022年6月7日至9日，第33届国际研讨会，IWOCA 2022，德国特里尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13270, 398-411 (2022).
MSC公司：68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Lingg}等人，Lect。注释计算。科学。13270398--411（2022；Zbl 07577714）
全文： 内政部
尼克拉斯·约翰森。;Kr，Lasse B。;安德烈亚斯·马德森。;克里斯蒂安·尼尔森。;吉·斯尔巴;Rasmus G.托伦德。

Kaki：通过Petri博弈对常规策略进行并发更新合成。 （英语） Zbl 1502.68193号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 249-267 (2022).
MSC公司：68问题85 68M10个 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Johansen}等人，Lect。注释计算。科学。13274249-267（2022年；兹比尔1502.68193）
全文： 内政部
伊利耶斯·法尔科内;格温·萨拉恩;左，阿汉

BPMN过程在运行时的概率模型检查。 （英语） Zbl 1502.68182号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 191-208 (2022).
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Falcone}等人，Lect。注释计算。科学。13274、191--208（2022；Zbl 1502.68182）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件