×

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

最新的 引文 关联
李勇；安德烈亚·图里尼；孙雪超；张丽君

基于蒙特卡罗抽样证明Büchi自动机的非包含性。 （英语） Zbl 1517.68205号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 467-483 (2020).
MSC公司：65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。12302467--483（2020年；Zbl 1517.68205）
全文： 内政部 arXiv公司
李勇；莫舍·瓦尔迪。；张丽君

关于Büchi互补中明确性的力量。 （英语） Zbl 07455748号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326182-198（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326182--198（2020；Zbl 07455748）
全文： arXiv公司 链接
李勇；刘万伟；安德烈亚·图里尼；恩斯特·莫里茨·哈恩；张丽君

一种针对线性时间特性的参数马尔可夫链的有效综合算法。 （英语） Zbl 1393.68107号

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-47676-6/pbk；978-3-319-47677-3/ebook）。计算机科学讲座笔记9984280-296（2016）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。9984280-296（2016年；Zbl 1393.68107）
全文： 内政部 arXiv公司
恩斯特·莫里茨·哈恩；李广元；斯文·舍韦；安德烈亚·图里尼；张丽君

没有确定的惰性概率模型检查。 （英语） Zbl 1374.68290号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，354-367（2015）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，LIPIcs——莱布尼茨国际程序。通知。42354--367（2015年；Zbl 1374.68290）
全文： 内政部 arXiv公司
他，费；高晓伟；王，弯腰；张丽君

在并发概率系统的组合推理中利用加权自动机。 （英语） Zbl 1346.68133号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。503-514 (2015).
MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{F.He}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。503--514（2015；Zbl 1346.68133）
全文： 内政部
李建文；浦、葛光；张丽君；王，郑；何继峰；金·古德斯特兰·拉森

关于LTL范式与Büchi自动机之间的关系。 （英语） Zbl 1390.68435号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，256-270（2013）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛J.Li｝等人，Lect。注释计算。科学。8051256-270（2013年；Zbl 1390.68435）
全文： 内政部 arXiv公司
约书亚·萨克；张丽君

概率表征公式的一般框架。 （英语） Zbl 1326.68176号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148396-411（2012）。
MSC公司：65年第68季度 03B48号 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Sack}和\textit{L.Zhang}，Lect。注释计算。科学。7148396--411（2012年；Zbl 1326.68176）
全文： 内政部
Fränzle，马丁；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；尼科拉斯·沃尔维克；张丽君

随机混合系统的可测性和安全性验证。 （英语） Zbl 1362.68170号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52 (2011).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170）
全文： 内政部
宋磊；张丽君；Jens Chr.Godskesen。

互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。注释计算。科学。6901108-123（2011；Zbl 1344.68170）
全文： 内政部 链接
张丽君；大卫·詹森（David N.Jansen）。；弗莱明·尼尔森；霍尔格·赫尔曼斯

基于自动机的CSL模型检查。 （英语） Zbl 1334.68135号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756271-282（2011）。
MSC公司：60年第68季度 03B44号 65年第68季度 68周25
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}等人，Lect。注释计算。科学。6756271--282（2011年；Zbl 1334.68135）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件