If you made any changes in Pure these will be visible here soon.

Fingerprint

Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • An Efficient Canonical Narrowing Implementation for Protocol Analysis

    López-Rueda, R., Escobar, S. & Meseguer, J., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer, p. 151-170 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Checking Sufficient Completeness by Inductive Theorem Proving

    Meseguer, J., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer, p. 171-190 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

    Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R. & Talcott, C., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, p. 529-540 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • On Ground Convergence and Completeness of Conditional Equational Program Hierarchies

    Meseguer, J. & Skeirik, S., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer, p. 191-211 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Order-sorted equational generalization algorithm revisited

    Alpuente, M., Escobar, S., Meseguer, J. & Sapiña, J., May 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 5, p. 499-522 24 p.

    Research output: Contribution to journalArticlepeer-review