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） 全文： 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 （英语） 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） 全文： 内政部
莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 时间并发约束程序的抽象解释。 （英语） Zbl 1379.68060号 理论与实践。日志。程序。 15，第3期，312-357（2015）.MSC公司：68N17号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，《理论与实践》。日志。程序。15，第3号，312--357（2015；Zbl 1379.68060） 全文： 内政部 arXiv公司
戴维·齐亚鲁吉;莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 信号通路的声明性观点。 （英语） Zbl 1443.92092号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 183-201 (2015).MSC公司：92C40型 92立方厘米 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{D.Chiarugi}等人，Lect。注释计算。科学。9465，183--201（2015；Zbl 1443.92092） 全文： 内政部
卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 （英语） Zbl 1317.90283号 约束条件 18，第4期，535-578（2013）.MSC公司：90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《约束18》，第4期，535--578（2013；Zbl 1317.90283） 全文： 内政部 哈尔