Mixed Integer Linear Programming Models to Solve the Shisen-Sho Puzzle. - Renan Spencer Trindade; Guilherme Dhein; Felipe Martins Müller; Olinto César Bassi de Araújo (WEIT, 2011)

Modelling and symmetry breaking in scheduling problems on batch processing machines. - Renan Spencer Trindade; Olinto César Bassi de Araújo; Marcia Helena Costa Fampa; Felipe Martins Müller (Int. J. Prod. Res., 2018)

Arc-Flow Approach for Parallel Batch Processing Machine Scheduling with Non-identical Job Sizes. - Renan Spencer Trindade; Olinto C. B. de Araújo; Marcia Fampa (ISCO, 2020)

Arc-flow approach for single batch-processing machine scheduling. - Renan Spencer Trindade; Olinto César Bassi de Araújo; Marcia Fampa (Comput. Oper. Res., 2021)

Decomposition and shortest path problem formulation for solving the hydro unit commitment and scheduling in a hydro valley. - Wim van Ackooij; Claudia D'Ambrosio; Dimitri Thomopulos; Renan Spencer Trindade (Eur. J. Oper. Res., 2021)

A Comparison of Formulations for Aircraft Deconfliction. - Renan Spencer Trindade; Claudia D'Ambrosio (NUMTA (1), 2023)

Comparing perspective reformulations for piecewise-convex optimization. - Renan Spencer Trindade; Claudia D'Ambrosio; Antonio Frangioni; Claudio Gentile (Oper. Res. Lett., 2023)