Javier Espert
Titel
Zitiert von
Zitiert von
Jahr
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
392014
Backward trace slicing for rewriting logic theories
M Alpuente, D Ballis, J Espert, D Romero
International Conference on Automated Deduction, 34-48, 2011
282011
Model-Checking Web Applications with Web-TLR
M Alpuente, D Ballis, J Espert, D Romero
International Symposium on Automated Technology for Verification and …, 2010
242010
Debugging of Web applications with WEB-TLR
M Alpuente, D Ballis, J Espert, F Frechina, D Romero
arXiv preprint arXiv:1108.2358, 2011
112011
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
102014
Dynamic backward slicing of rewriting logic computations
M Alpuente, D Ballis, J Espert, D Romero
arXiv preprint arXiv:1105.2665, 2011
52011
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)
M Alpuente, S Escobar, J Espert, J Meseguer
12014
Detecting Modular ACU Structural Symmetries
MASEJ Espert
2013
ACUOS: A System for Order-Sorted Modular ACU Generalization
J Espert Real
2013
Verificación de aplicaciones web dinámicas con Web-TLR
J Espert Real
2011
Backward Trace Slicing for Rewriting Logic Theories-Technical report
M Alpuente Frasnedo, D Ballis, J Espert, D Romero
2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11