| Publication | Date of Publication | Type |
|---|
Formalization and analysis of the post-quantum signature scheme FALCON with Maude
Journal of Logical and Algebraic Methods in Programming | 2025-01-27 | Paper |
Symbolic Specialization of Rewriting Logic Theories with Presto
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Homeomorphic embedding modulo combinations of associativity and commutativity axioms
Lecture Notes in Computer Science | 2023-11-09 | Paper |
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
Optimizing Maude programs via program specialization
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
Associative unification and symbolic reasoning modulo associativity in Maude
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Variant-based equational anti-unification
Logic-Based Program Synthesis and Transformation | 2023-06-02 | Paper |
Safety enforcement via programmable strategies in Maude
Journal of Logical and Algebraic Methods in Programming | 2023-03-20 | Paper |
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA
1511.94044 | 2022-12-22 | Paper |
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
| 2022-12-07 | Paper |
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
| 2022-12-07 | Paper |
Protocol analysis with time and space
| 2022-07-13 | Paper |
Protocol analysis with time
| 2022-07-06 | Paper |
Order-sorted equational generalization algorithm revisited
Annals of Mathematics and Artificial Intelligence | 2022-05-04 | Paper |
scientific article; zbMATH DE number 7455704 (Why is no real title available?)
| 2022-01-11 | Paper |
scientific article; zbMATH DE number 7453112 (Why is no real title available?)
| 2022-01-06 | Paper |
Optimization of rewrite theories by equational partial evaluation
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms
Fundamenta Informaticae | 2021-05-20 | Paper |
Symbolic analysis of Maude theories with Narval
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method
| 2020-03-03 | Paper |
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
| 2020-02-18 | Paper |
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
A partial evaluation framework for order-sorted equational programs modulo axioms
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Partial evaluation of order-sorted equational programs modulo axioms
| 2017-10-13 | Paper |
Abstract logical model checking of infinite-state systems using narrowing
| 2017-02-01 | Paper |
Built-in variant generation and unification, and their applications in Maude 2.7
Automated Reasoning | 2016-09-05 | Paper |
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Two Decades of Maude
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Order-sorted generalization
Electronic Notes in Theoretical Computer Science | 2015-04-09 | Paper |
Variant narrowing and equational unification
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
ACUOS: a system for modular ACU generalization with subtyping and inheritance
Logics in Artificial Intelligence | 2015-01-14 | Paper |
State space reduction in the Maude-NRL protocol analyzer
Information and Computation | 2014-10-20 | Paper |
Functional logic programming in Maude
Specification, Algebra, and Software | 2014-03-25 | Paper |
A modular order-sorted equational generalization algorithm
Information and Computation | 2014-03-13 | Paper |
Narrowing and rewriting logic: from foundations to applications
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Correct and complete (positive) strategy annotations for \textsf{OBJ}
| 2013-10-02 | Paper |
Abstract correction of first-order functional programs
| 2013-08-27 | Paper |
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Folding variant narrowing and optimal variant termination
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Modular termination of basic narrowing and equational unification
Logic Journal of the IGPL | 2012-06-08 | Paper |
Variants, unification, narrowing, and symbolic reachability in Maude 2.6
| 2012-04-24 | Paper |
Removing Redundant Arguments of Functions*
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Abstract diagnosis of functional programs
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Abstract Certification of Global Non-interference in Rewriting Logic
Formal Methods for Components and Objects | 2011-01-08 | Paper |
Folding Variant Narrowing and Optimal Variant Termination
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
A compact fixpoint semantics for term rewriting systems
Theoretical Computer Science | 2010-08-24 | Paper |
On-demand strategy annotations revisited: an improved on-demand evaluation strategy
Theoretical Computer Science | 2009-12-15 | Paper |
Termination of narrowing revisited
Theoretical Computer Science | 2009-11-04 | Paper |
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Foundations of Security Analysis and Design V | 2009-10-22 | Paper |
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Termination of Narrowing Using Dependency Pairs
Logic Programming | 2009-01-22 | Paper |
Effectively Checking the Finite Variant Property
Rewriting Techniques and Applications | 2008-08-28 | Paper |
Modular Termination of Basic Narrowing
Rewriting Techniques and Applications | 2008-08-28 | Paper |
Natural Rewriting for General Term Rewriting Systems
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Symbolic Model Checking of Infinite-State Systems Using Narrowing
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Removing redundant arguments automatically
Theory and Practice of Logic Programming | 2007-03-23 | Paper |
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
Theoretical Computer Science | 2007-01-09 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
scientific article; zbMATH DE number 2124969 (Why is no real title available?)
| 2005-01-04 | Paper |
scientific article; zbMATH DE number 1980914 (Why is no real title available?)
| 2003-09-15 | Paper |
