×

找到141个文档（结果1-100）

最新的 引文 关联
马哈茂德·哈立德；马吉德·扎马尼

OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807706号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第33号论文，第2页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。论文编号33，2页（2021；Zbl 07807706）
全文： 内政部
马哈茂德·哈立德；马吉德·扎马尼

OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807698号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698）
全文： 内政部
哈马德·艾哈迈德；Jeannin、Jean-Baptiste

验证混合系统信号时序逻辑规范的程序逻辑。 （英语） Zbl 07807683号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Ahmad}和\textit{J.-B.Jeannin}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021；Zbl 07807683）
全文： 内政部 arXiv公司
乔尼·维特玛；贾娜·霍夫曼；伯恩德·芬克贝纳；朱哈·科廷宁；杨，范

具有团队语义的线性时间-时间逻辑：表现力和复杂性。 （英语） Zbl 07799630号

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213，第52条，第17页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Virtema}等人，LIPIcs——莱布尼茨国际程序。通知。213，第52条，第17页（2021；Zbl 07799630）
全文： 内政部 arXiv公司
斯巴萨罗伊乔杜里

\（1）玩家随机秒表游戏。 （英语） Zbl 07744960号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代》2021，奥地利克拉根福（虚拟会议），2021年9月27日至29日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第17条，第18页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Roychowdhury}，LIPIcs——莱布尼茨国际程序。通知。206，第17条，第18页（2021；Zbl 07744960）
全文： 内政部
阿纳塞·查菲克；Fahima Cheikh-Alili；让-弗朗索瓦·康多塔；伊万·瓦尔津扎克

一张单程树形的可废止LTL表。 （英语） Zbl 07744959号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第16条，第18页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Chafik}等人，LIPIcs——莱布尼茨国际程序。通知。206，第16条，第18页（2021；Zbl 07744959）
全文： 内政部
托马斯·里贝罗；利马，奥斯卡；迈克尔·卡什莫尔；安德烈亚·米凯利；罗德里戈·文图拉

Olisipo：确定性时间计划适应性执行的概率方法。 （英语） Zbl 07744958号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第15条，第15页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Ribeiro}等人，LIPIcs——莱布尼茨国际程序。通知。206，第15条，第15页（2021；Zbl 07744958）
全文： 内政部
柯蒂斯·戴瑞森（Curtis E.Dyreson）。；阿赫桑，M.A.马纳齐尔

实现具有日志分段时间戳的顺序关系查询语言。 （英语） 兹伯利07744957

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第14条，第13页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{C.E.Dyreson}和\textit{M.A.M.Ahsan}，LIPIcs——莱布尼茨国际程序。通知。206，第14条，第13页（2021；Zbl 07744957）
全文： 内政部
迈克尔·卡什莫尔；亚历山德罗·西马蒂；丹尼尔·马加泽尼；安德烈亚·米凯利；帕里萨·泽塔比

时态计划解耦鲁棒包络的高效计算和执行。 （英语） Zbl 07744956号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第13条，第14页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cashmore}等人，LIPIcs——莱布尼茨国际程序。通知。206，第13条，第14页（2021；Zbl 07744956）
全文： 内政部 arXiv公司
弗洛里安·布鲁斯；马丁·兰格

模型检查定时递归CTL。 （英语） Zbl 07744955号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第12条，第14页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。206，第12条，第14页（2021；Zbl 07744955）
全文： 内政部
吉安卢卡·阿普里塞诺；安德烈·帕塞里尼；卢西亚诺·塞拉菲尼

结构化事件识别的神经符号学方法。 （英语） Zbl 07744954号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第11条，第14页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.Apriceno}等人，LIPIcs——莱布尼茨国际程序。通知。206，第11条，第14页（2021；Zbl 07744954）
全文： 内政部
弗拉迪斯拉夫·里日科夫；尤里·萨瓦提夫；扎卡里亚舍夫，迈克尔

