×

找到317份文件（结果1–100）

最新的 引文 关联
奥利弗·格利茨;丹尼尔·豪斯曼;悍马、梅林;德克·帕丁森;西蒙·普鲁克;卢茨·施罗德

COOL 2–模态定点逻辑的通用推理机（系统描述）。 （英语） Zbl 07838490号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 234-247 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{O.Görlitz}等人，Lect。注释计算。科学。14132234--247（2023；Zbl 07838490）
全文： 内政部 arXiv公司
亚历山大·勒吉扎蒙·罗巴约;安东尼奥·吉梅内斯·帕斯特;Tribastone，微型;马克斯·柴科夫斯基;安德烈·范丁

多项式微分方程的近似约束集总。 （英语） Zbl 1533.92080号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 106-123 (2023).
MSC公司：92立方厘米 34C60个
PDF格式BibTeX公司 XML格式引用
\textit｛A.Leguizamon Robayo｝等人，Lect。注释计算。科学。14137，106-123（2023；Zbl 1533.92080）
全文： 内政部
杰雷米·杜布特;托尔斯滕·维曼

广义开映射的加权和分支二相似性。 （英语） Zbl 07770343号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 308-327 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Dubut}和\textit{T.Wißmann}，Lect。注释计算。科学。13992、308--327（2023；Zbl 07770343）
全文： 内政部 arXiv公司
OA许可证
阿姆加德·拉迪;弗兰克·范·布鲁格尔

标记马尔可夫链概率双相似距离的解释。 （英语） Zbl 07770342号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 285-307 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Rady}和\textit{F.van Breugel}，莱克特。注释计算。科学。13992、285--307（2023；Zbl 07770342）
全文： 内政部
OA许可证
马可·贝尔纳多;萨宾娜·罗西

反向双相似与正向双相似。 （英语） Zbl 07770341号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 265-284 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}和\textit{S.Rossi}，莱克特。注释计算。科学。13992、265--284（2023；Zbl 07770341）
全文： 内政部
OA许可证
谢尔盖·冈查洛夫;德克·霍夫曼;佩德罗·诺拉;卢茨·施罗德;威尔德，保罗

Kantorovich函子和行为距离的特征逻辑。 （英语） Zbl 07770331号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 46-67 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。13992、46-67（2023年；Zbl 07770331）
全文： 内政部 arXiv公司
OA许可证
汤姆·巴丁斯;利西奥·罗芒;亚历山德罗·阿巴特;大卫·帕克;哈桑·普纳瓦拉（Hasan A.Poonawala）。;玛丽埃勒·斯托林加;尼尔斯·詹森

基于形式化抽象的非高斯噪声动态系统鲁棒控制。 （英语） Zbl 1508.93279号

J.阿蒂夫。智力。研究（JAIR） 76341-391（2023年）.
MSC公司：93电子03 93B35型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Badings}等人，J.Artif。智力。研究（JAIR）76，341--391（2023；Zbl 1508.93279）
全文： 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;马蒂亚斯·克劳斯·詹森;Larsen，Kim G。

凸晶格方程组。 （英语） Zbl 1528.68206号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 438-455 (2022).
MSC公司：60年第68季度 2010年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。13660438--455（2022年；Zbl 1528.68206）
全文： 内政部
休伯特·加拉维;弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： 内政部 哈尔
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·玛丽加德

区间马尔可夫链的定量分析。 （英语） Zbl 1522.68296号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
MSC公司：60年第68季度 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296）
全文： 内政部 哈尔
马丁·赫尔弗里奇;科什卡，米兰;简·Křetínsk;什蒂凡·马蒂切克

基于抽象的化学反应网络分段模拟。 （英语） Zbl 1505.92074号

Petre，Ion（编辑）等人，《系统生物学中的计算方法》。第20届国际会议，CMSB 2022，罗马尼亚布加勒斯特，2022年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13447, 41-60 (2022).
MSC公司：92立方厘米 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Helfrich}等人，Lect。注释计算。科学。13447，41-60（2022；Zbl 1505.92074）
全文： 内政部 arXiv公司
伊利耶斯·法尔科内;格温·萨拉恩;左，阿汉

BPMN过程在运行时的概率模型检查。 （英语） Zbl 1502.68182号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 191-208 (2022).
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Falcone}等人，Lect。注释计算。科学。13274、191--208（2022；Zbl 1502.68182）
全文： 内政部 哈尔
帕维特拉·普拉巴卡

