×

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

最新 引文 关联
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇

定性和定量目标相结合的博弈均衡。 （英语） Zbl 1483.68193号

学报信息。 58，第6号，585-610（2021）.
MSC公司：60年第68季度 03B44号 68T42型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《信息学报》58，第6期，585--610（2021年；Zbl 1483.68193）
全文： 内政部 arXiv公司 链接
阿尼埃洛·穆拉诺;萨沙·鲁宾;马丁·齐默尔曼

加权极限对策中的最优策略。 （英语） Zbl 07455744号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326114-130（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Murano}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、114-130（2020；兹bl 07455744）
全文： arXiv公司 链接
劳拉·博泽利;阿尼埃洛·穆拉诺;Loredana索伦蒂诺

关于交替时间逻辑与线性过去的结果。 （英语） Zbl 1487.68155号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。120，第6条，第22页（2018年）。
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。120，第6条，22 p.（2018；Zbl 1487.68155）
全文： 内政部
纳塔娜·菲亚尔科夫;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾

量化策略逻辑中的界限。 （英语） Zbl 1528.68218号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第23条，第23页（2018年）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Fijalkow}等人，LIPIcs——莱布尼茨国际程序。通知。119，第23条，23 p.（2018；Zbl 1528.68218）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆

时间上下文无关时序逻辑。 （英语） Zbl 1528.68212号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277235-249（2018）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277235--249（2018；Zbl 1528.68212）
全文： arXiv公司 链接
黛拉·莫妮卡，达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科

通过区间时序逻辑模型检查评估时序数据集。 （英语） Zbl 1515.68109号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。90，第11条，第18页（2017年）。
MSC公司：第68页，共15页 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Della Monica｝等人，LIPIcs——莱布尼茨国际期刊。通知。90，第11条，第18页（2017年；Zbl 1515.68109）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;Loredana索伦蒂诺

分层成本平价博弈。 （英语） Zbl 1515.68201号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。90，第6条，第17页（2017年）。
MSC公司：第68季度85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。90，第6条，第17页（2017；Zbl 1515.68201）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺

关于模块检查的复杂性。 （英语） Zbl 1483.68187号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256268-282（2017）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Murano}，电子。程序。西奥。计算。科学。（EPTCS）256268--282（2017；Zbl 1483.68187）
全文： arXiv公司 链接
拉斐尔·伯顿;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾;莫舍·瓦尔迪。

信息不完全的战略逻辑。 （英语） Zbl 1458.68113号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第76条，第12页（2017年）。
MSC公司：60年第68季度 03B25号 03B44号 03B70号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Berthon}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第76条，第12页（2017；Zbl 1458.68113）
全文： arXiv公司 链接
法比奥·莫加韦罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。

策略推理：关于可满足性问题。 （英语） Zbl 1448.68312号

日志。方法计算。科学。 13，第1号，第9号论文，37页（2017年）.
MSC公司：60年第68季度 03B44号 03B70号 2017年第68季度 第68季度85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}等人，日志。方法计算。科学。13，第1号，第9号论文，37页（2017；Zbl 1448.68312）
全文： 内政部 arXiv公司
方丹，盖勒;法比奥·莫加韦罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;Loredana索伦蒂诺

计算树逻辑中的循环检测。 （英语） Zbl 1478.68158号

Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226164-177（2016）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{G.Fontaine}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226164--177（2016；Zbl 1478.68158）
全文： 链接
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾

在CTL*上使用分级路径模式。 （英语） Zbl 1471.68126号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 281-296 (2015).
MSC公司：60年第68季度 03B44号 2017年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{B.Aminof}等人，Lect。注释计算。科学。9450281--296（2015；Zbl 1471.68126）
全文： 内政部 链接
法比奥·莫加韦罗（编辑）;阿尼埃洛·穆拉诺（编辑）;莫舍·瓦尔迪。（编辑）

2014年4月5日至6日，法国格勒诺布尔，第二届战略推理国际研讨会论文集，SR'14。 （英语） Zbl 1433.68028号

