×

找到27份文件（结果1-27）

最新的 引文 关联
马丁·塔普勒;穆什卡丁，伊迪;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;药丸，印戈

随机反应系统的主动模型学习。 （英语） Zbl 1522.68348号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 481-500 (2021).
MSC公司：60年第68季度 第68季度32 65年第68季度 第68季度87 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Tappler}等人，Lect。注释计算。科学。13085、481--500（2021；Zbl 1522.68348）
全文： 内政部
克里希南德·查特吉;埃桑·卡夫什达尔·戈哈沙迪;诺沃顿，皮特;扎里沃基，基尼;Đikelić或

概率终止的词典学证明规则。 （英语） Zbl 1521.68034号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 619-639 (2021).
MSC公司：68号30 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。13047、619--639（2021；Zbl 1521.68034）
全文： 内政部 arXiv公司
Bidlingmaier，Martin E。;弗洛里安·费索尔;溅出物，Bas

概率规划同伦类型理论中的合成拓扑。 （英语） 兹比尔1517.68072

数学。结构。计算。科学。 第10号第31页，1301-1329页（2021）.
MSC公司：68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18号45 第28页，共15页 55单位35 68号30 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Bidlingmaier}等人，《数学》。结构。计算。科学。31，第10号，1301--1329（2021；Zbl 1517.68072）
全文： 内政部 arXiv公司
凯文·巴茨;陈明帅;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;克里斯托弗·马瑟亚;菲利普·施罗德

格型归纳法及其在概率程序中的应用。 （英语） Zbl 1493.68204号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 524-549 (2021).
MSC公司：60年第68季度 06B23号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Batz}等人，Lect。注释计算。科学。12760524--549（2021年；Zbl 1493.68204）
全文： 内政部 arXiv公司
卢茨·克林肯伯格;凯文·巴茨;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;约书亚·莫尔曼;托拜厄斯·温克勒

概率程序的生成函数。 （英语） Zbl 07496650号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561231-248（2021年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Klinkenberg}等人，Lect。注释计算。科学。12561、231--248（2021；Zbl 07496650）
全文： 内政部 arXiv公司
玛丽亚·马克西莫娃;斯文·施奈德;霍尔格·吉斯

区间概率时间图变换系统。 （英语） Zbl 1492.68071号

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 221-239 (2021).
MSC公司：2012年第68季度 60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12741、221--239（2021；Zbl 1492.68071）
全文： 内政部 链接
张，韩;张驰;阿泽夫多·阿莫林;尤夫拉杰·阿加瓦尔;马特·弗雷德里克森;贾利民

Netter：概率、状态网络模型。 （英语） Zbl 1472.68012号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 486-508 (2021).
MSC公司：68M10个 60J20型 68甲15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}等人，Lect。注释计算。科学。12597，486--508（2021；Zbl 1472.68012）
全文： 内政部
雨果·帕奎特

贝叶斯策略：作为通用图形模型的概率程序。 （英语） Zbl 1473.68054号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 519-547 (2021).
MSC公司：68号30 62H22个 68甲15 68甲19 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{H.Paquet}，莱克特。注释计算。科学。12648、519--547（2021；Zbl 1473.68054）
全文： 内政部
马塞尔·穆斯布鲁克;埃齐奥·巴托西;Joost-Pieter卡托恩;劳拉·科瓦奇

多项式概率程序的自动终止分析。 （英语） 兹比尔1473.68053

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648491-518（2021年）。
MSC公司：68号30 68甲19 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Moosbrugger}等人，Lect。注释计算。科学。12648491--518（2021年；Zbl 1473.68053）
全文： 内政部 arXiv公司
玛丽亚·马克西莫娃;斯文·施奈德;霍尔格，吉斯

概率时序图变换系统的组成分析。 （英语） Zbl 1467.68090号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649196-217（2021年）。
MSC公司：60年第68季度 2012年第68季度 93甲15 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12649196-217（2021；Zbl 1467.68090）
全文： 内政部
约翰·费恩利;马丁·盖林;马蒂亚斯·姆尼奇;拉胡尔·萨瓦尼

可达性切换游戏。 （英语） Zbl 1499.68200号

日志。方法计算。科学。 17，第2号，第10号论文，29页（2021年）.
MSC公司：60年第68季度 60J20型 2009年第68季度 第68季度10 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，Log。方法计算。科学。17，第2号，第10号论文，第29页（2021年；Zbl 1499.68200）
全文： arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件