| Static analysis of pattern-free properties. | 0 | 0.34 | 2021 |
| Generic Encodings of Constructor Rewriting Systems. | 0 | 0.34 | 2019 |
| Faithful (meta-)encodings of programmable strategies into term rewriting systems. | 1 | 0.36 | 2017 |
| A faithful encoding of programmable strategies into term rewriting systems. | 1 | 0.36 | 2015 |
| Effective strategic programming for Java developers. | 2 | 0.36 | 2014 |
| Model transformations with Tom | 3 | 0.43 | 2012 |
| Island Grammar-Based Parsing Using GLL and Tom. | 2 | 0.36 | 2012 |
| Anti-patterns for rule-based languages | 2 | 0.41 | 2010 |
| The third rewrite engines competition | 4 | 0.45 | 2010 |
| Rewrite Based Specification of Access Control Policies | 3 | 0.38 | 2009 |
| TomML: A Rule Language for Structured Data | 3 | 0.40 | 2009 |
| The Second Rewrite Engines Competition | 1 | 0.36 | 2009 |
| Software quality improvement via pattern matching | 2 | 0.38 | 2008 |
| Term-Graph Rewriting Via Explicit Paths | 1 | 0.36 | 2008 |
| Towards an Efficient Implementation of Tree Automata Completion | 8 | 0.46 | 2008 |
| Anti-pattern Matching Modulo | 3 | 0.40 | 2008 |
| Rules and Strategies in Java | 1 | 0.36 | 2008 |
| Rewriting Strategies in Java | 5 | 0.43 | 2008 |
| Tom: piggybacking rewriting on java | 85 | 2.69 | 2007 |
| Bytecode Rewriting in Tom | 3 | 0.42 | 2007 |
| A simple generic library for c | 4 | 0.43 | 2006 |
| A C plus plus refactoring browser and method extraction | 0 | 0.34 | 2006 |
| Optimizing Pattern Matching Compilation by Program Transformation | 3 | 0.41 | 2006 |
| Formal validation of pattern matching code | 7 | 0.70 | 2006 |
| Rule-based Programming in Java For Protocol Verification | 2 | 0.42 | 2005 |
| A collection of C, C++ and Java code understanding and refactoring plugins | 3 | 0.40 | 2005 |
| Generator of efficient strongly typed abstract syntax trees in Java | 16 | 1.08 | 2005 |
| An Integrated Development Environment for Pattern Matching Programming | 4 | 0.43 | 2004 |
| GC2: a generational conservative garbage collector for the ATerm library | 3 | 0.36 | 2004 |
| A pattern matching compiler for multiple target languages | 54 | 2.07 | 2003 |
| Environments for term rewriting engines for free! | 7 | 0.77 | 2003 |
| ELAN from a rewriting logic point of view | 79 | 2.91 | 2002 |
| The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration | 0 | 0.34 | 2002 |
| Pattern-Matching Compiler | 0 | 0.34 | 2001 |
| Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories | 39 | 1.71 | 2001 |
| REM (Reduce Elan Machine): Core of the New ELAN Compiler | 2 | 0.38 | 2000 |
| A Choice-Point Library for Backtrack Programming | 6 | 1.00 | 1998 |
| Non-deterministic Computations in ELAN | 6 | 0.52 | 1998 |
| Handling ELAN rewrite programs via an exchange format | 4 | 0.77 | 1998 |
| An Overview of ELAN | 122 | 5.22 | 1998 |
| A Compiler for Rewrite Programs in Associative-Commutative Theories | 22 | 1.68 | 1998 |
| ELAN: A logical framework based on computational systems | 64 | 5.62 | 1996 |
| A reflective extension of ELAN | 6 | 1.06 | 1996 |
| Prototyping Completion with Constraints Using Computational Systems | 15 | 1.41 | 1995 |
