| Security policies and security models JA Goguen, J Meseguer Symposium on Security and Privacy, 11-20, 1982 | 2985 | 1982 |
| Conditional rewriting logic as a unified model of concurrency J Meseguer Theoretical computer science 96 (1), 73-155, 1992 | 1947 | 1992 |
| All about maude-a high-performance logical framework: how to specify, program, and verify systems in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Springer, 2007 | 1526 | 2007 |
| Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002 | 1101 | 2002 |
| Introducing obj JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud Software Engineering with OBJ: algebraic specification in action, 3-167, 2000 | 1088 | 2000 |
| Principles of OBJ2 K Futatsugi, JA Goguen, JP Jouannaud, J Meseguer Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985 | 799 | 1985 |
| Order-sorted algebra I: Partial and overloaded operators, errors and inheritance JA Goguen, J Meseguer Technical report, SRI International, Menlo Park, CA, 1987 | 789* | 1987 |
| Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations JA Goguen, J Meseguer Theoretical Computer Science 105 (2), 217-273, 1992 | 697 | 1992 |
| Membership algebra as a logical framework for equational specification J Meseguer Recent Trends in Algebraic Development Techniques: 12th International …, 1998 | 603 | 1998 |
| General logics J Meseguer Studies in Logic and the Foundations of Mathematics 129, 275-329, 1989 | 590 | 1989 |
| Unwinding and inference control JA Goguen, J Meseguer 1984 IEEE Symposium on Security and Privacy, 75-75, 1984 | 587 | 1984 |
| Petri nets are monoids J Meseguer, U Montanari Information and computation 88 (2), 105-155, 1990 | 545 | 1990 |
| Petri nets are monoids J Meseguer, U Montanari Information and computation 88 (2), 105-155, 1990 | 545 | 1990 |
| Rewriting logic as a logical and semantic framework N Martí-Oliet, J Meseguer Electronic Notes in Theoretical Computer Science 4, 190-225, 1996 | 445* | 1996 |
| The maude 2.0 system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003 | 405 | 2003 |
| Initiality, induction, and computability J Meseguer, JA Goguen Algebraic methods in semantics, 459-541, 1986 | 401 | 1986 |
| A logical theory of concurrent objects and its realization in the Maude language J Meseguer SRI International, Computer Science Laboratory, 1993 | 388 | 1993 |
| Principles of maude M Clavel, S Eker, P Lincoln, J Meseguer Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 | 385 | 1996 |
| Eqlog: Equality, types, and generic modules for logic programming JA Goguen Logic Programming: Functions, Relations, and Equations, 295-364, 1986 | 383 | 1986 |
| The Maude LTL model checker S Eker, J Meseguer, A Sridharanarayanan Electronic Notes in Theoretical Computer Science 71, 162-187, 2004 | 341 | 2004 |
