Jos\'e Meseguer

Identifiers

No identifiers captured yet.

Papers (6)

1. Strand Spaces with Choice via a Process Algebra Semantics cs.CR · 2019 · author #4
2. Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms cs.PL · 2018 · author #4
3. Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA cs.CR · 2018 · author #5
4. Variant-Based Decidable Satisfiability in Initial Algebras with Predicates cs.PL · 2017 · author #2
5. A Constructor-Based Reachability Logic for Rewrite Theories cs.PL · 2017 · author #3
6. Effective Sequential Protocol Composition in Maude-NPA cs.CR · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Santiago Escobar 4 shared papers
• Catherine Meadows 3 shared papers
• Andrei Stefanescu 1 shared papers
• Angel Cuenca-Ortega 1 shared papers
• Antonio Gonz\'alez-Burgue\~no 1 shared papers
• Dami\'an Aparicio 1 shared papers
• Fan Yang 1 shared papers
• Mar\'ia Alpuente 1 shared papers
• Ra\'ul Guti\'errez 1 shared papers
• Sonia Santiago 1 shared papers
• Stephen Skeirik 1 shared papers