Santiago
Escobar Román
Publicaciones en las que colabora con Santiago Escobar Román (8)
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)
-
Parallel Maude-NPA for Cryptographic Protocol Analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 110
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)
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)
2015
-
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)