×

发现1967份文件（结果1-100）

最新的 引文 关联
斯蒂芬·伊戈列维奇·巴什马科夫;基里尔·亚历克桑德罗维奇·斯梅利克

多代理计算树逻辑的关系版本\（\mathcal{CTLK}\）。 （俄语。英文摘要） 兹伯利07832085

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).
MSC公司：03B44号 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.I.Bashmakov}和\textit{K.A.Smelykh}，Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92（2024；Zbl 07832085）
全文： 内政部 链接
萨拉·里瓦;让-马里·拉格尼兹;马加尼亚·洛佩兹，古斯塔沃;洛伊奇·波列维

处理布尔网络的最小陷阱空间的普适性。 （英语） Zbl 07810890号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 157-174 (2023).
MSC公司：92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Riva}等人，Lect。注释计算。科学。14137，157--174（2023；Zbl 07810890）
全文： 内政部 arXiv公司
洛科·德尼古拉;卢卡·迪·斯特法诺;奥马尔·因弗索;塞雷内拉·瓦利亚尼

觅食蚂蚁集体行为的直观建模和形式分析。 （英语） Zbl 07810883号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第14137页，第44-61页（2023年）。
MSC公司：92D50型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。14137，44-61（2023；Zbl 07810883）
全文： 内政部
西蒙·海辛格;马蒂娜·塞德尔

真正精心设计的公式系列，用于量化可满足性解决方案的基准测试。 （英语） Zbl 07810739号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 291-296 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{S.海辛格}和\textit{M.塞德尔}，莱克特。注释计算。科学。14101、291--296（2023；Zbl 07810739）
全文： 内政部
马蒂娜·塞德尔

永远不要相信你的解决方案：SAT和QBF认证。 （英语） Zbl 07810721号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 16-33 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Seidl}，莱克特。注释计算。科学。14101、16-33（2023；Zbl 07810721）
全文： 内政部
丹尼尔·米埃德马;马尔文·加廷格

利用逻辑谜题中的不对称性：使用ZDDs进行符号模型检查动态认知逻辑。 （英语） Zbl 07810630号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379407-420（2023年）。
MSC公司：03年XX月 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{D.Miedema}和\textit{M.Gattinger}，电子。程序。西奥。计算。科学。（EPTCS）379，407--420（2023；Zbl 07810630）
全文： 内政部 arXiv公司
大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇

并发游戏的激励工程。 （英语） Zbl 07810626号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379344-358（2023年）。
MSC公司：91A20型 91B43型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Hyland}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，344--358（2023；Zbl 07810626）
全文： 内政部 arXiv公司
范·盖尔德，艾伦

QBF定理证明的子umption线性Q分辨率。 （英语） Zbl 07810576号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。139232362-376（2023年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Van Gelder}，莱克特。注释计算。科学。13923、362--376（2023；Zbl 07810576）
全文： 内政部
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫

使用灵敏度分析的神经网络验证中的自动抽象细化。 （英语） Zbl 07807959号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Ladner}和\textit{M.Althoff}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023；Zbl 07807959）
全文： 内政部 链接
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun，马祖。;卢卡·劳伦蒂

具有连续动作空间的区间马尔可夫决策过程。 （英语） Zbl 07807953号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023；Zbl 07807953）
全文： 内政部 arXiv公司
帕里斯（Pawe Parys）;亚历山大·威切克

改进了求解奇偶对策的拟多项式算法的复杂性分析。 （英语） 兹伯利07787587

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 275-286 (2023).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛P.Parys｝和\textit｛A.Wícek｝，Lect。注释计算。科学。13967275--286（2023年；Zbl 07787587）
全文： 内政部 arXiv公司
保罗·C·阿蒂。;威廉·L·科克。

通过小组行动进行模型和程序修复。 （英语） Zbl 07770353号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 520-540 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Attie}和\textit{W.L.Cocke}，莱克特。注释计算。科学。13992、520——540（2023；Zbl 07770353）
全文： 内政部
乌迪·博克;盖伊·赫菲茨

关于具有多个折扣因子的折扣和自动机的比较。 （英语） Zbl 07770346号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 371-391 (2023).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{G.Hefetz}，莱克特。注释计算。科学。13992、371--391（2023；Zbl 07770346）
全文： 内政部 arXiv公司
克里斯托弗·雨根罗斯

