Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Synthesizing Predicates from Abstract Domain Losses. | 1 | 0.38 | 2014 |
| The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. | 1 | 0.36 | 2013 |
| Widening as Abstract Domain. | 2 | 0.36 | 2013 |
| Precise Static Analysis of Binaries by Extracting Relational Information | 16 | 0.70 | 2011 |
| Modelling the magnetic signature of neuronal tissue. | 7 | 0.61 | 2007 |