确定线性时态逻辑中本体论中介查询的FO可写性。 （英语） Zbl 07744953号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第10条，第15页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{V.Ryzhikov}等人，LIPIcs——莱布尼茨国际程序。通知。206，第10条，第15页（2021；Zbl 07744953）
全文： 内政部
劳拉·博泽利；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉

Pspace-子区间和后缀的时间逻辑的完整性。 （英语） Zbl 07744952号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第9条，第19页（2021）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。206，第9条，第19页（2021；Zbl 07744952）
全文： 内政部
卢卡·盖蒂；尼古拉·吉甘特；Angelo蒙塔纳里；加布里埃尔·文图拉托

过去的事情：在BLACK可满足性检查器中支持LTL+过去。 （英语） Zbl 07744951号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第8条，第17页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Geatti}等人，LIPIcs——莱布尼茨国际程序。通知。206，第8条，第17页（2021；Zbl 07744951）
全文： 内政部
费德里科·曼泽拉；乔瓦尼·帕利亚里尼；圭多·西亚维科；Stan、Ionel Eduard

区间时间随机森林及其在新冠肺炎诊断中的应用。 （英语） Zbl 07744950号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第7条，第18页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Manzella}等人，LIPIcs——莱布尼茨国际程序。通知。206，第7条，第18页（2021；Zbl 07744950）
全文： 内政部
亚历山大·斯皮塔拉斯；阿纳斯塔西奥斯·古纳里斯；科斯塔斯·齐奇拉斯；安德烈亚斯·科斯马托普洛斯

进化图的数据库模型研究。 （英语） Zbl 07744949号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第6条，第13页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Spitalas}等人，LIPIcs——莱布尼茨国际程序。通知。206，第6条，第13页（2021；兹bl 07744949）
全文： 内政部
亚历克西斯·贝达德；西尔万·霍尔

流处理管道的模型检查。 （英语） Zbl 07744948号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第5条，第17页（2021）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bédard}和\textit{S.Hallé}，LIPIcs——莱布尼茨国际程序。通知。206，第5条，第17页（2021；Zbl 07744948）
全文： 内政部
Cuzzocrea，阿尔弗雷多

时间大数据分析：大数据分析研究的新前沿（面板描述）。 （英语） Zbl 07744947号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第4条，第7页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cuzzocrea}，LIPIcs——莱布尼茨国际程序。通知。206，第4条，第7页（2021；Zbl 07744947）
全文： 内政部
约翰·苏肯斯

及时内核机器（邀请谈话）。 （英语） Zbl 07744946号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第3条，第1页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Suykens}，LIPIcs——莱布尼茨国际程序。通知。206，第3条，第1页（2021；Zbl 07744946）
全文： 内政部
托本·巴赫·佩德森

使用modelardb（邀请谈话）进行基于极端规模模型的时间序列管理。 （英语） Zbl 07744945号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第2条，第2页（2021）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.B.Pedersen}，LIPIcs——莱布尼茨国际程序。通知。206，第2条，第2页（2021；Zbl 07744945）
全文： 内政部
卢克·亨斯伯格；罗伯托·波塞纳托

简单时间网络：时间表示和推理的实用基础（邀请谈话）。 （英语） Zbl 07744944号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第1条，第5页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Hunsberger}和\textit{R.Posenato}，LIPIcs——莱布尼茨国际程序。通知。206，第1条，第5页（2021；Zbl 07744944）
全文： 内政部
乌鸦·贝特纳；伯恩德·芬克贝纳

战略超属性的时间逻辑。 （英语） Zbl 07730626号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第24条，第19页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Beutner}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。203，第24条，第19页（2021；Zbl 07730626）
全文： 内政部 arXiv公司
弗洛里安·布鲁斯；马丁·兰格

一种可判定的非正则模态不动点逻辑。 （英语） Zbl 07730625号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第23条，第18页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。203，第23条，第18页（2021；Zbl 07730625）
全文： 内政部
穆罕默德·赛义法·穆菲德；安德烈亚·米凯利；亚历山德罗·阿巴特；亚历山德罗·西马蒂

