Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Symbolic Execution Techniques Extended to Systems | 2 | 0.41 | 2009 |
| Structures for Abstract Rewriting | 2 | 0.37 | 2007 |
| An Abstract Way to Define Rewriting Logic | 0 | 0.34 | 2006 |
| Une approche générique de la réécriture. | 1 | 0.36 | 2003 |
| On a Generalised Logicality Theorem | 5 | 0.42 | 2002 |