On the design of an expert help system for computer algebra systems. - Renato P. dos Santos; Waldir L. Roque (SIGSAM Bull., 1990)

Qualitative Reasoning, Dimensional Analysis and Computer Algebra. - Waldir L. Roque; Renato P. dos Santos (ISSAC, 1991)

Computer Algebra in Spacetime Embedding. - Waldir L. Roque; Renato P. dos Santos (J. Symb. Comput., 1991)

Learning Qualitative Physics Reasoning from Regime Analysis. - Waldir L. Roque (AISMC, 1992)

Qualitative Reasoning and Model-Based Diagnosis: foundations & applications. - Peter Struss; Waldir L. Roque (RITA, 1995)

Constructing Approximate Voronoi Diagrams from Digital Images of Generalized Polygons and Circular Objects. - Waldir L. Roque; Dionísio Doering (WSCG, 2003)

Trajectory planning for lab robots based on global vision and Voronoi roadmaps. - Waldir L. Roque; Dionísio Doering (Robotica, 2005)

Mechanical Competence of Bone: A New Parameter to Grade Trabecular Bone Fragility From Tortuosity and Elasticity. - Waldir L. Roque; Katia Arcaro; Angel Alberich-Bayarri (IEEE Trans. Biomed. Eng., 2013)

Automatic classification of hydrocarbon "leads" in seismic images through artificial and convolutional neural networks. - José Fabrício L. Souza; Moisés D. Santos; Rafael Marrocos Magalhães; E. M. Neto; Gustavo P. Oliveira; Waldir L. Roque (Comput. Geosci., 2019)