Edit Profile (opens in new tab) Meseguer Guaita, José Compute Distance To: Compute Author ID: meseguer.jose Published as: Meseguer, José; Meseguer, J.; Meseguer, Jose Homepage: http://formalmethods.web.engr.illinois.edu/meseguer/ External Links: MGP · ORCID · ResearchGate · dblp · GND · IdRef · theses.fr Documents Indexed: 240 Publications since 1975, including 4 Books 9 Contributions as Editor Biographic References: 2 Publications Co-Authors: 104 Co-Authors with 220 Joint Publications 1,778 Co-Co-Authors all top 5 Co-Authors 27 single-authored 27 Escobar, Santiago 26 Martí-Oliet, Narciso 20 Durán, Francisco 17 Goguen, Joseph Amadee 17 Lucas, Salvador 16 Olveczky, Peter Csaba 14 Montanari, Ugo G. 12 Clavel, Manuel 12 Roşu, Grigore 12 Talcott, Carolyn L. 11 Eker, Steven 9 Alpuente, María 9 Bruni, Roberto 9 Sols, Ignacio 8 Palomino, Miguel 8 Rocha, Camilo 7 Sassone, Vladimiro 7 Thati, Prasanna 6 Bae, Kyungmin 6 Skeirik, Stephen 5 Gutiérrez, Raúl 5 Kühnel, Wolfgang 5 Lincoln, Patrick D. 5 Liu, Si 5 Meadows, Catherine A. 5 Pfender, Michael 5 Sasse, Ralf 4 Cuenca-Ortega, Angel 4 Degano, Pierpaolo 4 Farzan, Azadeh 4 Hendrix, Joe 4 Jouannaud, Jean-Pierre 4 Katelman, Michael 4 Stehr, Mark-Oliver 3 Kirchner, Claude 3 Santiago, Sonia 2 Agha, Gul A. 2 Basin, David A. 2 Boronat, Artur 2 Braga, Christiano 2 Cerioli, Maura 2 De Nicola, Rocco 2 Espert, Javier 2 Fiadeiro, José Luiz 2 Futatsugi, Kokichi 2 Haeusler, Edward Hermann 2 Kapur, Deepak 2 Keller, Sean 2 Kirchner, Hélène 2 Maibaum, Thomas Stephen Edward 2 Marché, Claude 2 Moss, Lawrence S. 2 Mosses, Peter D. 2 Muñoz, César A. 2 Ojeda, Pedro 2 Pita, Isabel 2 Sen Gupta, Indranil 2 Şerbănuţă, Traian Florin 2 Sridharanarayanan, Ambarish 2 Ştefănescu, Andrei 2 Verdejo, Alberto 2 Wirsing, Martin 1 Alarcón, Beatriz 1 AlTurki, Musab A. 1 Ballis, Demis 1 Bouhoula, Adel 1 Casley, Ross 1 Chen, Feng 1 Coglio, Alessandro 1 Crew, Roger F. 1 Danvy, Olivier 1 De Braga, Christiano O. 1 de O. Braga, Christiano 1 Denker, Grit 1 Eckhardt, Jonas 1 Erbatur, Serdar 1 Giunchiglia, Fausto 1 Guessarian, Irène 1 Guguen, Joseph A. 1 Guttman, Joshua D. 1 Iida, Shusaku 1 Keaton, Mark H. 1 Knapp, Alexander 1 Kumar, Nirman 1 Landwehr, Carl E. 1 Liu, Zhiqiang 1 Lynch, Christopher A. 1 Mégrelis, Aristide 1 Mödersheim, Sebastian Alexander 1 Mühlbauer, Tobias 1 Narendran, Paliath 1 Naumov, Pavel G. 1 Ogata, Kazuhiro 1 Pavlović, Duško 1 Pratt, Vaughan R. 1 Quesada, José F. 1 Rubio, Rubén 1 Santhanam, Keshav 1 Sapiña, Julia 1 Sen, Koushik ...and 8 more Co-Authors all top 5 Serials 19 Theoretical Computer Science 10 Journal of Logical and Algebraic Methods in Programming 8 Information and Computation 8 Lecture Notes in Computer Science 5 The Journal of Logic and Algebraic Programming 4 MSCS. Mathematical Structures in Computer Science 3 Formal Aspects of Computing 3 Journal of Logic and Computation 3 Higher-Order and Symbolic Computation 2 Journal of Computer and System Sciences 2 The Journal of Logic Programming 2 Fundamenta Informaticae 1 Acta Informatica 1 Bulletin of the Australian Mathematical Society 1 Houston Journal of Mathematics 1 Information Processing Letters 1 Algebra Universalis 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Pure and Applied Algebra 1 SIAM Journal on Computing 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 International Journal of Foundations of Computer Science 1 Comptes Rendus de l’Académie des Sciences. Série I 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 ACM Transactions on Computational Logic 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 236 Computer science (68-XX) 71 Mathematical logic and foundations (03-XX) 26 Category theory; homological algebra (18-XX) 15 General algebraic systems (08-XX) 13 Information and communication theory, circuits (94-XX) 9 General and overarching topics; collections (00-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 History and biography (01-XX) 2 Algebraic geometry (14-XX) 2 Biology and other natural sciences (92-XX) 1 Manifolds and cell complexes (57-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 223 Publications have been cited 2,586 times in 840 Documents Cited by ▼ Year ▼ Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 193 1992 All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 156 2007 Membership algebra as a logical framework for equational specification. Zbl 0903.08009Meseguer, José 108 1998 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 101 1992 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 61 1990 Specification and proof in membership equational logic. Zbl 0938.68057Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J. 55 2000 Initiality, induction, and computability. Zbl 0571.68004Meseguer, José; Goguen, Joseph A. 50 1985 The Maude 2.0 system. Zbl 1038.68559Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 44 2003 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014Goguen, J.; Meseguer, J. 41 1982 Semantic foundations for generalized rewrite theories. Zbl 1097.68051Bruni, Roberto; Meseguer, José 41 2006 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 38 1982 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 34 1985 Operational termination of conditional term rewriting systems. Zbl 1185.68374Lucas, Salvador; Marché, Claude; Meseguer, José 32 2005 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 31 2007 Folding variant narrowing and optimal variant termination. Zbl 1291.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 30 2012 Twenty years of rewriting logic. Zbl 1267.03043Meseguer, José 29 2012 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 27 2009 Principles of Maude. Zbl 0912.68095Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J. 26 1996 The rewriting logic semantics project. Zbl 1111.68068Meseguer, José; Roşu, Grigore 26 2007 Rewriting logic: Roadmap and bibliography. Zbl 1027.68613Martí-Oliet, Narciso; Meseguer, José 26 2002 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 26 1984 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 26 2008 Semantics and pragmatics of real-time maude. Zbl 1115.68095Ölveczky, Peter Csaba; Meseguer, José 25 2007 General logics. Zbl 0691.03001Meseguer, José 23 1989 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 22 1993 Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061Ölveczky, Peter Csaba; Meseguer, José 22 2002 Rewriting logic as a logical and semantic framework. Zbl 0912.68096Martí-Oliet, Narciso; Meseguer, José 21 1996 Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464Meseguer, José; Roşu, Grigore 20 2004 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 20 2007 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 20 1997 The Maude LTL model checker. Zbl 1272.68243Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish 20 2004 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 20 2011 MTT: The Maude termination tool. (System description). Zbl 1165.68360Durán, Francisco; Lucas, Salvador; Meseguer, José 19 2008 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 18 1989 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139Durán, Francisco; Meseguer, José 17 2012 Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba 17 2001 Formal analysis of Java programs in JavaFAN. Zbl 1103.68611Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore 16 2004 A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375Escobar, Santiago; Meadows, Catherine; Meseguer, José 16 2006 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 15 1987 Reflection in conditional rewriting logic. Zbl 1001.68060Clavel, Manuel; Meseguer, José 15 2002 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 15 2014 From Petri nets to linear logic. Zbl 0746.03057Martí-Oliet, Narciso; Meseguer, José 15 1991 May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186Cerioli, Maura; Meseguer, José 15 1997 Rewriting modulo SMT and open system analysis. Zbl 1367.68151Rocha, Camilo; Meseguer, José; Muñoz, César 15 2014 Semantic models for distributed object reflection. Zbl 1049.68815Meseguer, José; Talcott, Carolyn 14 2002 Reflection and strategies in rewriting logic. Zbl 0917.68107Clavel, Manuel; Meseguer, José 13 1996 Metalevel computation in Maude. Zbl 0917.68024Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J. 13 1998 What is a multi-modeling language? Zbl 1253.68225Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 13 2009 Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080Meseguer, José 13 2017 Variant-based satisfiability in initial algebras. Zbl 1396.68074Meseguer, José 13 2016 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 13 1985 Generalized rewrite theories. Zbl 1039.03020Bruni, Roberto; Meseguer, José 13 2003 Equational abstractions. Zbl 1155.68050Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 13 2008 Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034Clavel, Manuel; Meseguer, José; Palomino, Miguel 12 2007 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124Lucas, Salvador; Meseguer, José 12 2016 Modular rewriting semantics of programming languages. Zbl 1108.68401Meseguer, José; Braga, Christiano 12 2004 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 12 2002 The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459Meseguer, José 12 2008 Termination modulo combinations of equational theories. Zbl 1193.68145Durán, Francisco; Lucas, Salvador; Meseguer, José 12 2009 Mapping tile logic into rewriting logic. Zbl 0903.08010Meseguer, José; Montanari, Ugo 12 1998 Operational semantics of OBJ-3. Zbl 0649.68028Kirchner, Claude; Kirchner, Hélène; Meseguer, José 11 1988 Order completion monads. Zbl 0522.18005Meseguer, J. 11 1983 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 11 2009 Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198Lucas, Salvador; Meseguer, José 11 2009 Order-sorted generalization. Zbl 1347.68193Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 11 2009 Varieties of chain-complete algebras. Zbl 0445.18008Meseguer, Jose 11 1980 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 11 2009 On the axiomatization of “if-then-else”. Zbl 0628.68032Guessarian, Irène; Meseguer, José 10 1987 Axiomatizing net computations and processes. Zbl 0722.68085Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 10 1989 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 2001 The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José 10 2001 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 1996 Formal JVM code analysis in JavaFAN. Zbl 1108.68382Farzan, Azadeh; Meseguer, José; Roşu, Grigore 10 2004 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104Bruni, R.; Meseguer, J.; Montanari, U. 9 1998 An introduction to OBJ 3. Zbl 0666.68010Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 9 1988 Proving safety properties of rewrite theories. Zbl 1344.68142Rocha, Camilo; Meseguer, José 9 2011 Abstraction and completeness for real-time Maude. Zbl 1279.68218Ölveczky, Peter Csaba; Meseguer, José 9 2007 Towards Maude 2. 0. Zbl 0962.68108Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. 9 2000 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 9 2009 Specification and analysis of distributed object-based stochastic hybrid systems. Zbl 1178.68350Meseguer, José; Sharykin, Raman 8 2006 Maude’s module algebra. Zbl 1116.68047Durán, Francisco; Meseguer, José 8 2007 A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244Bae, Kyungmin; Meseguer, José 8 2012 Order-sorted equational unification revisited. Zbl 1291.68220Hendrix, Joe; Meseguer, José 8 2012 A rewriting semantics for Maude strategies. Zbl 1347.68199Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 8 2009 Modular rewriting semantics in practice. Zbl 1272.68168Braga, Christiano; Meseguer, José 8 2005 Deduction, strategies, and rewriting. Zbl 1277.68241Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 8 2007 A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668Hendrix, Joe; Clavel, Manuel; Meseguer, José 8 2005 Rewriting logic and maude: A wide-spectrum semantic framework for object-based distributed systems. Zbl 0968.68079Meseguer, José 8 2000 Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. Zbl 0962.68109Olveczky, Peter Csaba; Meseguer, Jose 8 2000 On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006Meseguer, J. 8 1977 Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L. 8 2006 Reflective metalogical frameworks. Zbl 1407.03045Basin, David; Clavel, Manuel; Meseguer, José 8 2004 Research directions in rewriting logic. Zbl 0940.68069Meseguer, José 7 1999 From Petri nets to linear logic through categories: A survey. Zbl 0766.68100Martí-Oliet, Narciso; Meseguer, José 7 1991 An algebraic semantics for MOF. Zbl 1213.68358Boronat, Artur; Meseguer, José 7 2010 On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098Hendrix, Joe; Meseguer, José 7 2007 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207Farzan, Azadeh; Meseguer, José 7 2007 Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081Denker, G.; Meseguer, J.; Talcott, C. 7 2000 Effectively checking the finite variant property. Zbl 1145.68444Escobar, Santiago; Meseguer, José; Sasse, Ralf 7 2008 Programming and symbolic computation in Maude. Zbl 07161317Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 6 2020 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 07161316Meseguer, José 4 2020 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 07161321Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 4 2020 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 07161326Durán, Francisco; Meseguer, José; Rocha, Camilo 2 2020 Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 07350035Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 2 2020 A constructor-based reachability logic for rewrite theories. Zbl 1471.68076Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 1 2020 The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. Zbl 1459.68092Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl 1 2020 \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 4 2019 Metalevel algorithms for variant satisfiability. Zbl 1430.68423Skeirik, Stephen; Meseguer, José 6 2018 A constructor-based reachability logic for rewrite theories. Zbl 1471.68075Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 4 2018 Symbolic reasoning methods in rewriting logic and Maude. Zbl 06958305Meseguer, José 4 2018 Variant-based decidable satisfiability in initial algebras with predicates. Zbl 06932837Gutiérrez, Raúl; Meseguer, José 2 2018 The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. Zbl 1393.68088Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl 2 2018 Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080Meseguer, José 13 2017 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155Lucas, Salvador; Meseguer, José 6 2017 Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054Meseguer, José; Skeirik, Stephen 4 2017 Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 4 2017 Rewriting modulo SMT and open system analysis. Zbl 1353.68156Rocha, Camilo; Meseguer, José; Muñoz, César 3 2017 Variant-based satisfiability in initial algebras. Zbl 1396.68074Meseguer, José 13 2016 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124Lucas, Salvador; Meseguer, José 12 2016 Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 4 2016 Order-sorted rewriting and congruence closure. Zbl 1475.68142Meseguer, José 4 2016 Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 1 2016 Metalevel algorithms for variant satisfiability. Zbl 1367.68256Skeirik, Stephen; Meseguer, José 1 2016 Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169AlTurki, Musab A.; Meseguer, José 4 2015 Localized operational termination in general logics. Zbl 1453.68053Lucas, Salvador; Meseguer, José 3 2015 Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 1457.68136Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl 3 2015 Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053Meseguer, José; Skeirik, Stephen 3 2015 Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 1454.68014Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 2 2015 Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 1 2015 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 15 2014 Rewriting modulo SMT and open system analysis. Zbl 1367.68151Rocha, Camilo; Meseguer, José; Muñoz, César 15 2014 Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162Bae, Kyungmin; Meseguer, José 5 2014 2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145Lucas, Salvador; Meseguer, José 5 2014 ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 4 2014 State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 3 2014 Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144Lucas, Salvador; Meseguer, José 3 2014 Predicate abstraction of rewrite theories. Zbl 1416.68118Bae, Kyungmin; Meseguer, José 2 2014 A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 2 2014 Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool. Zbl 1407.68302Rocha, Camilo; Meseguer, José 1 2014 Statistical model checking for composite actor systems. Zbl 1394.68228Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin 5 2013 The rewriting logic semantics project: a progress report. Zbl 1435.68188Meseguer, José; Roşu, Grigore 4 2013 Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264Erbatur, Serdar; Escobar, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago, Sonia; Sasse, Ralf 2 2013 Folding variant narrowing and optimal variant termination. Zbl 1291.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 30 2012 Twenty years of rewriting logic. Zbl 1267.03043Meseguer, José 29 2012 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139Durán, Francisco; Meseguer, José 17 2012 A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244Bae, Kyungmin; Meseguer, José 8 2012 Order-sorted equational unification revisited. Zbl 1291.68220Hendrix, Joe; Meseguer, José 8 2012 Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Zbl 1284.68073Meseguer, José; Ölveczky, Peter Csaba 4 2012 Model checking LTLR formulas under localized fairness. Zbl 1367.68180Bae, Kyungmin; Meseguer, José 3 2012 Rewriting semantics of production rule sets. Zbl 1279.68188Katelman, Michael; Keller, Sean; Meseguer, José 2 2012 Order-sorted equality enrichments modulo axioms. Zbl 1366.68185Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo 1 2012 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 20 2011 Proving safety properties of rewrite theories. Zbl 1344.68142Rocha, Camilo; Meseguer, José 9 2011 The rewriting logic semantics project: a progress report. Zbl 1342.68198Meseguer, José; Roşu, Grigore 6 2011 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 vlogsl: a strategy language for simulation-based verification of hardware. Zbl 1325.68150Katelman, Michael; Meseguer, José 3 2011 An algebraic semantics for MOF. Zbl 1213.68358Boronat, Artur; Meseguer, José 7 2010 Algebraic simulations. Zbl 1184.68300Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 7 2010 A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060Alarcón, Beatriz; Lucas, Salvador; Meseguer, José 6 2010 A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065Durán, Francisco; Meseguer, José 6 2010 A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066Durán, Francisco; Meseguer, José 5 2010 Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087Rocha, Camilo; Meseguer, José 5 2010 Folding variant narrowing and optimal variant termination. Zbl 1306.68069Escobar, Santiago; Sasse, Ralf; Meseguer, José 4 2010 Concurrent rewriting semantics and analysis of asynchronous digital circuits. Zbl 1306.68078Katelman, Michael; Keller, Sean; Meseguer, José 4 2010 The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099Bae, Kyungmin; Meseguer, José 4 2010 Coverset induction with partiality and subsorts: a powerlist case study. Zbl 1291.68346Hendrix, Joe; Kapur, Deepak; Meseguer, José 2 2010 Twenty years of rewriting logic. Zbl 1306.68082Meseguer, José 2 2010 A formal pattern architecture for safe medical systems. Zbl 1306.68090Sun, Mu; Meseguer, José; Sha, Lui 1 2010 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 27 2009 What is a multi-modeling language? Zbl 1253.68225Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 13 2009 Termination modulo combinations of equational theories. Zbl 1193.68145Durán, Francisco; Lucas, Salvador; Meseguer, José 12 2009 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 11 2009 Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198Lucas, Salvador; Meseguer, José 11 2009 Order-sorted generalization. Zbl 1347.68193Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 11 2009 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 11 2009 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 9 2009 A rewriting semantics for Maude strategies. Zbl 1347.68199Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 8 2009 Order-sorted parameterization and induction. Zbl 1253.68215Meseguer, José 6 2009 Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067Durán, Francisco; Lucas, Salvador; Meseguer, José 5 2009 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 26 2008 MTT: The Maude termination tool. (System description). Zbl 1165.68360Durán, Francisco; Lucas, Salvador; Meseguer, José 19 2008 Equational abstractions. Zbl 1155.68050Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 13 2008 The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459Meseguer, José 12 2008 Effectively checking the finite variant property. Zbl 1145.68444Escobar, Santiago; Meseguer, José; Sasse, Ralf 7 2008 Theorem proving modulo based on Boolean equational procedures. Zbl 1139.03010Rocha, Camilo; Meseguer, José 3 2008 Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003 1 2008 Termination of just/fair computations in term rewriting. Zbl 1146.68040Lucas, Salvador; Meseguer, José 1 2008 All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 156 2007 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 31 2007 The rewriting logic semantics project. Zbl 1111.68068Meseguer, José; Roşu, Grigore 26 2007 Semantics and pragmatics of real-time maude. Zbl 1115.68095Ölveczky, Peter Csaba; Meseguer, José 25 2007 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 20 2007 Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034Clavel, Manuel; Meseguer, José; Palomino, Miguel 12 2007 Abstraction and completeness for real-time Maude. Zbl 1279.68218Ölveczky, Peter Csaba; Meseguer, José 9 2007 Maude’s module algebra. Zbl 1116.68047Durán, Francisco; Meseguer, José 8 2007 Deduction, strategies, and rewriting. Zbl 1277.68241Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 8 2007 On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098Hendrix, Joe; Meseguer, José 7 2007 Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207Farzan, Azadeh; Meseguer, José 7 2007 A rewriting semantics for ABEL with applications to hardware/software co-design and analysis. Zbl 1279.68189Katelman, Michael; Meseguer, José 6 2007 ...and 123 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 887 Authors 91 Meseguer Guaita, José 28 Lucas, Salvador 28 Martí-Oliet, Narciso 27 Montanari, Ugo G. 26 Escobar, Santiago 24 Alpuente, María 24 Corradini, Andrea 22 Roşu, Grigore 20 Diaconescu, Răzvan 18 Bruni, Roberto 18 Lucanu, Dorel 18 Talcott, Carolyn L. 17 Kirchner, Hélène 16 Tarlecki, Andrzej 16 Verdejo, Alberto 15 Durán, Francisco 15 Olveczky, Peter Csaba 13 Baldan, Paolo 13 Gadducci, Fabio 12 Futatsugi, Kokichi 12 Mossakowski, Till 12 Sannella, Donald T. 11 Ballis, Demis 11 Goguen, Joseph Amadee 11 Rusu, Vlad 11 Sapiña, Julia 11 Wirsing, Martin 10 Ehrig, Hartmut 10 Ogata, Kazuhiro 10 Rabe, Florian 9 Şerbănuţă, Traian Florin 8 Eker, Steven 8 Gaĭnă, Daniel 8 Hennicker, Rolf 8 Johnsen, Einar Broch 8 Kirchner, Claude 8 Kutsia, Temur 8 Orejas, Fernando 8 Owe, Olaf 7 Clavel, Manuel 7 Gutiérrez, Raúl 7 Jouannaud, Jean-Pierre 7 Nishida, Naoki 7 Palomino, Miguel 7 Riesco, Adrián 7 Rocha, Camilo 7 Stehr, Mark-Oliver 6 Andrei, Oana 6 Arusoaie, Andrei 6 Fernández, Maribel 6 Frechina, Francisco 6 Gallier, Jean H. 6 Meadows, Catherine A. 6 Pita, Isabel 6 Ringeissen, Christophe 5 Bidoit, Michel 5 Kohlhase, Michael 5 Meinke, Karl 5 Mosses, Peter D. 5 Padawitz, Peter 5 Scedrov, Andre 5 Sobociński, Paweł 5 van Glabbeek, Robert Jan 5 Vidal, Germán 4 Arbab, Farhad 4 Caltais, Georgiana 4 Cervesato, Iliano 4 Ciobanu, Gabriel 4 Erné, Marcel 4 Falaschi, Moreno 4 Gramlich, Bernhard 4 Heckel, Reiko 4 Iborra, José 4 Kanovich, Max Iosifovich 4 Knapp, Alexander 4 König, Barbara 4 Lincoln, Patrick D. 4 Marin, Mircea 4 Melgratti, Hernán 4 Oriat, C. 4 Rubio, Rubén 4 Sassone, Vladimiro 4 Skeirik, Stephen 4 Thati, Prasanna 4 Winkler, Sarah 3 Adámek, Jiří 3 Aït-Kaci, Hassan 3 Alarcón, Beatriz 3 Albert, Elvira 3 Bae, Kyungmin 3 Baez, John C. 3 Borovanský, Peter 3 Bouhoula, Adel 3 Buro, Samuele 3 Caballero, Rafael E. 3 Ciobâcă, Ştefan 3 Clarke, Dave 3 Dershowitz, Nachum 3 Erbatur, Serdar 3 Gnaedig, Isabelle ...and 787 more Authors all top 5 Cited in 72 Serials 165 Theoretical Computer Science 42 Information and Computation 41 Journal of Logical and Algebraic Methods in Programming 26 Formal Aspects of Computing 23 Journal of Symbolic Computation 20 The Journal of Logic and Algebraic Programming 17 Journal of Automated Reasoning 16 Journal of Computer and System Sciences 16 MSCS. Mathematical Structures in Computer Science 13 Acta Informatica 10 Information Processing Letters 10 Cybernetics and Systems Analysis 8 Algebra Universalis 8 Higher-Order and Symbolic Computation 7 Science of Computer Programming 7 Annals of Pure and Applied Logic 6 Artificial Intelligence 6 Fuzzy Sets and Systems 6 Journal of Pure and Applied Algebra 6 Applied Categorical Structures 6 Theory and Practice of Logic Programming 5 Formal Methods in System Design 5 Annals of Mathematics and Artificial Intelligence 5 Logica Universalis 5 Logical Methods in Computer Science 4 Diagrammes 4 Fundamenta Informaticae 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Studia Logica 3 International Journal of Algebra and Computation 3 RAIRO. Theoretical Informatics and Applications 2 Programming and Computer Software 2 Order 2 Journal of Computer Science and Technology 2 International Journal of Foundations of Computer Science 2 International Journal of Computer Mathematics 2 RAIRO. Informatique Théorique et Applications 2 Applicable Algebra in Engineering, Communication and Computing 2 Theory and Applications of Categories 2 Mathematics in Computer Science 1 Reviews in Mathematical Physics 1 Journal of Geometry and Physics 1 Applied Mathematics and Computation 1 Information Sciences 1 Journal of Soviet Mathematics 1 The Journal of Symbolic Logic 1 Mathematische Zeitschrift 1 Notre Dame Journal of Formal Logic 1 Quaestiones Mathematicae 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Discrete Event Dynamic Systems 1 Distributed Computing 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 Soft Computing 1 Probability in the Engineering and Informational Sciences 1 Sādhanā 1 Computer Languages, Systems & Structures 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 The Review of Symbolic Logic 1 Advances in Fuzzy Systems 1 Symmetry 1 Journal of Theoretical Biology 1 Journal of Membrane Computing all top 5 Cited in 30 Fields 776 Computer science (68-XX) 199 Mathematical logic and foundations (03-XX) 82 Category theory; homological algebra (18-XX) 34 General algebraic systems (08-XX) 24 Information and communication theory, circuits (94-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 7 Biology and other natural sciences (92-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 History and biography (01-XX) 4 Operations research, mathematical programming (90-XX) 4 Systems theory; control (93-XX) 3 Combinatorics (05-XX) 3 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 2 Associative rings and algebras (16-XX) 2 Partial differential equations (35-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Geometry (51-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Special functions (33-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year