莫雷诺，法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 并发约束语言的动态切片。 （英语） 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） 全文： DOI程序 arXiv公司
琳达·布罗多;卡洛斯·奥拉特 用于多方交互的基于约束的语言。 （英语） Zbl 07313964号 Nalon，Cláudia（编辑）等人，《逻辑和语义框架及其应用第15届国际研讨会论文集》，LSFA 2020，虚拟研讨会，2020年8月27日至28日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。351, 25-50 (2020).MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}和\textit{C.Olarte}，电子。理论注释。计算。科学。351、25-50（2020；Zbl 07313964） 全文： DOI程序
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 访问权限的并发约束编程解释。 （英语） Zbl 1478.68056号 理论实践。日志。程序。 18，第2期，252-295（2018）.MSC公司：68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《理论与实践》。日志。程序。18，第2号，252--295（2018；Zbl 1478.68056） 全文： DOI程序 arXiv公司
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并行系统中的次指数、聚焦和模式。 （英语） Zbl 1373.68298号 西奥。计算。科学。 693, 35-58 (2017).MSC公司：68问题85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人，Theor。计算。科学。693、35-58（2017年；Zbl 1373.68298） 全文： DOI程序
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 （英语） Zbl 1371.68197号 西奥。计算。科学。 685, 46-64 (2017).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel}，Theor。计算。科学。685、46-64（2017年；Zbl 1371.68197） 全文： DOI程序
莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 时间并发约束程序的抽象解释。 （英语） Zbl 1379.68060号 理论实践。日志。程序。 15，第3期，312-357（2015）.MSC公司：第68页第17页 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，《理论与实践》。日志。程序。15，第3号，312--357（2015；Zbl 1379.68060） 全文： DOI程序 arXiv公司
卡洛斯·奥拉特;伊莱恩·皮门特尔 再次验证并发约束编程的正确性。 （英语） Zbl 1342.68238号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312179-195，仅电子版（2015）。MSC公司：68问题85 03B70号 03楼52 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel}，电子。理论注释。计算。科学。312179-195（2015；Zbl 1342.68238） 全文： DOI程序
詹姆·阿里亚斯;米歇尔·古兹曼;卡洛斯·奥拉特 时间并发约束编程的符号模型。 （英语） Zbl 1342.68222号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312161-177，仅电子版（2015）。MSC公司：68问题85 03B44号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人，《电子》。理论注释。计算。科学。312161-177（2015；Zbl 1342.68222） 全文： DOI程序
戴维·齐亚鲁吉;莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 信号通路的声明性观点。 （英语） Zbl 1443.92092号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9465, 183-201 (2015).MSC公司：92C40型 第92页第42页 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{D.Chiarugi}等人，Lect。注释计算。科学。9465，183--201（2015；Zbl 1443.92092） 全文： DOI程序
卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 次指数并发约束编程。 （英语） Zbl 1332.68027号 西奥。计算。科学。 606, 98-120 (2015).MSC公司：68甲19 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。60698--120（2015；Zbl 1332.68027） 全文： DOI程序
卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔 并发约束编程中的动态空间。 （英语） Zbl 1335.68180号 Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305，103-121，仅电子版（2014）。MSC公司：68问题85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《电子》。理论注释。计算。科学。305、103-121（2014年；Zbl 1335.68180） 全文： DOI程序
伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生 软并发约束规划的证明理论研究。 （英语） Zbl 1309.68034号 理论实践。日志。程序。 14，No.4-5，649-663（2014）.MSC公司：第68页第17页 03B70号 68甲19 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Pimentel}等人，《理论与实践》。日志。程序。14、编号4--5、649--663（2014；Zbl 1309.68034） 全文： DOI程序 arXiv公司