杰雷米·柯尼格 在范畴代数中建立游戏语义。 （英语） Zbl 1530.68154号 Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022）。MSC公司：第68季度55 18 C50 68纳米30 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Koenig}，电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022年；兹bl 1530.68154） 全文： 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） 全文： 内政部
加尔阿姆拉姆;沙哈尔·茂兹;活塞，或;詹·奥利弗·林格特 欧米伽规则能量游戏的高效算法。 （英语） 兹比尔1522.91065 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 163-181 (2021).MSC公司：91A68型 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人，Lect。注释计算。科学。13047163-181（2021年；Zbl 1522.91065） 全文： 内政部 链接
马里奥·格雷舍尔;拉杜·卡利内斯库;吉姆·伍德科克 RiskStructures：风险感知机器的设计代数。 （英语） Zbl 1521.93120号 正式Asp。计算。 33，编号4-5，763-802（2021）.MSC公司：93C85号 91B05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gleirscher}等人，《形式语法》。计算。33，编号4--5，763--802（2021；Zbl 1521.93120） 全文： 内政部 arXiv公司
乌里·法伦贝格;阿克塞尔·莱盖;卡琳·夸斯 用定量游戏计算分支距离。 （英语） Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司：68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Theor。计算。科学。847134-146（2020年；Zbl 1464.68239） 全文： 内政部
马蒂厄·雷纳德;安托万·罗莱;伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 （英语） Zbl 1458.68120号 正式Asp。计算。 32，编号2-3，315-360（2020）.MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人，《正式Asp》。计算。32，编号2-3315-360（2020；兹bl 1458.68120） 全文： 内政部 哈尔
胡太伟;马莫鲁·卡内科;铃木，Nobu-Yuki 小无穷认知逻辑。 （英语） Zbl 1443.03009号 版本符号。日志。 12，第4号，702-735（2019）. 审核人：Can Baskent（伦敦） MSC公司：03B42号 03B45号 91年10月 91年2月26日 PDF格式BibTeX公司 XML格式引用 \textit{T.-W.Hu}等人，Rev.Symb。日志。12，第4号，702--735（2019；Zbl 1443.03009） 全文： 内政部
亚历克桑德拉·约瓦诺维奇;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 实时系统参数控制的博弈方法。 （英语） Zbl 1421.93017号 国际J.控制 92，第9期，2025-2036（2019）.MSC公司：93个B03 93亿B50 91A80型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人，国际期刊控制92，第9期，2025--2036（2019；Zbl 1421.93017） 全文： 内政部 哈尔
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马，伊德 \（\mu\）-结石的完整性：一种联合代数方法。 （英语） Zbl 1443.03012号 Ann.纯粹应用。逻辑 170，第5号，578-641（2019）. 审核人：Ernst-Erich Doberkat（多特蒙德） MSC公司：03B45号 03B70号 60年第68季度 91A43型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人，Ann.Pure Appl。逻辑170，No.5，578--641（2019；Zbl 1443.03012） 全文： 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 （英语） Zbl 1393.68096号 西奥。计算。科学。 735，64-81（2018）.MSC公司：65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}和\textit{M.Kwiatkowska}，Theor。计算。科学。735，64-81（2018；Zbl 1393.68096） 全文： 内政部
亚历山德罗·马吉;玛丽内拉·彼得罗奇;安吉洛·斯波格纳迪;弗朗西斯科·蒂埃齐 一种基于语言的Twitter交互建模和分析方法。 （英语） Zbl 1359.68197号 J.日志。阿尔盖布。方法计划。 87, 67-91 (2017).MSC公司：60年第68季度 91天30分 PDF格式BibTeX公司 XML格式引用 \textit｛A.Maggi｝等人，J.Log。阿尔盖布。方法计划。87、67-91（2017年；Zbl 1359.68197） 全文： 内政部
鲁道夫·伯哈默;Henning施诺尔 Condorcet投票的控制：复杂性和关系代数方法。 （英语） Zbl 1346.91069号 欧洲药典。物件。 246，第2期，505-516（2015）.MSC公司：91B12号机组 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit｛R.Berghamer｝和\textit｛H.Schnoor｝，欧洲药典。第246号决议，第2号，505--516（2015；Zbl 1346.91069） 全文： 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 （英语） Zbl 1393.68095号 Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。计算机科学课堂讲稿8762176-189（2014）。MSC公司：65年第68季度 60年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Jovanović｝和\textit｛M.Kwiatkowska｝，Lect。注释计算。科学。8762、176--189（2014；Zbl 1393.68095） 全文： 内政部 链接
泽维尔·阿拉米吉恩;乌里·法伦贝格;圣埃芬·高伯特;里卡多·卡茨。;Legay、Axel 热带Fourier-Motzkin消除，应用于实时验证。 （英语） Zbl 1301.90069号 国际代数计算杂志。 24，第5期，569-607（2014）.MSC公司：90C25型 15A80型 91A46型 90立方厘米 68问题85 52A01型 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人，《国际代数计算》。24，第5号，569--607（2014；Zbl 1301.90069） 全文： 内政部 arXiv公司
鲁道夫·伯哈默 通过关系代数建模和开发计算最小扩展集。 （英语） 兹比尔1434.91032 J.日志。阿尔盖布。方法计划。 83，第2期，103-119（2014）.MSC公司：91B14号机组 03G15年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}，J.Log。阿尔盖布。方法计划。83，第2号，第103--119条（2014；Zbl 1434.91032） 全文： 内政部
Larsen，Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 （英语） 兹比尔1311.68088 西奥。计算。科学。 515, 96-122 (2014).MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Theor。计算。科学。515、96-122（2014年；Zbl 1311.68088） 全文： 内政部 哈尔
鲁道夫·伯哈默 使用关系代数和RelView计算和可视化银行控制关系集。 （英语） Zbl 1278.91049号 J.日志。阿尔盖布。程序。 82，编号3-4，123-136（2013）.MSC公司：91B14号机组 05C20号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛R.Berghamer｝，J.日志。阿尔盖布。程序。82，编号3--4，123-136（2013；Zbl 1278.91049） 全文： 内政部
汤姆·霍维特;费利克斯·克莱特克;尤根·兹利内斯库 多方合同的基于跟踪的模型。 （英语） Zbl 1235.91116号 J.日志。阿尔盖布。程序。 81，第2期，72-98（2012）.MSC公司：91B40型 91B26型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hvitved}等人，J.Log。阿尔盖布。程序。81，第2号，72--98（2012；Zbl 1235.91116） 全文： 内政部 链接
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，定时系统的形式化建模和分析。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919160-176（2011年；兹比尔1348.68147） 全文： 内政部
穆罕默德·萨利赫;穆拉德·德巴比 密码协议规范和验证的游戏理论框架。 （英语） Zbl 1211.68254号 正式Asp。计算。 22，第5期，585-609（2010）.MSC公司：60年第68季度 91A80型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Saleh}和\textit{M.Debbabi}，正式Asp。计算。22，第5号，585--609（2010；Zbl 1211.68254） 全文： 内政部
鲁道夫·伯哈默;阿格涅斯卡·鲁西诺夫斯卡;哈里·德·斯瓦特 将关系代数和RelView应用于社交网络中的度量。 （英语） Zbl 1173.91446号 欧洲药典。物件。 202，第1期，182-195（2010）.MSC公司：91天30分 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人，《欧洲药典》。第202号决议，第1号，182--195（2010年；Zbl 1173.91446） 全文： 内政部 哈尔