BibTeX records: Diego Caminha Barbosa De Oliveira

download as .bib file

@article{DBLP:journals/cse/HumphreyMBORG14,
  author    = {Alan Humphrey and
               Qingyu Meng and
               Martin Berzins and
               Diego Caminha Barbosa De Oliveira and
               Zvonimir Rakamaric and
               Ganesh Gopalakrishnan},
  title     = {Systematic Debugging Methods for Large-Scale {HPC} Computational Frameworks},
  journal   = {Comput. Sci. Eng.},
  volume    = {16},
  number    = {3},
  pages     = {48--56},
  year      = {2014},
  url       = {https://doi.org/10.1109/MCSE.2014.11},
  doi       = {10.1109/MCSE.2014.11},
  timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cse/HumphreyMBORG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/OliveiraRGHMB14,
  author    = {Diego Caminha Barbosa De Oliveira and
               Zvonimir Rakamaric and
               Ganesh Gopalakrishnan and
               Alan Humphrey and
               Qingyu Meng and
               Martin Berzins},
  editor    = {James C. Brodman and
               Peng Tu},
  title     = {Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace
               Graphs},
  booktitle = {Languages and Compilers for Parallel Computing - 27th International
               Workshop, {LCPC} 2014, Hillsboro, OR, USA, September 15-17, 2014,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8967},
  pages     = {317--331},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17473-0\_21},
  doi       = {10.1007/978-3-319-17473-0\_21},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/lcpc/OliveiraRGHMB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OliveiraRGHMB13,
  author    = {Diego Caminha Barbosa De Oliveira and
               Zvonimir Rakamaric and
               Ganesh Gopalakrishnan and
               Alan Humphrey and
               Qingyu Meng and
               Martin Berzins},
  editor    = {Jeffrey C. Carver},
  title     = {Practical formal correctness checking of million-core problem solving
               environments for {HPC}},
  booktitle = {Proceedings of the 5th International Workshop on Software Engineering
               for Computational Science and Engineering, {SE-CSE} 2013, San Francisco,
               California, USA, May 18, 2013},
  pages     = {75--83},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/SECSE.2013.6615102},
  doi       = {10.1109/SECSE.2013.6615102},
  timestamp = {Fri, 03 Jul 2020 08:57:24 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/OliveiraRGHMB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OliveiraDF12,
  author    = {Diego Caminha Barbosa De Oliveira and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  title     = {Combining decision procedures by (model-)equality propagation},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {4},
  pages     = {518--532},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2010.04.003},
  doi       = {10.1016/j.scico.2010.04.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/OliveiraDF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OliveiraM12,
  author    = {Diego Caminha Barbosa De Oliveira and
               David Monniaux},
  editor    = {Pascal Fontaine and
               Renate A. Schmidt and
               Stephan Schulz},
  title     = {Experiments on the feasibility of using a floating-point simplex in
               an {SMT} solver},
  booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
               Manchester, UK, June 30 - July 1, 2012},
  series    = {EPiC Series in Computing},
  volume    = {21},
  pages     = {19--28},
  publisher = {EasyChair},
  year      = {2012},
  url       = {https://easychair.org/publications/paper/NqS},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/OliveiraM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/CaminhaBarbosaDeOliveira11,
  author    = {Diego Caminha Barbosa De Oliveira},
  title     = {Fragments de l'arithm{\'{e}}tique dans une combinaison de proc{\'{e}}dures
               de d{\'{e}}cision. (Fragments of arithmetic in a combination
               of decision procedures)},
  school    = {Nancy 2 University, France},
  year      = {2011},
  url       = {https://tel.archives-ouvertes.fr/tel-00578254},
  timestamp = {Mon, 11 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/CaminhaBarbosaDeOliveira11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonCDF10,
  author    = {Thomas Bouton and
               Diego Caminha and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  editor    = {Renate A. Schmidt and
               Stephan Schulz and
               Boris Konev},
  title     = {GridTPT: a distributed platform for Theorem Prover Testing},
  booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
               Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {33--39},
  publisher = {EasyChair},
  year      = {2010},
  url       = {https://easychair.org/publications/paper/p},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BoutonCDF10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/OliveiraDF09,
  author    = {Diego Caminha Barbosa De Oliveira and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  title     = {Combining Decision Procedures by (Model-)Equality Propagation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {240},
  pages     = {113--128},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.05.048},
  doi       = {10.1016/j.entcs.2009.05.048},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/OliveiraDF09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonODF09,
  author    = {Thomas Bouton and
               Diego Caminha Barbosa De Oliveira and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  editor    = {Renate A. Schmidt},
  title     = {veriT: An Open, Trustable and Efficient SMT-Solver},
  booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5663},
  pages     = {151--156},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2\_12},
  doi       = {10.1007/978-3-642-02959-2\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BoutonODF09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics