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.
- 8 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
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method
Escobar, S. & Meseguer, J., Jan 1 2019, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Meseguer, J., Landwehr, C. E., Pavlovic, D. & Guttman, J. D. (eds.). Springer-Verlag, p. 15-38 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11565 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Irreducibility
Symbolic Analysis
Maude
Reachability Analysis
Equational Theory
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
Preface
Guttman, J., Landwehr, C., Meseguer, J. & Pavlovic, D., Jan 1 2019, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11565 LNCS, p. vii-ixResearch output: Contribution to journal › Editorial