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.
- 13 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.Research output: Contribution to journal › Article › peer-review
-
A partial evaluation framework for order-sorted equational programs modulo axioms
Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.Research output: Contribution to journal › Article › peer-review
Open Access -
Generalized rewrite theories, coherence completion, and symbolic methods
Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100483.Research output: Contribution to journal › Article › peer-review
Open Access -
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, S., Sandur, A., Meseguer, J., Ölveczky, P. C. & Wang, Q., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 22-40 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Ground confluence of order-sorted conditional specifications modulo axioms
Durán, F., Meseguer, J. & Rocha, C., Feb 2020, In : Journal of Logical and Algebraic Methods in Programming. 111, 100513.Research output: Contribution to journal › Article › peer-review