神经网络简化的相互模拟。 （英语） Zbl 1498.68169号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 285-300 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Prabhakar}，莱克特。注释计算。科学。13182，285--300（2022；Zbl 1498.68169）
全文： 内政部 arXiv公司
亚历山德罗·阿尔迪尼;Gianluca Curzi;格拉齐亚尼，皮耶路易吉;米尔科·塔利亚费里

信任证据逻辑。 （英语） Zbl 07542369号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 575-589 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{A.Aldini}等人，Lect。注释计算。科学。12897、575--589（2021；Zbl 07542369）
全文： 内政部
马可·贝尔纳多

走向双相似性和迹语义的一般公理化。 （英语） Zbl 07415132号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 31-53 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，莱克特。注释计算。科学。12669，31-53（2021；Zbl 07415132）
全文： 内政部
威尔德，保罗;卢茨·施罗德

一个量化的余代数范本特姆定理。 （英语） 兹伯利07410443

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 551-571 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Wild}和\textit{L.Schröder}，莱克特。注释计算。科学。12650、551--571（2021；Zbl 07410443）
全文： 内政部
OA许可证
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃

通过凸代数幂的分布双相似性。 （英语） Zbl 1480.18005号

日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）.
审核人：Ernst-Erich Doberkat（多特蒙德）
MSC公司：18立方厘米 03B42号 87年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005）
全文： arXiv公司 链接
陈丽安;佛罗伦萨克莱尔克;帕南加登，普拉卡什

对连续时间马尔可夫过程中的行为等效性进行分类。 （英语） Zbl 07516371号

Patricia Johann（编辑），《第36届编程语义数学基础会议论文集》，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 53-77 (2020).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，《电子》。注释Theor。计算。科学。352、53--77（2020；Zbl 07516371）
全文： 内政部
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德

高效且模块化的余代数划分细化。 （英语） Zbl 1442.68113号

日志。方法计算。科学。 16，第1号，第8号论文，63页（2020年）.
MSC公司：68问题65 60年22日 第68季度第45季度 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《日志》。方法计算。科学。16，第1号，第8号论文，63页（2020年；Zbl 1442.68113）
全文： arXiv公司
瓦伦蒂娜·卡斯蒂格利奥尼;拉诺特、拉格罗;西蒙·蒂尼

互模拟度量的完全语法一致连续性格式。 （英语） Zbl 07817555号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 293-312 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}等人，Lect。注释计算。科学。11760、293--312（2019；Zbl 07817555）
全文： 内政部
邓玉欣;Jean-Francois莫宁

Coq中概率测试语义的形式化。 （英语） Zbl 07817554号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 276-292 (2019).
MSC公司：68问题85 68问题55 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.邓}和textit{J.-F.莫宁}，莱克特。注释计算。科学。11760276--292（2019年；Zbl 07817554）
全文： 内政部
乔瓦尼·巴奇;米克尔·汉森;金·古德斯特兰·拉森

具有不确定性的模型检验约束马尔可夫报酬模型。 （英语） Zbl 07817510号

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 37-51 (2019).
MSC公司：60年第68季度 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。11785，37-51（2019；Zbl 07817510）
全文： 内政部 链接
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德

线性时间分支时间谱的分级单体和分级逻辑。 （英语） Zbl 07649944号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第36条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，LIPIcs——莱布尼茨国际程序。通知。140，第36条，第16页（2019；Zbl 07649944）
全文： 内政部 arXiv公司
德米特里·奇斯蒂科夫;安德烈·穆拉夫斯基。;乘务长，大卫

不对称距离，实现近似差分隐私。 （英语） Zbl 07649918号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第10条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Chistikov}等人，LIPIcs——莱布尼茨国际程序。通知。140，第10条，第17页（2019年；Zbl 07649918）
全文： 内政部
西蒙娜·卡什特罗维奇;米歇尔·帕加尼

延迟的按名称调用概率（lambda）演算中的let-in运算符的鉴别能力。 （英语） Zbl 1528.68068号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第26条，第20页（2019年）。
MSC公司：68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Kašterović}和\textit{M.Pagani}，LIPIcs--Leibniz Int.Proc。通知。131，第26条，第20页（2019年；Zbl 1528.68068）
全文： 内政部
罗斯·霍恩

子加法：扩展线性逻辑的概率选择证明理论。 （英语） Zbl 1528.68254号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第23条，第16页（2019年）。
MSC公司：68问题85 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}，LIPIcs——莱布尼茨国际程序。通知。131，第23条，第16页（2019年；Zbl 1528.68254）
全文： 内政部
陈丽安;佛罗伦萨克莱尔克;帕南加登，普拉卡什

