| 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 | 1688 | 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 | 1140 | 2002 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013 | 479* | 2013 |
| Rewriting logic as a logical and semantic framework N Martí-Oliet, J Meseguer Handbook of Philosophical Logic, 2002 | 448* | 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 | 413 | 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 | 300 | 2002 |
| Maude manual (version 3.1) M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ... SRI International, 2020 | 267* | 2020 |
| From Petri nets to linear logic N Marti-Oliet, J Meseguer Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 2005 | 206* | 2005 |
| Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005 | 124 | 2005 |
| Implementing CCS in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004 | 117* | 2004 |
| 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 | 115 | 1999 |
| Equational abstractions J Meseguer, M Palomino, N Martí-Oliet Theoretical Computer Science 403 (2-3), 239-264, 2008 | 111 | 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 | 105 | 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 | 99 | 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 | 98 | 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 | 96 | 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 | 78 | 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 | 73 | 2004 |
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignBestätigte E-Mail-Adresse bei illinois.edu
