Research output per year
Research output per year
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 proceeding › Conference 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 proceeding › Chapter
-
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 proceeding › Chapter
-
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 journal › Article › peer-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 journal › Article › peer-review