| Some tools M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework: How to Specify …, 2007 | 1649 | 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 | 1124 | 2002 |
| Rewriting logic as a logical and semantic framework N Martí-Oliet, J Meseguer Handbook of Philosophical Logic, 2002 | 436* | 2002 |
| The maude 2.0 system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott International Conference on Rewriting Techniques and Applications, 76-87, 2003 | 406 | 2003 |
| All About Maude, A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Springer, 2007 | 327 | 2007 |
| Rewriting logic: roadmap and bibliography N Martı-Oliet, J Meseguer Theoretical Computer Science 285 (2), 121-154, 2002 | 295 | 2002 |
| Maude manual (version 3.1) M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ... SRI International University of Illinois at Urbana-Champaign http://maude …, 2020 | 292* | 2020 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 252* | 2006 |
| From Petri nets to linear logic N Martí-Oliet, J Meseguer Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 2005 | 202* | 2005 |
| Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005 | 120 | 2005 |
| The maude system M Clavel, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ... International Conference on Rewriting Techniques and Applications, 240-243, 1999 | 116 | 1999 |
| Implementing ccs in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004 | 113* | 2004 |
| Equational abstractions J Meseguer, M Palomino, N Martí-Oliet Theoretical Computer Science 403 (2-3), 239-264, 2008 | 110 | 2008 |
| Executable structural operational semantics in Maude A Verdejo, N Martí-Oliet The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006 | 102 | 2006 |
| Deduction, strategies, and rewriting S Eker, N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007 | 98 | 2007 |
| Reflection, metalevel computation, and strategies M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework: How to Specify …, 2007 | 95 | 2007 |
| Programming and symbolic computation in Maude F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020 | 89 | 2020 |
| Equational abstractions J Meseguer, M Palomino, N Martí-Oliet Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003 | 85 | 2003 |
| From Petri nets to linear logic through categories: A survey N Martí-Oliet, J Meseguer International Journal of Foundations of Computer Science 2 (04), 297-399, 1991 | 77 | 1991 |
| An executable specification of asynchronous Pi-Calculus semantics and may testing in Maude 2.0 P Thati, K Sen, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 261-281, 2004 | 70 | 2004 |
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
