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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Order-sorted equational generalization algorithm revisited
Alpuente, M., Escobar, S., Meseguer, J. & Sapiña, J., May 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 5, p. 499-522 24 p.Research output: Contribution to journal › Article › peer-review
-
Preface
Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P., 2021, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13066 LNCS, p. v-viiiResearch output: Contribution to journal › Editorial › peer-review
-
Protocol Analysis with Time and Space
Aparicio-Sánchez, D., Escobar, S., Meadows, C., Meseguer, J. & Sapiña, J., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 22-49 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13066 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Symbolic Computation in Maude: Some Tapas
Meseguer, J., 2021, Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Proceedings. Fernández, M. (ed.). Springer, p. 3-36 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12561 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, S., Stefanescu, A. & Meseguer, J., 2020, In: Fundamenta Informaticae. 173, 4, p. 315-382 68 p.Research output: Contribution to journal › Article › peer-review