基于SMT的max-plus线性系统模型检验。 （英语） Zbl 07730624号

Haddad，Serge（ed.）等人，第32届并发理论国际会议，CONCUR 2021，2021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第22条，第20页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Mufid}等人，LIPIcs——莱布尼茨国际程序。通知。203，第22条，20 p.（2021；Zbl 07730624）
全文： 内政部
雅各布皮里鲍尔；克里斯特尔·拜尔；Nathalie Bertrand；奥坎·桑库尔

概率系统上的量化线性时序逻辑及其在真空度检查中的应用。 （英语） Zbl 07730609号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第7条，第18页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Piribauer}等人，LIPIcs——莱布尼茨国际程序。通知。203，第7条，第18页（2021；Zbl 07730609）
全文： 内政部
弗洛里安·布鲁斯；马尔科·萨利泽；马丁·兰格

真无限结构上微积分不动点的有限收敛性。 （英语） Zbl 07724197号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第24条，第19页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，LIPIcs——莱布尼茨国际程序。通知。202，第24条，第19页（2021；Zbl 07724197）
全文： 内政部
科托Mascle；丹尼尔·奈德；马克西米利安·施温格；保罗·塔布阿达；亚历山大·韦内特；马丁·齐默尔曼

从LTL到rLTL监控：通过健壮语义改进可监控性。 （英语） Zbl 1522.68334号

形式方法系统。设计。 59，编号1-3，170-204（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Mascle}等人，《形式方法系统》。设计。59，编号1-3170-204（2021；兹bl 1522.68334）
全文： 内政部
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；Angelo蒙塔纳里；斯特凡诺·托内塔

扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英语） Zbl 1522.68302号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 351-371 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。13085、351--371（2021；Zbl 1522.68302）
全文： 内政部
克莱门斯，杜布拉夫；帕特里克·维恩霍夫特；Fehnker，Ansgar公司

懒惰而不在乎：更快地检查递归状态机的CTL模型。 （英语） Zbl 1522.68311号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 332-350 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Dubslaff}等人，Lect。票据计算。科学。13085、332--350（2021；Zbl 1522.68311）
全文： 内政部 链接
弗朗西斯科·蓬蒂吉亚；米歇尔·齐亚里；普拉德拉，马泰奥

通过操作员优先自动机验证有异常的程序。 （英语） Zbl 1522.68343号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 293-311 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Pontiggia}等人，Lect。票据计算。科学。13085293-311（2021年；兹比尔1522.68343）
全文： 内政部 链接
克拉夫茨克，尼古拉斯；简·佩莱斯卡

使用符号有限状态机进行穷尽的面向属性的基于模型的测试。 （英语） Zbl 1522.68331号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 84-102 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Krafczyk}和\textit{J.Peleska}，莱克特。票据计算。科学。13085，84-102（2021年；兹比尔1522.68331）
全文： 内政部
克劳斯·哈维隆德；莫兰·奥马尔；多龙·贝利德

监测一阶间隔逻辑。 （英语） Zbl 1522.68321号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085，66-83（2021）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Havelund}等人，Lect。票据计算。科学。13085，66-83（2021；Zbl 1522.68321）
全文： 内政部
桑卡拉·纳拉亚南·克里希纳；库什拉伊·马德纳尼；Manuel jun，马祖。；帕里托什·K·潘迪亚。

用冻结量词概括时间时序逻辑的非准时性。 （英语） Zbl 1521.03030号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13047, 182-199 (2021).
MSC公司：03B44号 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.N.Krishna}等人，Lect。票据计算。科学。13047182-199（2021；Zbl 1521.03030）
全文： 内政部 arXiv公司 链接
英明生

量子电路验证的模型检查。 （英语） Zbl 1521.68079号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13047, 23-39 (2021).
MSC公司：60年第68季度 03克12 81页65 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Ying}，莱克特。票据计算。科学。13047，23-39（2021；Zbl 1521.68079）
全文： 内政部 arXiv公司
丹尼拉·格拉瓦尼科娃；马蒂奥·帕斯库奇