Zielonka DAG接受和无限单词上的常规语言。 （英语） Zbl 07766940号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 143-155 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Hugenroth}，莱克特。注释计算。科学。1391143-155（2023年；兹bl 07766940）
全文： 内政部
陈日增;夏碧灿

确定涉及一元混合三角多项式的一阶公式。 （英语） Zbl 07760757号

Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145-154（2023年）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Chen}和\textit{B.Xia}，《第48届符号和代数计算国际研讨会论文集》，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145--154（2023年；Zbl 07760757）
全文： 内政部
伊藤武弘;川原骏;Yu Nakahata;苏，武藏;铃木、亚基拉;纯一县Teruyama;塔希萨·托达

基于ZDD的求解最短重构问题的算法框架。 （英语） 兹比尔07745660

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 167-183 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Ito}等人，Lect。注释计算。科学。13884167-183（2023年；Zbl 07745660）
全文： 内政部 arXiv公司
布兰德，塞巴斯蒂安;托马斯·贝克;阿尔芬斯·拉阿尔曼

可达性的决策图操作。 （英语） Zbl 1529.68153号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 514-532 (2023).
MSC公司：60年第68季度 68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.Brand｝等人，Lect。注释计算。科学。14000，514--532（2023；Zbl 1529.68153）
全文： 内政部 arXiv公司
斯蒂芬诺·尼科莱蒂（Stefano M.Nicoletti）。;米兰洛普哈·茨瓦肯贝格;E.莫里茨·哈恩;玛丽·斯托琳加

PFL公司：故障树的概率逻辑。 （英语） Zbl 1529.68162号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 199-221 (2023).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Nicoletti}等人，Lect。注释计算。科学。14000，199-221（2023；Zbl 1529.68162）
全文： 内政部 arXiv公司
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） Zbl 1529.68152号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
托马斯·科拉里克;斯特凡·拉特肖恩

使用布尔可满足性模模拟的铁路调度。 （英语） Zbl 1529.90042号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 56-73 (2023).
MSC公司：90B35型 68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Kolárik}和\textit{S.Ratschan}，Lect。注释计算。科学。14000，56-73（2023；Zbl 1529.90042）
全文： 内政部 arXiv公司
劳拉·科瓦奇

自动程序推理中的符号计算。 （英语） Zbl 1529.68080号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).
MSC公司：68号30 60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{L.Kovács}，莱克特。注释计算。科学。14000，3-9（2023年；兹比尔1529.68080）
全文： 内政部
卢卡斯·扎瓦利亚;利迪亚·切尔尼戈夫斯卡娅;格里戈里·费迪尤科维奇

求解代数数据类型上的约束Horn子句。 （英语） Zbl 1529.68167号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 341-365 (2023).
MSC公司：60年第68季度 03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{L.Zavalía}等人，Lect。注释计算。科学。13881341--365（2023年；Zbl 1529.68167）
全文： 内政部
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥尔洪

有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156）
全文： 内政部 arXiv公司
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利

关于战略行为的质量和模糊性的推理。 （英语） 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公司
卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波;Juan C.Jaramillo。;佩雷斯（Jorge A.Pérez）。

Maude中基于会话的并发：可执行语义和类型检查。 （英语） Zbl 1512.68173号

J.日志。阿尔盖布。方法计划。 133，文章ID 100872，42 p.（2023）.
MSC公司：68问题85 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Ramírez Restrepo}等人，J.Log。阿尔盖布。方法计划。133，文章ID 100872，42 p.（2023；Zbl 1512.68173）
全文： 内政部
爱德华·坎伯扬;内森·瓦瑟

正确的非确定性：使用并发来验证具有未指定语义的C程序。 （英语） Zbl 07811910号

Aubert，Clément（ed.）等人，《第十五届交互和并发体验研讨会论文集》，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365，1-16（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Kamburjan}和\textit{N.Wasser}，电子。程序。西奥。计算。科学。（EPTCS）365，1-16（2022；Zbl 07811910）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳;考希·马利克;诺埃米，传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克

BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） Zbl 07807732号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022；Zbl 07807732）
全文： 内政部
吉安尼斯·德尔姆帕尔塔基斯;加布里埃尔·德·阿尔伯克基·格莱泽;伊沃·范斯特拉伦;Manuel jun，马祖。

ETMetera：超出事件触发控制。 （英语） Zbl 07807728号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022；Zbl 07807728）
全文： 内政部 arXiv公司
赵庆叶;陈欣;赵卓宇;张一凡;唐恩毅;李宣东

