The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Meseguer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joseph A. Goguen, José Meseguer
    Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. [Citation Graph (5, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:2, pp:217-273 [Journal]
  2. José Meseguer
    A Logical Theory of Concurrent Objects. [Citation Graph (2, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:101-115 [Conf]
  3. Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
    Principles of OBJ2. [Citation Graph (2, 0)][DBLP]
    POPL, 1985, pp:52-66 [Conf]
  4. Joseph A. Goguen, José Meseguer
    Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. [Citation Graph (2, 0)][DBLP]
    J. Log. Program., 1984, v:1, n:2, pp:179-210 [Journal]
  5. José Meseguer
    Multiparadigm Logic Programming. [Citation Graph (1, 0)][DBLP]
    ALP, 1992, pp:158-200 [Conf]
  6. José Meseguer
    Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1993, pp:220-246 [Conf]
  7. Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
    Operational Semantics for Order-Sorted Algebra. [Citation Graph (1, 0)][DBLP]
    ICALP, 1985, pp:221-231 [Conf]
  8. Claude Kirchner, Hélène Kirchner, José Meseguer
    Operational Semantics of OBJ-3 (Extended Abstract). [Citation Graph (1, 0)][DBLP]
    ICALP, 1988, pp:287-301 [Conf]
  9. Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada
    Parameterized Programming in OBJ2. [Citation Graph (1, 0)][DBLP]
    ICSE, 1987, pp:51-60 [Conf]
  10. Joseph A. Goguen, José Meseguer
    Security Policies and Security Models. [Citation Graph (1, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1982, pp:11-20 [Conf]
  11. Joseph A. Goguen, José Meseguer
    Unwinding and Inference Control. [Citation Graph (1, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1984, pp:75-87 [Conf]
  12. José Meseguer, Joseph A. Goguen
    Order-Sorted Unification. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:4, pp:383-413 [Journal]
  13. Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins
    Software Component Search. [Citation Graph (1, 0)][DBLP]
    Journal of Systems Integration, 1996, v:6, n:1/2, pp:93-134 [Journal]
  14. José Meseguer
    Conditioned Rewriting Logic as a United Model of Concurrency. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:96, n:1, pp:73-155 [Journal]
  15. Azadeh Farzan, José Meseguer, Grigore Rosu
    Formal JVM Code Analysis in JavaFAN. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:132-147 [Conf]
  16. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:407-421 [Conf]
  17. José Meseguer, Christiano Braga
    Modular Rewriting Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:364-378 [Conf]
  18. Azadeh Farzan, José Meseguer
    State Space Reduction of Rewrite Theories Using Invisible Transitions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:142-157 [Conf]
  19. Livio Ricciulli, Patrick Lincoln, José Meseguer
    Distributed Simulation of Parallel Executions. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 1996, pp:15-24 [Conf]
  20. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Model of Computation of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:16-38 [Conf]
  21. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
    Rewriting Logic as a Unifying Framework for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:250-303 [Conf]
  22. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    A Comparison of Petri Net Semantics under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:225-244 [Conf]
  23. José Meseguer
    Functorial Semantics of Rewrite Theories. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:220-235 [Conf]
  24. José Meseguer
    From OBJ to Maude and Beyond. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:252-280 [Conf]
  25. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Representation Theorems for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:239-249 [Conf]
  26. Mark-Oliver Stehr, José Meseguer
    Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:334-375 [Conf]
  27. Joe Hendrix, José Meseguer, Hitoshi Ohsaki
    A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:151-155 [Conf]
  28. José Meseguer, Miguel Palomino, Narciso Martí-Oliet
    Equational Abstractions. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:2-16 [Conf]
  29. José Meseguer, Grigore Rosu
    Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:1-44 [Conf]
  30. Miguel Palomino, José Meseguer, Narciso Martí-Oliet
    A Categorical Approach to Simulations. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:313-330 [Conf]
  31. Prasanna Thati, José Meseguer
    Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:379-394 [Conf]
  32. José Meseguer, Ignacio Sols
    Automata in semimodule categories. [Citation Graph (0, 0)][DBLP]
    Category Theory Applied to Computation and Control, 1974, pp:193-198 [Conf]
  33. Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu
    Formal Analysis of Java Programs in JavaFAN. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:501-505 [Conf]
  34. Santiago Escobar, Catherine Meadows, José Meseguer
    A rewriting-based inference system for the NRL protocol analyzer: grammar generation. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:1-12 [Conf]
  35. José Meseguer, Narciso Martí-Oliet
    From Abstract Data Types to Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:48-80 [Conf]
  36. José Meseguer
    Rewriting as a Unified Model of Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:384-400 [Conf]
  37. José Meseguer
    Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:331-372 [Conf]
  38. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Semantics of Petri Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:286-301 [Conf]
  39. José Meseguer, Carolyn L. Talcott
    A Partial Order Event Model for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:415-430 [Conf]
  40. Patrick Lincoln, José Meseguer, Livio Ricciulli
    The Rewrite Rule Machine Node Architecture and Its Performance. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:509-520 [Conf]
  41. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:313-340 [Conf]
  42. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
    Temporal Structures. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:21-51 [Conf]
  43. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
    Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:158-181 [Conf]
  44. Hitoshi Aida, Joseph A. Goguen, José Meseguer
    Compiling Concurrent Rewriting onto the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:320-332 [Conf]
  45. José Meseguer
    Conditional Rewriting Logic: Deduction, Models and Concurrency. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:64-91 [Conf]
  46. Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
    An Introduction to OBJ 3. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:258-263 [Conf]
  47. José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
    Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. [Citation Graph (0, 0)][DBLP]
    DANCE, 2002, pp:494-510 [Conf]
  48. José Meseguer, Carolyn L. Talcott
    Semantic Models for Distributed Object Reflection. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:1-36 [Conf]
  49. Roberto Bruni, José Meseguer, Ugo Montanari
    Executable Tile Specifications for Process Calculi. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:60-76 [Conf]
  50. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Using Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:371-374 [Conf]
  51. Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele
    Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:333-348 [Conf]
  52. Peter Csaba Ölveczky, José Meseguer
    Specification and Analysis of Real-Time Systems Using Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:354-358 [Conf]
  53. José Meseguer
    On Order-Complete Universal Algebra and Enriched Functorial Semantics. [Citation Graph (0, 0)][DBLP]
    FCT, 1977, pp:294-301 [Conf]
  54. Joseph A. Goguen, José Meseguer
    Software for the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:628-637 [Conf]
  55. Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima
    On the Semantics of GAEA. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:123-142 [Conf]
  56. Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
    Maude as a Formal Meta-tool. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1684-1703 [Conf]
  57. Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
    Certifying and Synthesizing Membership Equational Proofs. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:359-380 [Conf]
  58. Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
    A Rewriting Based Model for Probabilistic Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:32-46 [Conf]
  59. José Meseguer
    Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:89-0 [Conf]
  60. José Meseguer
    A Logical Framework for Distributed Systems and Communication Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:327-333 [Conf]
  61. Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
    Composing and Controlling Search in Reasoning Theories Using Mappings. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:200-216 [Conf]
  62. David A. Basin, Manuel Clavel, José Meseguer
    Rewriting Logic as a Metalogical Framework. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:55-80 [Conf]
  63. Joseph A. Goguen, Claude Kirchner, José Meseguer
    Concurrent term rewriting as a model of computation. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:53-93 [Conf]
  64. José Meseguer, Timothy C. Winkler
    Parallel Programmming in Maude. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:253-293 [Conf]
  65. José Meseguer, Raman Sharykin
    Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:460-475 [Conf]
  66. Roberto Bruni, José Meseguer
    Generalized Rewrite Theories. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:252-266 [Conf]
  67. Joseph A. Goguen, José Meseguer
    Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:265-281 [Conf]
  68. José Meseguer, Grigore Rosu
    A Total Approach to Partial Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:572-584 [Conf]
  69. Bow-Yaw Wang, José Meseguer, Carl A. Gunter
    Specification and Formal Analysis of a PLAN Algorithm in Maude. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  70. José Meseguer
    A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:152-168 [Conf]
  71. Joseph A. Goguen, José Meseguer
    Equality, Types, Modules and Generics for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:115-125 [Conf]
  72. José Meseguer
    A Rewriting Logic Sampler. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:1-28 [Conf]
  73. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Algebraic Theories for Contextual Pre-nets. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:256-270 [Conf]
  74. Pierpaolo Degano, José Meseguer, Ugo Montanari
    Axiomatizing Net Computations and Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:175-185 [Conf]
  75. Joseph A. Goguen, José Meseguer
    Order-Sorted Algebra solves the Constructor-Selector, Multiple [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:18-29 [Conf]
  76. José Meseguer, Ugo Montanari
    Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:155-164 [Conf]
  77. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Mapping Modular SOS to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:262-277 [Conf]
  78. Santiago Escobar, José Meseguer, Prasanna Thati
    Natural Rewriting for General Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:101-116 [Conf]
  79. Salvador Lucas, José Meseguer
    Termination of Fair Computations in Term Rewriting. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:184-198 [Conf]
  80. Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Mobile Maude. [Citation Graph (0, 0)][DBLP]
    ASA/MA, 2000, pp:73-85 [Conf]
  81. José Meseguer
    Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:3-0 [Conf]
  82. Maura Cerioli, José Meseguer
    May I Borrow Your Logic? [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:342-351 [Conf]
  83. Joseph A. Goguen, José Meseguer
    Correctness of Recursive Flow Diagram Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:580-595 [Conf]
  84. Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
    Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:37-48 [Conf]
  85. Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain
    Proving termination of membership equational programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:147-158 [Conf]
  86. Danny Dolev, José Meseguer, Marshall C. Pease
    Finding Safe Paths in a Faulty Environment. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:95-103 [Conf]
  87. José Meseguer
    Relating Models of Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:228-241 [Conf]
  88. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
    Pathway Logic: Symbolic Analysis of Biological Signaling. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2002, pp:400-412 [Conf]
  89. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    The Maude System. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:240-243 [Conf]
  90. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
    The Maude 2.0 System. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:76-87 [Conf]
  91. Joe Hendrix, Manuel Clavel, José Meseguer
    A Sufficient Completeness Reasoning Tool for Partial Specifications. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:165-174 [Conf]
  92. Santiago Escobar, José Meseguer, Prasanna Thati
    Natural Narrowing for General Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:279-293 [Conf]
  93. José Meseguer
    Rewriting Logic and Maude: Concepts and Applications. [Citation Graph (0, 0)][DBLP]
    RTA, 2000, pp:1-26 [Conf]
  94. José Meseguer
    Localized Fairness: A Rewriting Semantics. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:250-263 [Conf]
  95. José Meseguer, Xiaolei Qian
    A Logical Semantics for Object-Oriented Databases. [Citation Graph (0, 22)][DBLP]
    SIGMOD Conference, 1993, pp:89-98 [Conf]
  96. José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
    A Systematic Approach to Uncover Security Flaws in GUI Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2007, pp:71-85 [Conf]
  97. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
    The Maude LTL Model Checker and Its Implementation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:230-234 [Conf]
  98. Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
    Specification and Proof in Membership Equational Logic. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:67-92 [Conf]
  99. Joseph A. Goguen, José Meseguer
    Models and Equality for Logical Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:1-22 [Conf]
  100. Pavel Naumov, Mark-Oliver Stehr, José Meseguer
    The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:329-345 [Conf]
  101. Narciso Martí-Oliet, José Meseguer, Miguel Palomino
    Theoroidal Maps as Algebraic Simulations. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:126-143 [Conf]
  102. José Meseguer
    Membership algebra as a logical framework for equational specification. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:18-61 [Conf]
  103. José Meseguer, Ugo Montanari
    Mapping tile logic into rewriting logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:62-91 [Conf]
  104. José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
    Towards a Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:438-458 [Conf]
  105. Pierpaolo Degano, José Meseguer, Ugo Montanari
    Axiomatizing the Algebra of Net Computations and Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:7, pp:641-667 [Journal]
  106. José Meseguer
    Why OOP Needs New Semantic Foundations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:159- [Journal]
  107. Joseph A. Goguen, José Meseguer
    Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:30, n:, pp:66-73 [Journal]
  108. Gul A. Agha, José Meseguer, Koushik Sen
    PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:213-239 [Journal]
  109. Christiano Braga, José Meseguer
    Modular Rewriting Semantics in Practice. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:393-416 [Journal]
  110. Roberto Bruni, José Meseguer, Ugo Montanari
    Tiling Transactions in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  111. Roberto Bruni, José Meseguer, Ugo Montanari
    Internal strategies in a rewriting implementation of tile systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  112. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
    Metalevel computation in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  113. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Towards Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  114. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude as a metalanguage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  115. Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  116. Manuel Clavel, José Meseguer
    Reflection and strategies in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  117. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  118. Grit Denker, José Meseguer, Carolyn L. Talcott
    Rewriting Semantics of Meta-Objects and Composable Distributed Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  119. Francisco Durán, José Meseguer
    Parameterized Theories and Views in Full Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  120. Francisco Durán, José Meseguer
    An extensible module algebra for Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  121. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
    The Maude LTL Model Checker. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  122. Narciso Martí-Oliet, José Meseguer
    Rewriting logic as a logical and semantic framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  123. Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Towards a Strategy Language for Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:417-441 [Journal]
  124. José Meseguer
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  125. José Meseguer, Grigore Rosu
    Towards Behavioral Maude: Behavioral Membership Equational Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
  126. José Meseguer, Grigore Rosu
    The Rewriting Logic Semantics Project. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:27-56 [Journal]
  127. José Meseguer, Prasanna Thati
    Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:153-182 [Journal]
  128. José Meseguer, Carolyn L. Talcott
    Mapping OMRS to rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  129. Peter Csaba Ölveczky, José Meseguer
    Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  130. Peter Csaba Ölveczky, José Meseguer
    Real-Time Maude 2.1. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:285-314 [Journal]
  131. Peter Csaba Ölveczky, José Meseguer
    Specifying real-time systems in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  132. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
    Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  133. Peter Csaba Ölveczky, José Meseguer
    Recent Advances in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:65-81 [Journal]
  134. Santiago Escobar, José Meseguer, Prasanna Thati
    Narrowing and Rewriting Logic: from Foundations to Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:5-33 [Journal]
  135. Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
    Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:3, pp:253-293 [Journal]
  136. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial Models for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:170, n:2, pp:207-236 [Journal]
  137. José Meseguer, Joseph A. Goguen
    Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:103, n:1, pp:114-158 [Journal]
  138. José Meseguer, Ugo Montanari
    Petri Nets Are Monoids [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:88, n:2, pp:105-155 [Journal]
  139. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic through Categories: A Survey. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1991, v:2, n:4, pp:297-399 [Journal]
  140. Salvador Lucas, Claude Marché, José Meseguer
    Operational termination of conditional term rewriting systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:95, n:4, pp:446-453 [Journal]
  141. Joseph A. Goguen, José Meseguer
    Correctness of Recursive Parallel Nondeterministic Flow Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:268-290 [Journal]
  142. Narciso Martí-Oliet, José Meseguer
    Inclusions and Subtypes I: First-Order Case. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:3, pp:409-438 [Journal]
  143. Narciso Martí-Oliet, José Meseguer
    Inclusions and Subtypes II: Higher-Order Case. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:4, pp:541-572 [Journal]
  144. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
    A Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:3, pp:317-352 [Journal]
  145. Roberto Bruni, José Meseguer, Ugo Montanari
    Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:53-90 [Journal]
  146. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
    Temporal Structures. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:179-213 [Journal]
  147. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:1, pp:69-101 [Journal]
  148. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Semantics of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:4, pp:359-397 [Journal]
  149. José Meseguer
    Rewriting as a unified model of concurrency. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1991, v:2, n:2, pp:86-88 [Journal]
  150. Irène Guessarian, José Meseguer
    On the Axiomatization of ``If-Then-Else''. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1987, v:16, n:2, pp:332-357 [Journal]
  151. Joseph A. Goguen, José Meseguer
    Completeness of many-sorted equational logic. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1982, v:17, n:1, pp:9-17 [Journal]
  152. Joseph A. Goguen, José Meseguer
    Remarks on Remarks on Many-Sorted Equational Logic. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1987, v:22, n:4, pp:41-48 [Journal]
  153. Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
    Specification and proof in membership equational logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:236, n:1-2, pp:35-132 [Journal]
  154. Roberto Bruni, José Meseguer
    Semantic foundations for generalized rewrite theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:386-414 [Journal]
  155. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial semantics for Petri nets under the individual token philosophy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  156. Maura Cerioli, José Meseguer
    May I Borrow Your Logic? (Transporting Logical Structures Along Maps). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:311-347 [Journal]
  157. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude: specification and programming in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:187-243 [Journal]
  158. Manuel Clavel, José Meseguer
    Reflection in conditional rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:245-288 [Journal]
  159. Francisco Durán, José Meseguer
    Structured theories and institutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:309, n:1-3, pp:357-380 [Journal]
  160. Francisco Durán, José Meseguer
    Structured Theories and Institutions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  161. Santiago Escobar, Catherine Meadows, José Meseguer
    A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:162-202 [Journal]
  162. Narciso Martí-Oliet, José Meseguer
    Rewriting logic: roadmap and bibliography. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:121-154 [Journal]
  163. Narciso Martí-Oliet, José Meseguer
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:119-120 [Journal]
  164. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Process versus Unfolding Semantics for Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:171-210 [Journal]
  165. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
    Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:100, n:2, pp:267-302 [Journal]
  166. Peter Csaba Ölveczky, José Meseguer
    Specification of real-time and hybrid systems in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:359-405 [Journal]
  167. Prasanna Thati, José Meseguer
    Complete symbolic reachability analysis using back-and-forth narrowing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:163-179 [Journal]
  168. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:70-91 [Journal]
  169. José Meseguer, Grigore Rosu
    The rewriting logic semantics project. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:213-237 [Journal]
  170. David A. Basin, Manuel Clavel, José Meseguer
    Reflective metalogical frameworks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:3, pp:528-576 [Journal]
  171. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
    The Maude Formal Tool Environment. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:173-178 [Conf]
  172. Musab AlTurki, José Meseguer
    Real-time rewriting semantics of orc. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:131-142 [Conf]
  173. Santiago Escobar, José Meseguer
    Symbolic Model Checking of Infinite-State Systems Using Narrowing. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:153-168 [Conf]
  174. Joe Hendrix, José Meseguer
    On the Completeness of Context-Sensitive Order-Sorted Specifications. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:229-245 [Conf]
  175. Santiago Escobar, Catherine Meadows, José Meseguer
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:23-36 [Journal]
  176. Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Deduction, Strategies, and Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:3-25 [Journal]
  177. Peter Csaba Ölveczky, José Meseguer
    Abstraction and Completeness for Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:5-27 [Journal]
  178. Ralf Sasse, José Meseguer
    Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:29-46 [Journal]
  179. Azadeh Farzan, José Meseguer
    Partial Order Reduction for Rewriting Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:61-78 [Journal]
  180. Michael Katelman, José Meseguer
    A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:47-60 [Journal]
  181. Peter Csaba Ölveczky, José Meseguer
    Semantics and pragmatics of Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:161-196 [Journal]
  182. José Meseguer, Prasanna Thati
    Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:123-160 [Journal]
  183. Francisco Durán, José Meseguer
    Maude's module algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:66, n:2, pp:125-153 [Journal]

  184. Theorem Proving Modulo Based on Boolean Equational Procedures. [Citation Graph (, )][DBLP]


  185. The Temporal Logic of Rewriting: A Gentle Introduction. [Citation Graph (, )][DBLP]


  186. Ugo Montanari in a Nutshell. [Citation Graph (, )][DBLP]


  187. Order-Sorted Parameterization and Induction. [Citation Graph (, )][DBLP]


  188. MTT: The Maude Termination Tool (System Description). [Citation Graph (, )][DBLP]


  189. State Space Reduction in the Maude-NRL Protocol Analyzer. [Citation Graph (, )][DBLP]


  190. Model-Checking DoS Amplification for VoIP Session Initiation. [Citation Graph (, )][DBLP]


  191. Sequential Protocol Composition in Maude-NPA. [Citation Graph (, )][DBLP]


  192. An Algebraic Semantics for MOF. [Citation Graph (, )][DBLP]


  193. Rewriting Logic Semantics and Verification of Model Transformations. [Citation Graph (, )][DBLP]


  194. Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. [Citation Graph (, )][DBLP]


  195. Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. [Citation Graph (, )][DBLP]


  196. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. [Citation Graph (, )][DBLP]


  197. Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. [Citation Graph (, )][DBLP]


  198. Termination Modulo Combinations of Equational Theories. [Citation Graph (, )][DBLP]


  199. MOMENT2: EMF Model Transformations in Maude. [Citation Graph (, )][DBLP]


  200. A Modular Equational Generalization Algorithm. [Citation Graph (, )][DBLP]


  201. Directed-Logical Testing for Functional Verification of Microprocessors. [Citation Graph (, )][DBLP]


  202. Order-sorted dependency pairs. [Citation Graph (, )][DBLP]


  203. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  204. Effectively Checking the Finite Variant Property. [Citation Graph (, )][DBLP]


  205. The Real-Time Maude Tool. [Citation Graph (, )][DBLP]


  206. What Is a Multi-modeling Language? [Citation Graph (, )][DBLP]


  207. Algebraic Semantics of OCL-Constrained Metamodel Specifications. [Citation Graph (, )][DBLP]


  208. Introduction. [Citation Graph (, )][DBLP]


  209. Using Maude. [Citation Graph (, )][DBLP]


  210. Syntax and Basic Parsing. [Citation Graph (, )][DBLP]


  211. Functional Modules. [Citation Graph (, )][DBLP]


  212. A Hierarchy of Data Types: From Trees to Sets. [Citation Graph (, )][DBLP]


  213. System Modules. [Citation Graph (, )][DBLP]


  214. Module Operations. [Citation Graph (, )][DBLP]


  215. Predefined Data Modules. [Citation Graph (, )][DBLP]


  216. Object-Based Programming. [Citation Graph (, )][DBLP]


  217. Model Checking Invariants Through Search. [Citation Graph (, )][DBLP]


  218. LTL Model Checking. [Citation Graph (, )][DBLP]


  219. Reflection, Metalevel Computation, and Strategies. [Citation Graph (, )][DBLP]


  220. Metaprogramming Applications. [Citation Graph (, )][DBLP]


  221. User Interfaces and Metalanguage Applications. [Citation Graph (, )][DBLP]


  222. Full Maude: Extending Core Maude. [Citation Graph (, )][DBLP]


  223. Object-Oriented Modules. [Citation Graph (, )][DBLP]


  224. A Sampler of Application Areas. [Citation Graph (, )][DBLP]


  225. Debugging and Troubleshooting. [Citation Graph (, )][DBLP]


  226. Complete List of Maude Commands. [Citation Graph (, )][DBLP]


  227. Core Maude Grammar. [Citation Graph (, )][DBLP]


  228. Some Tools. [Citation Graph (, )][DBLP]


  229. Playing with Maude. [Citation Graph (, )][DBLP]


  230. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  231. Mobile Maude. [Citation Graph (, )][DBLP]


  232. Computational Logical Frameworks and Generic Program Analysis Technologies. [Citation Graph (, )][DBLP]


  233. Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. [Citation Graph (, )][DBLP]


  234. A Rewriting Logic Approach to Operational Semantics (Extended Abstract). [Citation Graph (, )][DBLP]


  235. Reduction Semantics and Formal Analysis of Orc Programs. [Citation Graph (, )][DBLP]


  236. Algebraic Stuttering Simulations. [Citation Graph (, )][DBLP]


  237. Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. [Citation Graph (, )][DBLP]


  238. Operational Termination of Membership Equational Programs: the Order-Sorted Way. [Citation Graph (, )][DBLP]


  239. Variant Narrowing and Equational Unification. [Citation Graph (, )][DBLP]


  240. A Rewriting Semantics for Maude Strategies. [Citation Graph (, )][DBLP]


  241. Order-Sorted Generalization. [Citation Graph (, )][DBLP]


  242. Web Services and Interoperability for the Maude Termination Tool. [Citation Graph (, )][DBLP]


  243. Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. [Citation Graph (, )][DBLP]


Search in 2.751secs, Finished in 2.759secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002