里卡多·洛佩斯；维托尔·桑托斯·科斯塔；费尔南多·席尔瓦 设计和实施扩展的安道尔模式。 （英语） Zbl 1247.68045号 理论与实践。日志。程序。 12，第3期，319-360（2012）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lopes}等人，《理论与实践》。日志。程序。12，第3号，319--360（2012；Zbl 1247.68045） 全文： 内政部
安吉丽卡·基米格；巴特·德梅恩；吕克·德·雷德；维托尔·桑托斯·科斯塔；里卡多·罗查 概率逻辑程序设计语言ProbLog的实现。 （英语） Zbl 1220.68037号 理论与实践。日志。程序。 11，编号2-3，235-262（2011）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Kimmig}等人，《理论与实践》。日志。程序。11，编号2--3235-262（2011；Zbl 1220.68037） 全文： 内政部
维托尔·桑托斯·科斯塔；杜特拉，因斯；里卡多·罗查 线程和/或并行度统一。 （英语） Zbl 1209.68088号 理论与实践。日志。程序。 10，No.4-6，417-432（2010）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Costa}等人，《理论与实践》。日志。程序。10，编号4--6417--432（2010；Zbl 1209.68088） 全文： 内政部 arXiv公司
里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 在逻辑程序中应用或并行和表。 （英语） Zbl 1093.68021号 理论与实践。日志。程序。 5，第1-2号，161-205（2005）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Rocha}等人，《理论与实践》。日志。程序。5，编号1--2，161-205（2005；Zbl 1093.68021） 全文： 内政部
里卡多·洛佩斯；维托尔·桑托斯·科斯塔；费尔南多·席尔瓦 关于扩展安道尔模型中的确定性计算。 （英语） Zbl 1204.68058号 Palamidessi，Catuscia（编辑），《逻辑编程》。第19届国际会议，ICLP 2003，印度孟买，2003年12月9日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20642-6/pbk）。莱克特。注释计算。科学。2916, 407-421 (2003).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lopes}等人，Lect。注释计算。科学。2916、407--421（2003年；Zbl 1204.68058） 全文： 内政部
维托尔·桑托斯·科斯塔（编辑）；恩里科·蓬泰利（编辑）；戈帕尔·古普塔（编辑） （约束）逻辑编程语言的并行性和实现技术研讨会。精选论文特刊。 （英语） Zbl 0921.00027号 J.功能。日志。程序。 1999年，规范发行。1，6篇论文（1999）.MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{V.Santos-Costa}（编辑）等，J.Funct。日志。程序。1999年，6篇论文（1999；Zbl 0921.00027）