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.
- 7 Similar Profiles
Maude
Mathematics
Rewriting Logic
Mathematics
Semantics
Engineering & Materials Science
Rewriting
Mathematics
Specifications
Engineering & Materials Science
Model checking
Engineering & Materials Science
Algebra
Engineering & Materials Science
Specification
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1975 2019
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer-Verlag, p. 171-181 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11468 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
High Performance
Artificial intelligence
Associativity
Computing
Multiset
Automatic analysis of consistency properties of distributed transaction systems in maude
Liu, S., Ölveczky, P. C., Zhang, M., Wang, Q. & Meseguer, J., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer-Verlag, p. 40-57 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
Maude
Model checking
Fault tolerance
Transactions
Scalability
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms
Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer-Verlag, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11408 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Associativity
Commutativity
Homeomorphic
Axioms
Modulo
A constructor-based reachability logic for rewrite theories
Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Springer-Verlag, p. 201-217 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Reachability
Semantics
Systems analysis
Acoustic waves
Logic
Associative unification and symbolic reasoning modulo associativity in maude
Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Maude
Associativity
Unification
Modulo
Reasoning