理论计算机科学电子论文集（EPTCS）146.滑铁卢：开放出版协会。111页。，仅电子版，开放存取（2014年）。
MSC公司：68-06 60年第68季度 91A80型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}（ed.）等人，《第二届战略推理国际研讨会论文集》，SR'14，法国格勒诺布尔，2014年4月5-6日。滑铁卢：开放出版协会（OPA）（2014；Zbl 1433.68028）
全文： 内政部 arXiv公司 链接
法比奥·莫加韦罗（编辑）;阿尼埃洛·穆拉诺（编辑）;莫舍·瓦尔迪。（编辑）

2013年3月16日至17日，意大利罗马，第一届战略推理国际研讨会会议记录。 （英语） Zbl 1415.68040号

理论计算机科学电子论文集（EPTCS）112.滑铁卢：开放出版协会（OPA）。122页。，仅电子版，开放存取（2013年）。
MSC公司：68-06 60年第68季度 68T42型 91A80型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}（ed.）等人，《第一届战略推理国际研讨会论文集》，意大利罗马，2013年3月16-17日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1415.68040）
全文： 内政部 arXiv公司 链接
马西莫·贝内雷切蒂;法比奥·莫加韦罗;阿尼埃洛·穆拉诺

子结构时间逻辑。 （英语） Zbl 1366.03182号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。368-377（2013年）。
MSC公司：03B44号 03B25号 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2013。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。368--377（2013年；Zbl 1366.03182）
全文： 内政部
法比奥·莫加韦罗;阿尼埃洛·穆拉诺;Loredana索伦蒂诺

论平价游戏中的及时性。 （英语） Zbl 1407.68297号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8312, 601-618 (2013).
MSC公司：60年第68季度 第68季度25 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}等人，Lect。注释计算。科学。8312601-618（2013年；兹比尔1407.68297）
全文： 内政部
马可·费拉（编辑）;阿尼埃洛·穆拉诺（编辑）

2012年9月6日至8日，意大利那不勒斯，第三届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 （英语） Zbl 1392.68016号

理论计算机科学电子论文集（EPTCS）96.滑铁卢：开放出版协会（OPA）。260页。(2012).
MSC公司：68-06 65年第68季度 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Faella｝（编辑）和\textit｛A.Murano｝（编辑），第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）（2012；Zbl 1392.68016）
全文： 内政部 arXiv公司 链接
法比奥·莫加韦罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。

是什么使亚特兰大*可判定的？战略逻辑的一个可决定的片段。 （英语） Zbl 1365.68329号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454193-208（2012）。
MSC公司：60年第68季度 03B25号 03B44号 第68季度85 68T27型 68T42型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}等人，Lect。注释计算。科学。7454，193--208（2012；Zbl 1365.68329）
全文： 内政部 arXiv公司
法比奥·莫加韦罗;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。

推理策略。 （英语） 兹比尔1245.68138

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8133-144，仅电子版（2010年）。
MSC公司：60年第68季度 2010年第68季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}等人，LIPIcs——莱布尼茨国际程序。通知。8133-144（2010年；Zbl 1245.68138）
全文： 内政部 链接
法比奥·莫加韦罗;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。

交替时间逻辑中的相关战略推理。 （英语） Zbl 1310.68144号

Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，371-386（2010）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛F.Mogavero｝等人，Lect。注释计算。科学。6355371--386（2010年；Zbl 1310.68144）
全文： 内政部 链接
亚历山德罗·比安科;法比奥·莫加韦罗;阿尼埃洛·穆拉诺

带有二进制编码的分级计算树逻辑。 （英语） Zbl 1287.68102号

Dawar，Anuj（编辑）等人，《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会，EACSL第19届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247125-139（2010）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Bianco}等人，Lect。注释计算。科学。6247125-139（2010年；Zbl 1287.68102）
全文： 内政部
本杰明·阿米诺夫;奥尔纳·库普弗曼;阿尼埃洛·穆拉诺

