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
-
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 proceeding › Conference contribution
Open Access -
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification
Meseguer, J., Mar 2025, In: Journal of Logical and Algebraic Methods in Programming. 144, 101036.Research output: Contribution to journal › Article › peer-review
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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution