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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Building Correct-by-Construction Systems with Formal Patterns

    Meseguer, J., 2023, Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Revised Selected Papers. Madeira, A. & Martins, M. A. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13710 LNCS).

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

  • Optimizing Maude Programs via Program Specialization

    Alpuente, M., Ballis, D., Escobar, S., Meseguer, J. & Sapiña, J., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 21-50 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13160 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Strand Spaces with Choice via a Process Algebra Semantics

    Yang, F., Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 307-350 44 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13160 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The Maude strategy language

    Eker, S., Martí-Oliet, N., Meseguer, J., Rubio, R. & Verdejo, A., Aug 2023, In: Journal of Logical and Algebraic Methods in Programming. 134, 100887.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Variants and satisfiability in the infinitary unification wonderland

    Meseguer, J., Aug 2023, In: Journal of Logical and Algebraic Methods in Programming. 134, 100877.

    Research output: Contribution to journalArticlepeer-review