使用神经网络验证神经网络控制系统。 （英语） Zbl 07807711号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2022年）。
MSC公司：60年第68季度 68T05型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zhao}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2022；Zbl 07807711）
全文： 内政部
Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽

用逻辑验证切换系统的稳定性。 （英语） Zbl 07807710号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022；Zbl 07807710）
全文： 内政部 arXiv公司
哈达尔，弗伦克尔;莎莱·申瓦尔德

可实现且无上下文的超语言。 （英语） Zbl 1530.68191号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370114-130（2022）。
MSC公司：68问题85 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Frenkel}和\textit{S.Sheinvald}，电子。程序。西奥。计算。科学。（EPTCS）370114-130（2022年；Zbl 1530.68191）
全文： arXiv公司 链接
劳拉·博泽利;阿德里亚诺·佩隆

无限字上的参数区间时序逻辑。 （英语） Zbl 1530.68155号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37097-113（2022）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155）
全文： arXiv公司 链接
伊曼纽尔·海因里;布鲁斯·卡普伦。;Jean-Yves玛丽恩;罗曼·佩乔克斯

二阶多项式的完整和可控制的机器相关特征。 （英语） Zbl 07793038号

Patricia Bouyer等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 368-388 (2022).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Hainry}等人，Lect。注释计算。科学。13242，368--388（2022；Zbl 07793038）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳;菲利普·海姆;诺埃米，传球

时序流逻辑模理论。 （英语） Zbl 07793036号

Patricia Bouyer等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242325-346（2022年）。
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，Lect。注释计算。科学。13242，325--346（2022；Zbl 07793036）
全文： 内政部 arXiv公司
劳尔·费尔瓦里;阿莱西奥·曼苏蒂

模态逻辑和局部量词：初级层次中的动物园。 （英语） Zbl 07793035号

Patricia Bouyer等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 305-324 (2022).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Fervari}和\textit{A.Mansutti}，莱克特。注释计算。科学。13242，305-324（2022；Zbl 07793035）
全文： 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔五世（Manuel V.Hermenegildo）。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
拉杰夫·阿鲁尔;苏古曼·班萨尔;奥斯伯特·巴斯塔尼;基绍尔州佐提穆鲁甘

强化学习中转换规范的框架。 （英语） 兹比尔1528.68205

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 604-624 (2022).
MSC公司：60年第68季度 68T05型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。13660、604--624（2022年；Zbl 1528.68205）
全文： 内政部 arXiv公司
哈达尔，弗伦克尔;奥尔纳·格伦伯格;罗滕贝格，Bat Chen;莎莱·申瓦尔德

使用正式验证技术自动修复程序。 （英语） Zbl 1528.68079号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660511-534（2022）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Frenkel｝等人，Lect。注释计算。科学。13660、511--534（2022年；Zbl 1528.68079）
全文： 内政部
Incer，伊尼戈;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。

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

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

马尔可夫模型中的参数综合：一项温和的调查。 （英语） Zbl 1528.68226号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 407-437 (2022).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，Lect。注释计算。科学。13660407--437（2022年；Zbl 1528.68226）
全文： 内政部 arXiv公司
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯

基于回合的随机博弈的符号验证和策略综合。 （英语） Zbl 1528.68229号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 388-406 (2022).
MSC公司：60年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。13660388--406（2022年；Zbl 1528.68229）
全文： 内政部 arXiv公司
米罗斯拉夫·乔迪尔;安东·库切拉;简·Křetínsk

定量概率CTL的可满足性：迎接挑战。 （英语） Zbl 1528.68216号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 364-387 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\文本{M.Chodil}等人，Lect。注释计算。科学。13660364--387（2022年；Zbl 1528.68216）
全文： 内政部
马尔钦·尤季扬斯基;雷米·莫尔万;Thejaswini，K.S。

奇偶博弈和嵌套不动点的通用算法。 （英语） Zbl 1528.68404号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 252-271 (2022).
MSC公司：68周05 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{M.Jurdziñski}等人，莱克特。注释计算。科学。13660252--271（2022年；Zbl 1528.68404）
全文： 内政部 arXiv公司 哈尔
戈兰·弗雷斯;米尔科·贾科布;埃纳州扎法内拉

线性混合自动机的符号分析——25年后。 （英语） Zbl 1528.68182号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 39-60 (2022).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Frehse}等人，Lect。注释计算。科学。13660，39-60（2022；Zbl 1528.68182）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件