跨时间公理化规范和“法院悖论”。 （英语） Zbl 07655708号

Liu，Fenrong（编辑）等人，《道德逻辑与规范体系》。第十五届国际会议，DEON 2020/2021。伦敦：学院出版物。201-218 (2021).
MSC公司：03B45 03B60号 03B20型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{D.Glavaničová}和\textit{M.Pascucci}，in：道义逻辑和规范系统。第15届国际会议，DEON 2020/2021。伦敦：学院出版物。201-218（2021；Zbl 07655708）
格纳滕科，A.R。；扎哈罗夫，V.A。

关于线性时间-时间逻辑的一个参数化扩展的可满足性和模型检验。 （俄语。英文摘要） Zbl 1517.68237号

模型。分析。Inf.姐妹。 28，第4号，356-371（2021）.
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Gnatenko}和\textit{V.A.Zakharov}，模型。分析。Inf.姐妹。28，编号4，356-371（2021；兹bl 1517.68237）
全文： 内政部 MNR公司
Jean-Marc阿利奥特；玛尔塔·梅耶尔·恰尔迪亚；罗伯特·德莫洛姆；马丁·迪盖兹；路易斯·法利尼亚斯·德尔·塞罗

分子相互作用图建模框架。 （英语） Zbl 1515.05175号

J.应用。日志。-IfCoLog J.日志。申请。 1917-1951（2021）第7期第8页.
MSC公司：05C92年 92E20型 03B80号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.-M.Alliot}等人，J.Appl。日志。-IfCoLog J.日志。申请。1917年7月8日-1951年（2021年；兹bl 1515.05175）
全文： arXiv公司
克拉西米尔·阿塔纳索夫

直觉模糊时间模式运算符。 （英语） Zbl 1496.03106号

Atanassov，Krassimir T.（编辑）等人，模糊逻辑和技术的进展和新发展。2019年IWIFSGN第十八届直觉模糊集和广义网国际研讨会论文集，2019年10月24日至25日，波兰华沙。查姆：斯普林格。高级智能。系统。计算。1308, 3-15 (2021).
MSC公司：03B52号 03B44号 03B45
PDF格式BibTeX公司 XML格式引用
\textit{K.Atanassov}，高级情报。系统。计算。1308年3月15日（2021年；Zbl 1496.03106）
全文： 内政部
布鲁诺·梅内泽斯；阿娜·特蕾莎·马丁斯；罗查，蒂亚戈·阿尔维斯

基于模型检查的两级方法支持架构一致性检查。 （英语） Zbl 1498.68164号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13130, 1-16 (2021).
MSC公司：60年第68季度 03B44号 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Menezes}等人，Lect。票据计算。科学。13130，1-16（2021；Zbl 1498.68164）
全文： 内政部
G.库尔蒂斯。；狄克逊，C。；M·费希尔。；利西萨，A。

通过一阶时序逻辑对先导/跟随系统进行参数化验证。 （英语） Zbl 1492.68087号

形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087）
全文： 内政部
米娜·杨·佩德森；玛丽亚·斯拉夫科维奇；斯梅茨，索尼娅

社会机器人检测是一个时态逻辑模型检查问题。 （英语） Zbl 07547767号

Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13039, 158-173 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Pedersen}等人，Lect。票据计算。科学。13039，158--173（2021；Zbl 07547767）
全文： 内政部
林开阳

具有已知值算子的离散线性时序逻辑。 （英语） Zbl 07547765号

Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。130391141-148（2021）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.Lin}，莱克特。票据计算。科学。13039，141--148（2021；Zbl 07547765）
全文： 内政部
朱哈·科廷宁；马克斯·桑德斯特罗姆

关于TeamLTL和一阶团队逻辑对超属性的表达能力。 （英语） Zbl 07547748号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13038, 302-318 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Kontinen}和\textit{M.SandströM}，莱克特。票据计算。科学。13038、302-318（2021；Zbl 07547748）
全文： 内政部 arXiv公司
肖恩·阿佐帕迪；尼尔·皮特曼；杰拉尔多·施奈德

