pith. sign in

Radu Grigore

Identifiers

  • name variant Radu Grigore 0.60 · backfill

Papers (14)

  1. PrideMM: A Solver for Relaxed Memory Models cs.LO · 2018 · author #4
  2. Selective Monitoring cs.FL · 2018 · author #1
  3. On the Quest for an Acyclic Graph cs.LO · 2017 · author #2
  4. Java Generics are Turing Complete cs.PL · 2016 · author #1
  5. Abstraction Refinement Guided by a Learnt Probabilistic Model cs.PL · 2015 · author #1
  6. Tree Buffers cs.DS · 2015 · author #1
  7. Proving the Herman-Protocol Conjecture cs.DS · 2015 · author #2
  8. On QBF Proofs and Preprocessing cs.LO · 2013 · author #2
  9. Runtime Verification Based on Register Automata cs.FL · 2012 · author #1
  10. The Design and Algorithms of a Verification Condition Generator cs.SE · 2012 · author #1
  11. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription cs.AI · 2010 · author #3
  12. How to Complete an Interactive Configuration Process? cs.SE · 2009 · author #3
  13. Algorithms for finding dispensable variables cs.DS · 2009 · author #3
  14. Edit and verify cs.LO · 2007 · author #1

Mentions

  • 1310.2491 #2 · backfill · confidence 0.70 Radu Grigore
  • 1209.5325 #1 · backfill · confidence 0.70 Radu Grigore
  • 1204.6719 #1 · backfill · confidence 0.70 Radu Grigore
  • 1006.5896 #3 · backfill · confidence 0.70 Radu Grigore
  • 0910.3913 #3 · backfill · confidence 0.70 Radu Grigore
  • 0910.0013 #3 · backfill · confidence 0.70 Radu Grigore
  • 0708.0713 #1 · backfill · confidence 0.70 Radu Grigore

Frequent Coauthors