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
  • Protocol Dialects as Formal Patterns

    Galán, D., García, V., Escobar, S., Meadows, C. & Meseguer, J., 2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). Springer, p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14345 LNCS).

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

    Open Access
  • 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

    Open Access
  • 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
  • ACM Fellow

    Meseguer, Jose (Recipient), 2020

    Prize: Member/Fellow

  • FME Fellowship

    Meseguer, Jose (Recipient), 2019

    Prize: Prize/Award