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
-
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
-
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 proceeding › Conference contribution