Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: José
    Last name: Meseguer
    DBLP: m/JoseMeseguer
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 366  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Camilo Rocha, José Meseguer, César A. Muñoz.
    Rewriting modulo SMT and open system analysis.
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Conference paper
    Salvador Lucas, José Meseguer.
    Dependency pairs for proving termination properties of conditional term rewriting systems.
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Conference paper
    Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer.
    Quantitative Analysis of Consistency in NoSQL Key-Value Stores.
    LITES 2017, Volume 4 (0) 2017
    Journal article
    José Meseguer.
    Strict coherence of conditional rewriting modulo axioms.
    Theor. Comput. Sci. 2017, Volume 672 (0) 2017
    Conference paper
    José Meseguer, Stephen Skeirik.
    Equational formulas and pattern operations in initial order-sorted algebras.
    Formal Asp. Comput. 2017, Volume 29 (0) 2017
    Journal article
    Raúl Gutiérrez, José Meseguer.
    Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Stephen Skeirik, Andrei Stefanescu, José Meseguer.
    A Constructor-Based Reachability Logic for Rewrite Theories.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer.
    Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.
    Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 2017 (0) 2017
    Journal article
    Salvador Lucas, José Meseguer.
    Normal forms and normal theories in conditional rewriting.
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Conference paper
    Si Liu, Peter Csaba Ölveczky, José Meseguer.
    Modeling and analyzing mobile ad hoc networks in Real-Time Maude.
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Show item 1 to 10 of 366  

    Your query returned 366 matches in the database.