| A modular order-sorted equational generalization algorithm M Alpuente, S Escobar, J Espert, J Meseguer Information and Computation 235, 98-136, 2014 | 60 | 2014 |
| Backward trace slicing for rewriting logic theories M Alpuente, D Ballis, J Espert, D Romero Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011 | 27 | 2011 |
| Model-Checking Web Applications with Web-TLR M Alpuente, D Ballis, J Espert, D Romero International Symposium on Automated Technology for Verification and …, 2010 | 22 | 2010 |
| ACUOS: A system for modular ACU generalization with subtyping and inheritance M Alpuente, S Escobar, J Espert, J Meseguer European Workshop on Logics in Artificial Intelligence, 573-581, 2014 | 12 | 2014 |
| Debugging of Web applications with WEB-TLR M Alpuente, D Ballis, J Espert, F Frechina, D Romero arXiv preprint arXiv:1108.2358, 2011 | 9 | 2011 |
| Dynamic backward slicing of rewriting logic computations M Alpuente, D Ballis, J Espert, D Romero arXiv preprint arXiv:1105.2665, 2011 | 5 | 2011 |
| ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version) M Alpuente, S Escobar, J Espert, J Meseguer Universitat Politècnica de València, 2014 | 1 | 2014 |
| Detecting Modular ACU Structural Symmetries MASEJ Espert | | 2013 |
| ACUOS: A System for Order-Sorted Modular ACU Generalization J Espert Real Universitat Politècnica de València, 2013 | | 2013 |
| Verificación de aplicaciones web dinámicas con Web-TLR J Espert Real Universitat Politècnica de València, 2011 | | 2011 |
| Backward Trace Slicing for Rewriting Logic Theories-Technical report M Alpuente Frasnedo, D Ballis, J Espert, D Romero Universitat Politècnica de València, 2011 | | 2011 |