Feller-Dynkin过程的双重刺激。 （英语） Zbl 07515954号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 45-63 (2019).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，《电子》。注释Theor。计算。科学。347、45-63（2019年；Zbl 07515954）
全文： 内政部 arXiv公司
马哈茂德·萨拉马蒂;萨代赫·苏贾尼;鲁帕克·马朱姆达尔

CTMC和CTMDP的近似时限可达性：Lyapunov方法。 （英语） 兹伯利1514.68146

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 389-406 (2018).
MSC公司：60年第68季度 03B70号 60J28型 87年第68季度 90立方厘米 93个B03 93二氧化碳 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{M.Salamati}等人，Lect。注释计算。科学。11024，389--406（2018；Zbl 1514.68146）
全文： 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁

通过可达性分析保证近似模型抽象的误差界。 （英语） Zbl 07703951号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 104-121 (2018).
MSC公司：65磅 94C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。11024，104-121（2018；Zbl 07703951）
全文： 内政部 arXiv公司 链接
唐启毅;弗兰克·范·布鲁格尔

确定概率自动机的概率双相似距离1。 （英语） Zbl 1520.68099号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。2018年9月4日至7日，中国北京。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第9条，第17页（2018年）。
MSC公司：68问题85 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{Q.Tang}和\textit{F.van Breugel}，LIPIcs——莱布尼茨国际程序。通知。118，第9条，第17页（2018；Zbl 1520.68099）
全文： 内政部
邓玉欣

概率和量子过程的相互模拟（特邀论文）。 （英语） Zbl 1520.68093号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。2018年9月4日至7日，中国北京。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第2条，第14页（2018）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Deng｝，LIPIcs——莱布尼茨国际会议记录。通知。118，第2条，第14页（2018；Zbl 1520.68093）
全文： 内政部
克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼

有效的余代数划分精化。 （英语） Zbl 1442.68112号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第32条，第16页（2017年）。
MSC公司：68问题65 60年22日 第68季度第45季度 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，LIPIcs——莱布尼茨国际程序。通知。85，第32条，第16页（2017年；Zbl 1442.68112）
全文： 内政部 arXiv公司
唐启毅;弗兰克·范·布鲁格尔

计算标记马尔可夫链的概率双相似距离的算法。 （英语） Zbl 1442.68152号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第27条，第16页（2017年）。
MSC公司：68问题85 60年22日 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{Q.Tang}和\textit{F.van Breugel}，LIPIcs——莱布尼茨国际程序。通知。85，第27条，第16页（2017；Zbl 1442.68152）
全文： 内政部
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃

凸代数的幂。 （英语） Zbl 1442.68085号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第23条，第18页（2017年）。
MSC公司：第68季度第45季度 68问题55 70年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。85，第23条，第18页（2017年；Zbl 1442.68085）
全文： 内政部
卞、高昂;亚历山德罗·阿巴特

在近似概率背景下，关于互模拟和迹等价之间的关系。 （英语） Zbl 1486.68108号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203321-337（2017年）。
MSC公司：68问题85 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bian}和\textit{A.Abate}，Lect。注释计算。科学。10203、321--337（2017；Zbl 1486.68108）
全文： 内政部 arXiv公司
乌里·法伦贝格;Legay、Axel

行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68213号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 49-61 (2017).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}和\textit{A.Legay}，莱克特。注释计算。科学。10139，49-61（2017；Zbl 1433.68213）
全文： 内政部
佐藤，铁杉

连续随机抽样的近似关系Hoare逻辑。 （英语） Zbl 1401.68206号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325277-298（2016）。
MSC公司：60年第68季度 03B70号 18立方厘米 第68页，共15页 68第25页 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Sato｝，电子。注释Theor。计算。科学。325277-298（2016；Zbl 1401.68206）
全文： 内政部 arXiv公司
安德烈·范丁;米尔科·特里巴斯通

集体自适应系统的定量抽象。 （英语） Zbl 1346.68219号

Bernardo，Marco（ed.）等人，集体自适应系统定量评估的正式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700、202-232讲稿（2016）。
MSC公司：68T42型 68T05型 93甲15 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Vandin}和\textit{M.Tribastone}，莱克特。注释计算。科学。9700、202--232（2016；Zbl 1346.68219）
全文： 内政部
安德烈亚斯·洛赫比勒

高阶逻辑中的概率函数和密码预言。 （英语） Zbl 1335.68033号

Thiemann，Peter（编辑），《编程语言与系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，503-531（2016）。
MSC公司：68甲18 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Lochbihler}，莱克特。注释计算。科学。9632503--531（2016；Zbl 1335.68033）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件