Informática
Faculty
SRI International
San José, EE. UU.Publications in collaboration with researchers from SRI International (33)
2023
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2022
-
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model
Advances in Intelligent Systems and Computing
2020
-
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 110
2019
-
Soft Set Theory for Decision Making in Computational Biology under Incomplete Information
IEEE Access, Vol. 7, pp. 18183-18193
2018
-
Associative unification and symbolic reasoning modulo associativity in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search
BioMed Research International, Vol. 2017
-
Reverse inference in symbolic systems biology
Advances in Intelligent Systems and Computing
2016
-
Built-in variant generation and unification, and their applications in Maude 2.7
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Role of nerve growth factor signaling in cancer cell proliferation and survival using a reachability analysis approach
Advances in Intelligent Systems and Computing
2015
-
Josè Meseguer: Scientist and friend extraordinaire
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Two decades of Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
Unification and narrowing in maude 2.4
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 11 SPEC. ISS., pp. 3-25
-
Higher-Order and Symbolic: Editorial
Higher-Order and Symbolic Computation
2005
-
AWeSOMe 2005 PC co-chairs' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003
-
The Maude 2.0 system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002
-
Maude: Specification and programming in rewriting logic
Theoretical Computer Science, Vol. 285, Núm. 2, pp. 187-243