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 359  
    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
    Journal article
    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
    Journal article
    Salvador Lucas, José Meseguer.
    Normal forms and normal theories in conditional rewriting.
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Journal article
    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
    Conference paper
    José Meseguer.
    Order-Sorted Rewriting and Congruence Closure.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Journal article
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Effective Sequential Protocol Composition in Maude-NPA.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer.
    Formal modeling and analysis of RAMP transaction systems.
    Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016 2016 (0) 2016
    Conference paper
    Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott.
    Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
    Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Antonio Moreno-Delgado, Francisco Durán, José Meseguer.
    Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications.
    Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers 2016 (0) 2016
    Conference paper
    Stephen Skeirik, José Meseguer.
    Metalevel Algorithms for Variant Satisfiability.
    Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers 2016 (0) 2016
    Show item 1 to 10 of 359  

    Your query returned 359 matches in the database.