在反应合成中加入监测器而无需付出代价。 （英语） Zbl 1497.68284号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 337-353 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Azzopardi}等人，莱克特。票据计算。科学。12971、337--353（2021；Zbl 1497.68284）
全文： 内政部 arXiv公司
科宁，诺琳；伯恩德·芬克贝纳；克里斯托弗·哈恩；贾娜·霍夫曼；扬尼克·希洛

超属性的运行时强制。 （英语） Zbl 1497.68291号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 283-299 (2021).
MSC公司：60年第68季度 03B44号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{N.Coenen}等人，Lect。票据计算。科学。12971283-299（2021年；兹比尔1497.68291）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳；费利克斯·克莱恩；尼古拉斯·梅茨格

实时合成。 （英语） Zbl 1497.68299号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 153-169 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，Lect。票据计算。科学。12971，153--169（2021；Zbl 1497.68299）
全文： 内政部 arXiv公司
萨拉·穆罕默德内贾德；Jyotirmoy V.德斯穆赫。；劳拉·内兹

挖掘空间分布式系统的可解释时空逻辑属性。 （英语） Zbl 1497.68433号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 91-107 (2021).
MSC公司：68T05型 62H30型 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Mohammadinejad}等人，Lect。票据计算。科学。12971，91-107（2021；Zbl 1497.68433）
全文： 内政部 arXiv公司
珍妮·拉法·加格利翁；丹尼尔·奈德；罗伊，拉贾什；乌富克托普库；徐哲

从噪声数据中学习线性时间特性：一种基于MaxSAT的方法。 （英语） Zbl 1497.68420号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 74-90 (2021).
MSC公司：68T05型 03B44号 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.-R.Gaglione}等人，Lect。票据计算。科学。12971，74-90（2021；Zbl 1497.68420）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈

在无限状态转换系统中自动发现公平路径。 （英语） Zbl 1497.68290号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 32-47 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。12971，32-47（2021；Zbl 1497.68290）
全文： 内政部
卢卡斯·塔巴哈拉。；莫舍·瓦尔迪。

线性时序逻辑——从无限到有限。 （英语） 兹比尔1497.03035

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 3-12 (2021).
MSC公司：03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，莱克特。票据计算。科学。12971，3-12（2021；Zbl 1497.03035）
全文： 内政部
弗拉基米尔·久宾；伊戈尔·阿努列夫；娜塔莉亚·加拉尼娜；谢尔盖·斯塔罗列托夫；安德烈·罗佐夫；塔蒂亚娜·利亚克

控制软件需求规范的事件驱动时序逻辑模式。 （英语） Zbl 1496.68197号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12818, 92-107 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{V.Zyubin}等人，Lect。票据计算。科学。12818，92-107（2021；Zbl 1496.68197）
全文： 内政部
亚提·菲；干，坎明；Kazuhiro绪方

条件稳定模型检查的分治方法。 （英语） Zbl 07500640号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏丹，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12819, 105-111 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Y.Phyo}等人，Lect。票据计算。科学。12819、105-111（2021；Zbl 07500640）
全文： 内政部
米歇尔·齐亚里；迪诺·曼德里奥利；普拉德拉，马泰奥

选择模型的结构化上下文无关语言。 （英语） Zbl 1493.68207号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 387-410 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Chiari}等人，Lect。票据计算。科学。12760387-410（2021年；兹比尔1493.68207）
全文： 内政部
佩拉斯、昆廷；Jean-Paul Bodeveix公司；朱利安·布鲁内尔；戴维·谢穆伊尔

无限状态系统时间特性的合理验证程序。 （英语） Zbl 1493.68219号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 337-360 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Q.Peyras}等人，Lect。票据计算。科学。12760337--360（2021年；Zbl 1493.68219）
全文： 内政部
鲍迈斯特，简；科宁，诺琳；博尔祖·博纳克达尔普尔；伯恩德·芬克贝纳；塞萨尔·桑切斯

