Contributions to the structure of computer arithmetic. - Dalcidio Moraes Claudio (Computing, 1980)

A two-sided method for nonlinear equations with cubic convergence. - Dalcidio Moraes Claudio; Paulo Ricardo de Ávila Zingano (RITA, 1989)

Um algoritmo algébrico para isolar zeros de polinômios. - Dalcidio Moraes Claudio; Maria Angelica Camargo; Vilmar Trevisan (RITA, 1995)

Inclusion methods for real and complex functions in one variable. - Dalcidio Moraes Claudio; Siegfried M. Rump (RITA, 1995)

Errors in vector processing and the library libavi.a. - Tiarajú Asmuz Diverio; Ursula A. L. Fernandes; Dalcidio Moraes Claudio (Reliab. Comput., 1996)

Computational arithmetic: an updated view. - Tiarajú Asmuz Diverio; Dalcidio Moraes Claudio (RITA, 1996)

High performance with high accuracy laboratory. - Tiarajú Asmuz Diverio; Philippe Olivier Alexandre Navaux; Dalcidio Moraes Claudio; Carlos Amaral Hölbig; Ursula A. L. Fernandes; R. L. Sagula (RITA, 1996)

An Interval fixed-point theorem. - Paulo W. de Oliveira; Dalcidio Moraes Claudio (RITA, 1996)

Modelling the Measurement Uncertainty by Intervals. - Fabiana Zamora Wilke; Beatriz Regina Tavares Franciosi; Paulo Werlang Oliveira; Dalcidio Moraes Claudio (J. Univers. Comput. Sci., 1998)

A Coherence Space of Rational Intervals for a Construction of IR. - Graçaliz Pereira Dimuro; Antônio Carlos da Rocha Costa; Dalcidio Moraes Claudio (Reliab. Comput., 2000)

Optimization Problems Categories. - Liara Aparecida dos Santos Leal; Paulo Blauth Menezes; Dalcidio Moraes Claudio; Laira Vieira Toscani (EUROCAST, 2001)

Teaching of Discrete Mathematics. - Simone C. Mendes; Tiarajú Asmuz Diverio; Dalcidio Moraes Claudio (WCCE, 2001)

A Categorical Approach to NP-Hard Optimization Problems. - Liara Aparecida dos Santos Leal; Dalcidio Moraes Claudio; Laira Vieira Toscani; Paulo Blauth Menezes (EUROCAST, 2003)

On the Approximation of Centered Zonotopes in the Plane. - Svetoslav Markov; Dalcidio Moraes Claudio (LSSC, 2003)

Approximation Problems Categories. - Liara Aparecida dos Santos Leal; Dalcidio Moraes Claudio; Laira Vieira Toscani; Paulo Blauth Menezes (EUROCAST, 2005)

Solving Real Life Applications With High Accuracy. - Carlos Amaral Hölbig; Paulo Sergio Morandi Jr.; Dalcidio Moraes Claudio; Tiarajú Asmuz Diverio (PARCO, 2005)

Optimizing a Parallel Self-verified Method for Solving Linear Systems. - Mariana Luderitz Kolberg; Lucas Baldo; Pedro Velho; Luiz Gustavo Fernandes; Dalcidio Moraes Claudio (PARA, 2006)

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. - Mariana Luderitz Kolberg; Gerd Bohlender; Dalcidio Moraes Claudio (VECPAR, 2008)

Dense Linear System: A Parallel Self-verified Solver. - Mariana Luderitz Kolberg; Luiz Gustavo Fernandes; Dalcidio Moraes Claudio (Int. J. Parallel Program., 2008)