Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Monadic Decomposition in Integer Linear Arithmetic. | 0 | 0.34 | 2020 |
| Monadic Decomposition in Integer Linear Arithmetic. | 0 | 0.34 | 2020 |
| SL-COMP: Competition of Solvers for Separation Logic. | 0 | 0.34 | 2019 |
| On Injective Embeddings of Tree Patterns | 1 | 0.39 | 2012 |
| Verifying Recursive Active Documents with Positive Data Tree Rewriting | 4 | 0.41 | 2010 |