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 more...less Homepage: http://formalmethods.web.engr.illinois.edu/meseguer/ External Links: MGP · ORCID · ResearchGate · dblp · GND · IdRef · theses.fr Documents Indexed: 245 Publications since 1975, including 4 Books 9 Contributions as Editor Biographic References: 2 Publications Co-Authors: 105 Co-Authors with 225 Joint Publications 1,859 Co-Co-Authors all top 5 Co-Authors 27 single-authored 30 Escobar, Santiago 28 Martí-Oliet, Narciso 21 Durán, Francisco 17 Goguen, Joseph Amadee 17 Lucas, Salvador 16 Olveczky, Peter Csaba 14 Montanari, Ugo G. 13 Talcott, Carolyn L. 12 Clavel, Manuel 12 Eker, Steven 12 Roşu, Grigore 9 Alpuente, María 9 Bruni, Roberto 9 Sols, Ignacio 8 Palomino, Miguel 8 Rocha, Camilo 7 Meadows, Catherine A. 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 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 3 Sapiña, Julia 2 Agha, Gul A. 2 Aparicio-Sánchez, Damián 2 Basin, David A. 2 Boronat, Artur 2 Braga, Christiano 2 Casley, Ross 2 Cerioli, Maura 2 Crew, Roger F. 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 Pratt, Vaughan R. 2 Rubio, Rubén 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 Chen, Feng 1 Coglio, Alessandro 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 Quesada, José F. 1 Santhanam, Keshav ...and 9 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 241 Computer science (68-XX) 73 Mathematical logic and foundations (03-XX) 28 Category theory; homological algebra (18-XX) 16 General algebraic systems (08-XX) 15 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 226 Publications have been cited 2,752 times in 899 Documents Cited by ▼ Year ▼ Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043Meseguer, José 214 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 164 2007 Membership algebra as a logical framework for equational specification. Zbl 0903.08009Meseguer, José 111 1998 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 107 1992 Petri nets are monoids. Zbl 0711.68077Meseguer, José; Montanari, Ugo 68 1990 Specification and proof in membership equational logic. Zbl 0938.68057Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J. 58 2000 Initiality, induction, and computability. Zbl 0571.68004Meseguer, José; Goguen, Joseph A. 52 1985 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014Goguen, J.; Meseguer, J. 46 1982 The Maude 2.0 system. Zbl 1038.68559Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 46 2003 Semantic foundations for generalized rewrite theories. Zbl 1097.68051Bruni, Roberto; Meseguer, José 42 2006 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 40 1982 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 36 1985 Operational termination of conditional term rewriting systems. Zbl 1185.68374Lucas, Salvador; Marché, Claude; Meseguer, José 35 2005 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 32 2007 Folding variant narrowing and optimal variant termination. Zbl 1291.68217Escobar, Santiago; Sasse, Ralf; Meseguer, José 32 2012 Twenty years of rewriting logic. Zbl 1267.03043Meseguer, José 31 2012 Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061Escobar, Santiago; Meadows, Catherine; Meseguer, José 31 2009 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 28 1984 Rewriting logic: Roadmap and bibliography. Zbl 1027.68613Martí-Oliet, Narciso; Meseguer, José 27 2002 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é 26 2007 Principles of Maude. Zbl 0912.68095Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J. 26 1996 Proving operational termination of membership equational programs. Zbl 1192.68154Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier 26 2008 General logics. Zbl 0691.03001Meseguer, José 25 1989 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 24 1993 Rewriting logic as a logical and semantic framework. Zbl 0912.68096Martí-Oliet, Narciso; Meseguer, José 24 1996 Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061Ölveczky, Peter Csaba; Meseguer, José 22 2002 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 21 2007 Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140Bae, Kyungmin; Escobar, Santiago; Meseguer, José 21 2011 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 21 1997 Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464Meseguer, José; Roşu, Grigore 20 2004 The Maude LTL model checker. Zbl 1272.68243Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish 20 2004 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 19 1989 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 18 1987 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139Durán, Francisco; Meseguer, José 18 2012 Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba 17 2001 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 17 2014 A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375Escobar, Santiago; Meadows, Catherine; Meseguer, José 17 2006 Variant-based satisfiability in initial algebras. Zbl 1396.68074Meseguer, José 17 2016 Axiomatizing net computations and processes. Zbl 0722.68085Degano, Pierpaolo; Meseguer, José; Montanari, Ugo 17 1989 From Petri nets to linear logic. Zbl 0746.03057Martí-Oliet, Narciso; Meseguer, José 16 1991 Formal analysis of Java programs in JavaFAN. Zbl 1103.68611Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore 16 2004 Rewriting modulo SMT and open system analysis. Zbl 1367.68151Rocha, Camilo; Meseguer, José; Muñoz, César 15 2014 May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186Cerioli, Maura; Meseguer, José 15 1997 Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058Bruni, Roberto; Meseguer, José; Montanari, Ugo 15 2002 Reflection in conditional rewriting logic. Zbl 1001.68060Clavel, Manuel; Meseguer, José 15 2002 Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080Meseguer, José 14 2017 Semantic models for distributed object reflection. Zbl 1049.68815Meseguer, José; Talcott, Carolyn 14 2002 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 14 1985 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 13 2009 Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034Clavel, Manuel; Meseguer, José; Palomino, Miguel 13 2007 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 Generalized rewrite theories. Zbl 1039.03020Bruni, Roberto; Meseguer, José 13 2003 Operational semantics of OBJ-3. Zbl 0649.68028Kirchner, Claude; Kirchner, Hélène; Meseguer, José 13 1988 Equational abstractions. Zbl 1155.68050Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 13 2008 What is a multi-modeling language? Zbl 1253.68225Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 13 2009 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124Lucas, Salvador; Meseguer, José 12 2016 On the axiomatization of “if-then-else”. Zbl 0628.68032Guessarian, Irène; Meseguer, José 12 1987 Mapping tile logic into rewriting logic. Zbl 0903.08010Meseguer, José; Montanari, Ugo 12 1998 Modular rewriting semantics of programming languages. Zbl 1108.68401Meseguer, José; Braga, Christiano 12 2004 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 12 1996 Towards Maude 2. 0. Zbl 0962.68108Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. 12 2000 An introduction to OBJ 3. Zbl 0666.68010Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 12 1988 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 Proving safety properties of rewrite theories. Zbl 1344.68142Rocha, Camilo; Meseguer, José 12 2011 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 Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104Bruni, R.; Meseguer, J.; Montanari, U. 11 1998 Order completion monads. Zbl 0522.18005Meseguer, J. 11 1983 Varieties of chain-complete algebras. Zbl 0445.18008Meseguer, Jose 11 1980 The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José 11 2001 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 11 2009 Formal JVM code analysis in JavaFAN. Zbl 1108.68382Farzan, Azadeh; Meseguer, José; Roşu, Grigore 10 2004 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 2001 Abstraction and completeness for real-time Maude. Zbl 1279.68218Ölveczky, Peter Csaba; Meseguer, José 10 2007 Reflective metalogical frameworks. Zbl 1407.03045Basin, David; Clavel, Manuel; Meseguer, José 10 2004 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155Lucas, Salvador; Meseguer, José 9 2017 Order-sorted equational unification revisited. Zbl 1291.68220Hendrix, Joe; Meseguer, José 9 2012 A modular equational generalization algorithm. Zbl 1185.68219Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro 9 2009 Deduction, strategies, and rewriting. Zbl 1277.68241Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 9 2007 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. 9 2006 Algebraic simulations. Zbl 1184.68300Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 9 2010 A rewriting semantics for Maude strategies. Zbl 1347.68199Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 8 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 sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668Hendrix, Joe; Clavel, Manuel; Meseguer, José 8 2005 Programming and symbolic computation in Maude. Zbl 1494.68109Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 8 2020 A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244Bae, Kyungmin; Meseguer, José 8 2012 On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006Meseguer, J. 8 1977 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 Modular rewriting semantics in practice. Zbl 1272.68168Braga, Christiano; Meseguer, José 8 2005 On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098Hendrix, Joe; Meseguer, José 7 2007 From Petri nets to linear logic through categories: A survey. Zbl 0766.68100Martí-Oliet, Narciso; Meseguer, José 7 1991 General logics and logical frameworks. Zbl 0817.03005Martí-Oliet, Narciso; Meseguer, José 7 1994 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 Rewriting logic as a metalogical framework. Zbl 1044.03020Basin, David; Clavel, Manuel; Meseguer, José 7 2000 Symbolic computation in Maude: some tapas. Zbl 07496639Meseguer, José 1 2021 Programming and symbolic computation in Maude. Zbl 1494.68109Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 8 2020 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 5 2020 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166Meseguer, José 4 2020 Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 1497.68235Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 4 2020 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073Durán, Francisco; Meseguer, José; Rocha, Camilo 3 2020 A constructor-based reachability logic for rewrite theories. Zbl 1471.68076Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 3 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 2 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é 6 2019 Metalevel algorithms for variant satisfiability. Zbl 1430.68423Skeirik, Stephen; Meseguer, José 7 2018 Symbolic reasoning methods in rewriting logic and Maude. Zbl 06958305Meseguer, José 6 2018 A constructor-based reachability logic for rewrite theories. Zbl 1471.68075Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José 5 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 5 2018 Variant-based decidable satisfiability in initial algebras with predicates. Zbl 06932837Gutiérrez, Raúl; Meseguer, José 4 2018 Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080Meseguer, José 14 2017 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155Lucas, Salvador; Meseguer, José 9 2017 Partial evaluation of order-sorted equational programs modulo axioms. Zbl 1485.68050Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José 5 2017 Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054Meseguer, José; Skeirik, Stephen 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é 17 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 5 2016 Order-sorted rewriting and congruence closure. Zbl 1475.68142Meseguer, José 4 2016 Metalevel algorithms for variant satisfiability. Zbl 1367.68256Skeirik, Stephen; Meseguer, José 1 2016 Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 1 2016 Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169AlTurki, Musab A.; Meseguer, José 6 2015 Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 3 2015 Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053Meseguer, José; Skeirik, Stephen 3 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 Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 1454.68014Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 2 2015 A modular order-sorted equational generalization algorithm. Zbl 1314.68169Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José 17 2014 Rewriting modulo SMT and open system analysis. Zbl 1367.68151Rocha, Camilo; Meseguer, José; Muñoz, César 15 2014 2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145Lucas, Salvador; Meseguer, José 6 2014 Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162Bae, Kyungmin; Meseguer, José 5 2014 State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia 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 Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144Lucas, Salvador; Meseguer, José 3 2014 A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122Liu, Si; Ölveczky, Peter Csaba; Meseguer, José 2 2014 Predicate abstraction of rewrite theories. Zbl 1416.68118Bae, Kyungmin; 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é 32 2012 Twenty years of rewriting logic. Zbl 1267.03043Meseguer, José 31 2012 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139Durán, Francisco; Meseguer, José 18 2012 Order-sorted equational unification revisited. Zbl 1291.68220Hendrix, Joe; Meseguer, José 9 2012 A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244Bae, Kyungmin; 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é 21 2011 Proving safety properties of rewrite theories. Zbl 1344.68142Rocha, Camilo; Meseguer, José 12 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 Algebraic simulations. Zbl 1184.68300Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 9 2010 An algebraic semantics for MOF. Zbl 1213.68358Boronat, Artur; Meseguer, José 7 2010 A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060Alarcón, Beatriz; Lucas, Salvador; Meseguer, José 7 2010 Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087Rocha, Camilo; Meseguer, José 7 2010 Folding variant narrowing and optimal variant termination. Zbl 1306.68069Escobar, Santiago; Sasse, Ralf; 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 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é 31 2009 Variant narrowing and equational unification. Zbl 1347.68194Escobar, Santiago; Meseguer, José; Sasse, Ralf 13 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 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é 5 2008 Termination of just/fair computations in term rewriting. Zbl 1146.68040Lucas, Salvador; Meseguer, José 1 2008 Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003 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 164 2007 Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079Meseguer, José; Thati, Prasanna 32 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é 26 2007 Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097Escobar, Santiago; Meseguer, José 21 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 13 2007 Abstraction and completeness for real-time Maude. Zbl 1279.68218Ölveczky, Peter Csaba; Meseguer, José 10 2007 Deduction, strategies, and rewriting. Zbl 1277.68241Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto 9 2007 Maude’s module algebra. Zbl 1116.68047Durán, Francisco; Meseguer, José 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 ...and 126 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 940 Authors 95 Meseguer Guaita, José 31 Lucas, Salvador 31 Martí-Oliet, Narciso 29 Escobar, Santiago 28 Montanari, Ugo G. 25 Corradini, Andrea 24 Alpuente, María 23 Roşu, Grigore 21 Diaconescu, Răzvan 21 Talcott, Carolyn L. 19 Lucanu, Dorel 18 Bruni, Roberto 17 Kirchner, Hélène 17 Tarlecki, Andrzej 17 Verdejo, Alberto 16 Durán, Francisco 15 Olveczky, Peter Csaba 14 Gadducci, Fabio 14 Sannella, Donald T. 13 Baldan, Paolo 13 Goguen, Joseph Amadee 13 Sapiña, Julia 12 Ehrig, Hartmut 12 Futatsugi, Kokichi 12 Mossakowski, Till 11 Ballis, Demis 11 Rusu, Vlad 11 Wirsing, Martin 10 Gutiérrez, Raúl 10 Hennicker, Rolf 10 Ogata, Kazuhiro 10 Rabe, Florian 9 Eker, Steven 9 Kutsia, Temur 9 Orejas, Fernando 9 Şerbănuţă, Traian Florin 8 Gaĭnă, Daniel 8 Johnsen, Einar Broch 8 Kirchner, Claude 8 Meadows, Catherine A. 8 Owe, Olaf 8 Riesco, Adrián 8 Ringeissen, Christophe 8 Rocha, Camilo 7 Clavel, Manuel 7 Jouannaud, Jean-Pierre 7 Nishida, Naoki 7 Palomino, Miguel 7 Pita, Isabel 7 Scedrov, Andre 7 Stehr, Mark-Oliver 6 Andrei, Oana 6 Arusoaie, Andrei 6 Bidoit, Michel 6 Fernández, Maribel 6 Frechina, Francisco 6 Gallier, Jean H. 6 Kanovich, Max Iosifovich 6 Sobociński, Paweł 5 Arbab, Farhad 5 Kohlhase, Michael 5 Lincoln, Patrick D. 5 Meinke, Karl 5 Mosses, Peter D. 5 Oriat, Catherine 5 Padawitz, Peter 5 Rubio, Rubén 5 Sassone, Vladimiro 5 van Glabbeek, Robert Jan 5 Vidal, Germán 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 Knapp, Alexander 4 König, Barbara 4 Marin, Mircea 4 Melgratti, Hernán 4 Middeldorp, Aart 4 Olarte, Carlos 4 Skeirik, Stephen 4 Smolka, Gert 4 Thati, Prasanna 4 Winkler, Sarah 3 Adámek, Jiří 3 Aït-Kaci, Hassan 3 Alarcón, Beatriz 3 Albert, Elvira 3 Aparicio-Sánchez, Damián 3 Bae, Kyungmin 3 Baez, John C. 3 Borovanský, Peter 3 Bouhoula, Adel 3 Buro, Samuele 3 Caballero, Rafael E. 3 Cerna, David M. ...and 840 more Authors all top 5 Cited in 72 Serials 166 Theoretical Computer Science 45 Journal of Logical and Algebraic Methods in Programming 42 Information and Computation 26 Formal Aspects of Computing 23 Journal of Symbolic Computation 20 The Journal of Logic and Algebraic Programming 19 Journal of Automated Reasoning 17 MSCS. Mathematical Structures in Computer Science 16 Journal of Computer and System Sciences 13 Acta Informatica 10 Information Processing Letters 10 Cybernetics and Systems Analysis 9 Annals of Pure and Applied Logic 8 Algebra Universalis 8 Higher-Order and Symbolic Computation 7 Science of Computer Programming 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 6 Logical Methods in Computer Science 5 Formal Methods in System Design 5 Annals of Mathematics and Artificial Intelligence 5 Logica Universalis 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 29 Fields 834 Computer science (68-XX) 219 Mathematical logic and foundations (03-XX) 92 Category theory; homological algebra (18-XX) 37 General algebraic systems (08-XX) 30 Information and communication theory, circuits (94-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 8 Biology and other natural sciences (92-XX) 6 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 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year