Publications
Table of contents
Grouped by research line. Co-authors who are or were our students are shown in bold. Profiles: Google Scholar, ResearchGate, DBLP.
SAT & Pseudo-Boolean
- G. Tiveron, B. C. Ribas. A Pseudo-Boolean Formulation for Graph Database Queries. FLAIRS, 2026. DOI, supplementary material.
- B. C. Ribas, M. A. Castilho, F. Silva, R. M. Suguimoto, R. A. N. R. Montaño. PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation. BRACIS, 2013. DOI, preprint.
- B. C. Ribas, R. M. Suguimoto, R. A. N. R. Montaño, F. Silva, L. C. E. de Bona, M. A. Castilho. On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. IBERAMIA, 2012. DOI, preprint.
- R. Tavares de Oliveira, F. Silva, B. C. Ribas, M. A. Castilho. On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. IBERAMIA, 2012. DBLP.
Automated Planning
- B. C. Ribas, I. e S. Penha, L. G. Bergholz, B. C. Ribeiro. Mojified Pacman: A Deterministic and Fully Observable Variant for PDDL Modeling Competitions. KEPS workshop, ICAPS, 2025. PDF.
- B. C. Ribeiro, I. e S. Penha, B. C. Ribas. bni: A PDDL to C compiler with integrated REPL for interactive testing. ENIAC, 2025. DOI.
- R. A. N. R. Montaño, B. C. Ribas. Planning as Mixed-Horn Formulas Satisfiability. ENIAC, 2017. ResearchGate.
CD-MOJ & Competitive Programming
- D. A. da Silva Santos, B. C. Ribas. Maratona Linux: a tale of upgrading from Ubuntu 20.04 to 22.04. arXiv, 2025. arXiv:2510.15263, code.
- L. G. Caldas, B. C. Ribas. Multi-Queue Scheduler for the CD-MOJ Platform. ERAD-CO, 2024. DOI.
- B. C. Ribas, W. B. Morais. Maratona-Linux: um ambiente para a Maratona de Programação. Computer on the Beach, 2019. ResearchGate, code.
Applied AI & Optimization
- M. A. de Souza Filho, B. C. Ribas. LGPD Benchmark: A Legal Text Corpus for Evaluating Personal Data Pseudonymization in Brazilian Portuguese. Preprint, Research Square, 2025. DOI.
- M. A. de Souza Filho, B. C. Ribas. Pseudonymization in Legal Texts According to the LGPD: A Named Entity Recognition Approach. BRACIS, 2024. DBLP.
- J. P. Martins, B. C. Ribas. A randomized heuristic repair for the multidimensional knapsack problem. Optimization Letters, 2021. DOI.
Earlier work (UFPR: logic, free software and grid computing)
- B. C. Ribas, F. Silva. Representação de Conhecimento Usando Fórmulas Lógicas Proposicionais em NNF. EVINCI, 2006.
- B. C. Ribas, L. C. E. de Bona, M. A. Castilho, F. Silva, M. S. Sunyé, D. Weingaertner. Managing a Grid of Computer Laboratories for Educational Purposes. LAGrid, 2008.
- B. C. Ribas, J. Souza. Acesso de mídias removíveis em terminais thin client sem disco. FISL, 2008.
- B. C. Ribas, D. G. Pasqualin, V. K. Ruoso, F. Silva, M. A. Castilho, L. C. E. de Bona. SDI: Sistema de Diagnóstico Instantâneo. Workshop de Software Livre, 2009.