马里奥·阿尔维姆。;贝尔纳多·阿莫林;索菲亚·奈特;圣地亚哥金特罗;弗兰克·巴伦西亚 社交网络中确认偏差下的极化形式模型。 （英语） Zbl 07667091号 日志。计算方法。科学。 19，第1号，第18号论文，38页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Alvim}等人，日志。计算方法。科学。19，第1号，第18号论文，38页（2023；Zbl 07667091） 全文： 内政部 arXiv公司
圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 格中联合同构的计数和计算。 （英语） Zbl 07578346号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12062253-269（2020年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Quintero}等人，Lect。票据计算。科学。12062，253--269（2020；Zbl 07578346） 全文： 内政部 哈尔
莫雷诺，法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 并发约束语言的动态切片。 （英语） Zbl 1497.68098号 芬丹。通知。 177，编号3-4，331-357（2020）.MSC公司：第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，Fundam。通知。177，编号3--4，331--357（2020；Zbl 1497.68098） 全文： 内政部 arXiv公司
米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 关于具有无限多代理的组的分布式知识的推理。 （英语） Zbl 07649937号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第29条，第15页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Guzmán}等人，LIPIcs--Leibniz Int.Proc。通知。140，第29条，第15页（2019；Zbl 07649937） 全文： 内政部
弗兰克·巴伦西亚 空间分布多智能体系统的语义结构。 （英语） Zbl 07449993号 Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300，39-53（2019）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Valencia}，电子。程序。西奥。计算。科学。（EPTCS）300，39-53（2019；Zbl 07449993） 全文： arXiv公司 链接
贝内维特斯，马里奥·R·F·。;亚历山大·马德拉;马丁斯（Manuel A.Martins）。 一个等级认知逻辑家族。 （英语） Zbl 1433.68416号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 45-59 (2018).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}等人，《电子》。注释Theor。计算。科学。338、45-59（2018年；Zbl 1433.68416） 全文： 内政部
米歇尔·古兹曼;珀西，萨利姆;卡米洛·鲁埃达;弗兰克·巴伦西亚。 描述空间约束系统右逆的特征及其在模态逻辑中的应用。 （英语） 兹比尔1400.68134 西奥。计算。科学。 744, 56-77 (2018).MSC公司：68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Guzmán}等人，Theor。计算。科学。744，56-77（2018；Zbl 1400.68134） 全文： 内政部 哈尔
米歇尔·古兹曼;弗兰克·巴伦西亚。 关于空间约束系统的表达性。 （英语） Zbl 1428.68285号 Carro，Manuel（编辑）等人，第32届逻辑编程国际会议的技术交流，ICLP 2016，2016年10月16日至21日，美国纽约。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第16条，第12页（2016年）。MSC公司：68T27型 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Guzmán}和\textit{F.D.Valencia}，OASIcs--OpenAccess服务器。通知。52，第16条，第12页（2016年；Zbl 1428.68285） 全文： 内政部