×

找到23个文档（结果1–23）

最新的 引文 关联
托马斯·亨辛格。;尼古拉斯·马佐奇;萨拉索，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公司
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利

关于战略行为的质量和模糊性的推理。 （英语） 兹伯利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公司
巴托斯·贝德纳西克;贾库布·米查利辛

“大多数”导致无法确定：无法向LTL添加频率。 （英语） Zbl 07410420号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 82-101 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Bednarczyk}和\textit{J.Michaliszyn}，莱克特。注释计算。科学。12650、82-101（2021；Zbl 07410420）
全文： 内政部 arXiv公司
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴

具有分支时间获胜条件的多权重博弈的综合。 （英语） Zbl 1503.68182号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).
MSC公司：60年第68季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{I.考夫曼}等人，Lect。注释计算。科学。12152，46-66（2020；Zbl 1503.68182）
全文： 内政部
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗

通过准自治权求解均值对价博弈。 （英语） Zbl 1484.91004号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079289-306（2020年）。
MSC公司：91A05型 91A70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，Lect。注释计算。科学。12079、289--306（2020；Zbl 1484.91004）
全文： 内政部
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇

并发游戏的均衡设计。 （英语） Zbl 07649930号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第22条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，LIPIcs——莱布尼茨国际程序。通知。140，第22条，第16页（2019年；Zbl 07649930）
全文： 内政部 arXiv公司
贾库布·米查利辛;奥托普，简

极限平均自动机的近似学习。 （英语） Zbl 07649925号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第17条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Michaliszyn}和\textit{J.Otop}，LIPIcs——莱布尼茨国际程序。通知。140，第17条，第16页（2019年；Zbl 07649925）
全文： 内政部 arXiv公司
菲利普·马佐维耶基;克里斯蒂安·里维罗斯

加权自动机的泵引理。 （英语） Zbl 1487.68151号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第50条，第14页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Mazowiecki}和\textit{C.Riveros}，LIPIcs——莱布尼茨国际程序。通知。96，第50条，第14页（2018；Zbl 1487.68151）
全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;赫尔穆特·维思

模型检查简介。 （英语） 兹比尔1392.68242

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242）
全文： 内政部
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;萨沙·旺德利希

最大化实现目标的有条件预期回报。 （英语） Zbl 1453.90180号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206269-285（2017年）。
MSC公司：90立方厘米 65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，Lect。注释计算。科学。10206269--285（2017；Zbl 1453.90180）
全文： 内政部 arXiv公司
查特吉，克里什南杜;托马斯·亨辛格。;奥托普，简

双向嵌套加权自动机。 （英语） Zbl 1442.68087号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第5条，第16页（2017年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。85，第5条，第16页（2017年；Zbl 1442.68087）
全文： 内政部 arXiv公司
约翰内斯·克虏伯;多米尼克·施罗德;马克·西姆金;达里奥·菲奥雷;朱塞佩·阿特尼塞;斯特凡·纽伦伯格

近乎最佳的可验证数据流。 （英语） Zbl 1388.94065号

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，417-445（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Krupp}等人，Lect。注释计算。科学。9614，417--445（2016；Zbl 1388.94065）
全文： 内政部
丹尼尔·卡赫曼;贾娜·舒伯特;克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫

比率和重量分位数。 （英语） Zbl 1465.68155号

Italiano，F.（编辑）等人，《计算机科学数学基础》2015。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 344-356 (2015).
MSC公司：65年第68季度 60J10型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Krähmann}等人，Lect。注释计算。科学。9234、344--356（2015年；Zbl 1465.68155）
全文： 内政部
阿夫尼，盖伊;奥尔纳·库普弗曼

加权自动机的随机性。 （英语） Zbl 1465.68130号

Italiano，F.（编辑）等人，《计算机科学数学基础》2015。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 89-102 (2015).
MSC公司：65年第68季度 2010年第68季度 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}和\textit{O.Kupferman}，莱克特。注释计算。科学。9234，89-102（2015；Zbl 1465.68130）
全文： 内政部
克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;萨沙·旺德利希

用于能源效用分析的概率模型检查。 （英语） 兹比尔1407.68279

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 96-123 (2014).
MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件