异步超属性的时态逻辑。 （英语） Zbl 1493.68205号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 694-717 (2021).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Baumeister}等人，Lect。票据计算。科学。12759、694--717（2021年；Zbl 1493.68205）
全文： 内政部 arXiv公司
纪尧姆·吉罗尔；本杰明·法里尼尔；塞巴斯蒂安·巴丁

并非所有的bug都是同等的，但健壮的可达性可以区分这一差异。 （英语） 兹比尔1493.68109

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 669-693 (2021).
MSC公司：68号30 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Girol}等人，Lect。票据计算。科学。12759669--693（2021年；Zbl 1493.68109）
全文： 内政部
张振亚；吕德云；保罗·阿卡尼；马磊；一郎·哈索；赵建军

基于QB-鲁棒性的蒙特卡罗树搜索的有效混合系统伪造。 （英语） Zbl 1493.68227号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 595-618 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}等人，Lect。票据计算。科学。12759、595--618（2021年；Zbl 1493.68227）
全文： 内政部
刘军

弥合离散抽象和连续控制之间的差距：通过健壮性和可控性实现完整性。 （英语） Zbl 07498001号

Dima，Catalin（编辑）等人，定时系统的形式化建模和分析。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12860, 67-83 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}，莱克特。票据计算。科学。12860，67-83（2021；Zbl 07498001）
全文： 内政部
费尔南多·巴博萨。；杰斯珀·卡尔松；塔伊瓦尔，波利亚；贾娜·图莫娃

具有时间和空间约束的机器人运动规划的形式化方法（扩展抽象）。 （英语） Zbl 07497997号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12860, 1-14 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.S.Barbosa}等人，Lect。票据计算。科学。12860，1-14（2021；Zbl 07497997）
全文： 内政部
哈维尔·埃斯帕尔扎

回到未来：重新审视线性时序逻辑。 （英语） Zbl 07495100号

Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12803, 3-13 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，莱克特。票据计算。科学。12803，3--13（2021；Zbl 07495100）
全文： 内政部
蝉蜕、阿加塔；蒂姆·S·里昂。；雷文莎·拉马纳亚克；Tiu，Alwen先生

显示给带标签的校样，然后再次显示给时态逻辑。 （英语） Zbl 1505.03047号

ACM事务处理。计算。日志。 22，第3条，第20条，第31页（2021年）.
MSC公司：03B44号 03B45 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，ACM Trans。计算。日志。22，第3号，第20条，第31页（2021；Zbl 1505.03047）
全文： 内政部 arXiv公司 链接
朱利安·古铁雷斯；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；萨沙·鲁宾；托马斯·斯蒂普尔斯；迈克尔·伍尔德里奇

定性和定量目标相结合的博弈均衡。 （英语） Zbl 1483.68193号

学报信息。 58，第6号，585-610（2021）.
MSC公司：60年第68季度 03B44号 68T42型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《信息学报》58，第6期，585--610（2021年；Zbl 1483.68193）
全文： 内政部 arXiv公司 链接
奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆

证明无限状态系统时间特性的时间预言。 （英语） 兹比尔1522.68340

形式方法系统。设计。 57，编号2，246-269（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340）
全文： 内政部 arXiv公司
卡洛·库比（编辑）；约翰·埃德尔（编辑）；马克·雷诺兹（编辑）

第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。 （英语） Zbl 1473.68013号

LIPIcs–莱布尼茨国际信息学会议录206.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-206-8）。xiv，17篇文章，非连续页面，仅限电子版，开放获取（2021）。
MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Combi}（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1473.68013）
全文： 内政部 链接
鲁本·卢比奥；马蒂·奥利特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） Zbl 1528.68233号

J.日志。阿尔盖布。方法计划。 123，文章ID 100700，28 p.（2021）.
MSC公司：60年第68季度 03B44号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，J.Log。阿尔盖布。方法程序。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件