Bruno Dutertre

Artificial Intelligence · 2006–2014

A researcher in the Science corpus: 4 papers; trusts 11 researchers and is trusted by 21 researchers here, as inferred from the citation graph.

Subfields

Whom Bruno Dutertre trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. David Detlefs
  2. Alexander Schrijver
  3. Clark W. Barrett
  4. Greg Nelson
  5. Leonardo de Moura
  6. Aaron R. Bradley
  7. Matthew W. Moskewicz
  8. J. Saxe
  9. Zohar Manna
  10. Cesare Tinelli

Who trusts Bruno Dutertre overall

  1. Tim King
  2. Rüdiger Ehlers
  3. Clark W. Barrett
  4. Leonardo de Moura
  5. Wilfried Steiner
  6. Alexey Ignatiev
  7. Vijay Ganesh
  8. Yue Jia
  9. Bernd Finkbeiner
  10. Jacob Burnim

Papers from Bruno Dutertre's perspective

Ordered by how strongly the researchers Bruno Dutertre trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  4. Theory of linear and integer programming
  5. What's Decidable About Arrays? (International Conference on Verification, Model Checking and Abstract Interpretation)
  6. A sense of self for Unix processes
  7. Adaptive, Model-Based Monitoring for Cyber Attack Detection (International Symposium on Recent Advances in Intrusion Detection)
  8. GRASP: A Search Algorithm for Propositional Satisfiability
  9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. The Art of Computer Programming: Volume 3: Sorting and Searching

Their papers