| veriT: an open, trustable and efficient SMT-solver T Bouton, DCB De Oliveira, D Déharbe, P Fontaine Automated Deduction–CADE-22, 151-156, 2009 | 262 | 2009 |
| Experiments on the feasibility of using a floating-point simplex in an SMT solver DCB de Oliveira, D Monniaux PAAR-2012 Third Workshop on Practical Aspects of Automated Reasoning June 30 …, 2012 | 14 | 2012 |
| Combining decision procedures by (model-) equality propagation DCB De Oliveira, D Déharbe, P Fontaine Science of Computer Programming 77 (4), 518-532, 2012 | 8 | 2012 |
| Systematic Debugging of Concurrent Systems Using Coalesced Stack-Trace Graphs DCB de Oliveira, Z Rakamaric, G Gopalakrishnan, A Humphrey, Q Meng, ... International Workshop on Languages and Compilers for Parallel Computing, 2014 | 4 | 2014 |
| Practical Formal Correctness Checking of Million-Core Problem Solving Environments for HPC DCB de Oliveira, Z Rakamaric, G Gopalakrishnan, A Humphrey, Q Meng, ... International Workshop on Secure Software Engineering, 2013 | 2 | 2013 |
| Deciding difference logic in a Nelson-Oppen combination framework DCB de Oliveira Master’s thesis, Federal University of Rio Grande do Norte, Natal, Brazil, 2007 | 2 | 2007 |
| Fragments de l'arithmétique dans une combinaison de procédures de décision D Caminha Barbosa De Oliveira PhD thesis, University of Nancy, Nancy, France, 2011 | 1* | 2011 |
| GridTPT: a distributed platform for Theorem Prover Testing T Bouton, DCB De Oliveira, D Déharbe, P Fontaine 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), 2010 | 1 | 2010 |
| haRVey: satisfaisabilité et théories DCB De Oliveira, D Déharbe, P Fontaine Actes de la 8e conférence AFADL 1 (2), 287, 2007 | | 2007 |
