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
  • Capturing System Designs with Formal Executable Specifications

    Meseguer, J., 2025, Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Boronat, A. & Fraser, G. (eds.). Springer, p. 1-32 32 p. (Lecture Notes in Computer Science; vol. 15693 LNCS).

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

    Open Access
  • Open Access
  • Equivalence, and Property Internalization and Preservation for Equational Programs

    Meseguer, J., 2024, Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers. Ogata, K. & Martí-Oliet, N. (eds.). Springer, p. 62-83 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14953 LNCS).

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

  • NuITP: An Inductive Theorem Prover for Equational Program Verification

    Durán, F., Escobar, S., Meseguer, J. & Sapiña, J., Sep 9 2024, Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Co-located with the 26th International Symposium on Formal Methods. Association for Computing Machinery, 4. (ACM International Conference Proceeding Series).

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

  • Programming Open Distributed Systems in Maude

    Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R. & Talcott, C., Sep 9 2024, Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Co-located with the 26th International Symposium on Formal Methods. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

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

  • ACM Fellow

    Meseguer, J. (Recipient), 2020

    Prize: Member/Fellow

  • FME Fellowship

    Meseguer, J. (Recipient), 2019

    Prize: Prize/Award