×

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

最新的 引文 关联
格科·范·海尔特；托比亚斯·卡佩；朱里安·罗特；亚历山德拉·席尔瓦

学习pomset自动机。 （英语） Zbl 1516.68049号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 510-530 (2021).
MSC公司：65年第68季度 68问题32 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.van Heerdt｝等人，Lect。注释计算。科学。12650510-530（2021年；Zbl 1516.68049）
全文： DOI程序 arXiv公司
达纳州安格鲁因；达纳·菲斯曼；雅拉·绍瓦尔

\（\omega \）-自动机的多项式标识。 （英语） 兹比尔1483.68153

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 325-343 (2020).
MSC公司：65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{D.Angluin}等人，Lect。注释计算。科学。12079325--343（2020；Zbl 1483.68153）
全文： DOI程序
托比亚斯·卡佩；保罗·布鲁内特；亚历山德拉·席尔瓦；工资制造者，贾纳；法比奥·扎纳西

并发Kleene代数与观察：从假设到完整性。 （英语） 兹比尔07250948

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 381-400 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，Lect。注释计算。科学。12077，381--400（2020；Zbl 07250948）
全文： DOI程序 arXiv公司
李勇；陈玉芳；张丽君；刘德鹏

一种新的基于DFA族和分类树的Büchi自动机学习算法。 （英语） Zbl 1453.68098号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 208-226 (2017).
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。10205208-226（2017；Zbl 1453.68098）
全文： DOI程序 arXiv公司
尼尔斯·弗利什哈克；约翰内斯·克鲁普；朱利奥·马拉沃尔塔；乔纳斯·施耐德；多米尼克·施罗德；马克·西姆金

从具有可重新随机化密钥的签名中获得高效的不可链接可清理签名。 （英语） Zbl 1388.94054号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，301-330（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛N.Fleischhacker｝等人，Lect。注释计算。科学。9614、301-330（2016年；Zbl 1388.94054）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件