改进了分层系统的模型检查。 （英语） Zbl 1273.68217号

Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，VMCAI 2010，马德里，西班牙，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。计算机科学课堂讲稿594461-77（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Aminof}等人，Lect。注释计算。科学。5944、61--77（2010年；Zbl 1273.68217）
全文： 内政部
法比奥·莫加韦罗;阿尼埃洛·穆拉诺

带有最小模型量词的分支时间时序逻辑。 （英语） Zbl 1247.03026号

Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。计算机科学课堂讲稿5583，396-409（2009）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}和\textit{A.Murano}，Lect。注释计算。科学。5583、396--409（2009年；Zbl 1247.03026）
全文： 内政部
阿尼埃洛·穆拉诺;那不勒斯，玛格丽塔;帕伦特，米姆

分层模块检查中的程序复杂性。 （英语） Zbl 1182.68124号

Cervesato，Iliano（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。计算机科学课堂讲稿5330。人工智能课堂讲稿，318-332（2008）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Murano}等人，Lect。注释计算。科学。5330318--332（2008年；Zbl 1182.68124）
全文： 内政部
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。

用不完善的信息检查下推模块。 （英语） Zbl 1151.68468号

Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，460-475（2007）。
MSC公司：60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{B.Aminof}等人，Lect。注释计算。科学。4703460-475（2007年；Zbl 1151.68468）
全文： 内政部
亚历山德罗·费兰特;阿尼埃洛·穆拉诺;帕伦特，米姆

丰富的\（\mu\）-演算下推模块检查。 （英语） 兹比尔1137.68434

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学讲义4790。人工智能课堂讲稿，438-453（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrante}等人，Lect。注释计算。科学。4790438--453（2007年；Zbl 1137.68434）
全文： 内政部
亚历山德罗·费兰特;阿尼埃洛·穆拉诺

丰富的\（\mu\）-计算模块检查。 （英语） Zbl 1195.68066号

Seidl，Helmut（编辑），《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。计算机科学课堂讲稿4423183-197（2007）。
MSC公司：60年第68季度 2017年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrante}和\textit{A.Murano}，莱克特。注释计算。科学。4423，183--197（2007；Zbl 1195.68066）
全文： 内政部
皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。

富集计算的复杂性。 （英语） Zbl 1133.68374号

Bugliesi，Michele（编辑）等人，《自动化，语言和编程》。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。计算机科学课堂讲稿4052，540-551（2006）。
MSC公司：60年第68季度 03B45号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.A.Bonatti｝等人，Lect。注释计算。科学。4052540-551（2006年；Zbl 1133.68374）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆

按下模块检查。 （英语） Zbl 1143.68446号

Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835，504-518（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。3835、504--518（2005年；Zbl 1143.68446）
全文： 内政部 链接
萨尔瓦多拉托雷;阿尼埃洛·穆拉诺;那不勒斯，玛格丽塔

树自动机的弱Muller接受条件。 （英语） Zbl 1057.68049号

Cortesi，Agostino（编辑），验证、模型检查和抽象解释。第三届国际研讨会，VMCAI 2002，意大利威尼斯，2002年1月21日至22日。修订论文。柏林：施普林格出版社（ISBN 3-540-43631-6）。莱克特。注释计算。科学。2294, 240-254 (2002).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.La Torre}等人，Lect。注释计算。科学。2294240-254（2002年；Zbl 1057.68049）
全文： 链接
马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺

时间博弈的自动机理论决策。 （英语） Zbl 1057.68057号

Cortesi，Agostino（编辑），《验证、模型检查和抽象解释》。第三届国际研讨会，VMCAI 2002，意大利威尼斯，2002年1月21日至22日。修订论文。柏林：施普林格出版社（ISBN 3-540-43631-6）。莱克特。注释计算。科学。2294, 94-108 (2002).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Faella}等人，Lect。注释计算。科学。2294194-108（2002年；兹比尔1057.68057）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件