×

Meseguer Guaita, José

Author ID: meseguer.jose Recent zbMATH articles by "Meseguer Guaita, José"
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: 263 Publications since 1975, including 4 Books
9 Contributions as Editor
Biographic References: 2 Publications
Co-Authors: 108 Co-Authors with 236 Joint Publications
2,456 Co-Co-Authors
all top 5

Co-Authors

34 single-authored
34 Escobar, Santiago
30 Martí-Oliet, Narciso
23 Durán, Francisco
18 Goguen, Joseph Amadee
17 Lucas, Salvador
17 Olveczky, Peter Csaba
14 Eker, Steven
14 Montanari, Ugo G.
14 Talcott, Carolyn L.
12 Clavel, Manuel
12 Roşu, Grigore
11 Alpuente, María
10 Rocha, Camilo
9 Bruni, Roberto
9 Skeirik, Stephen
9 Sols, Ignacio
8 Meadows, Catherine A.
8 Palomino, Miguel
7 Sassone, Vladimiro
7 Thati, Prasanna
6 Bae, Kyungmin
6 Liu, Si
5 Cuenca-Ortega, Angel
5 Gutiérrez, Raúl
5 Kühnel, Wolfgang
5 Lincoln, Patrick D.
5 Pfender, Michael
5 Sasse, Ralf
4 Degano, Pierpaolo
4 Farzan, Azadeh
4 Hendrix, Joe
4 Jouannaud, Jean-Pierre
4 Katelman, Michael
4 Santiago, Sonia
4 Sapiña, Julia
4 Stehr, Mark-Oliver
3 Kirchner, Claude
3 Rubio, Rubén
3 Verdejo, Alberto
3 Wang, Qi
2 Agha, Gul A.
2 Aparicio-Sánchez, Damián
2 Ballis, Demis
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 Sen Gupta, Indranil
2 Şerbănuţă, Traian Florin
2 Sridharanarayanan, Ambarish
2 Ştefănescu, Andrei
2 Wirsing, Martin
1 Aida, Hitoshi
1 Alarcón, Beatriz
1 AlTurki, Musab A.
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
...and 12 more Co-Authors
all top 5

Serials

19 Theoretical Computer Science
12 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

Publications by Year

Citations contained in zbMATH Open

251 Publications have been cited 3,367 times in 1,068 Documents Cited by Year
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
246
1992
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
213
2007
Membership algebra as a logical framework for equational specification. Zbl 0903.08009
Meseguer, José
126
1998
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
116
1992
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
88
1990
General logics. Zbl 0691.03001
Meseguer, José
75
1989
Specification and proof in membership equational logic. Zbl 0938.68057
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J.
66
2000
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
64
1985
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
50
1982
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
47
2003
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
45
2006
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
42
1982
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
41
2012
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
40
2009
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
39
2007
Operational termination of conditional term rewriting systems. Zbl 1185.68374
Lucas, Salvador; Marché, Claude; Meseguer, José
38
2005
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
38
1985
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
37
2012
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
36
1987
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
32
1984
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
30
1996
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
29
2008
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
29
1985
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
29
1996
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
28
2002
Axiomatizing net computations and processes. Zbl 0722.68085
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
28
1989
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
27
2007
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
26
1993
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
26
2007
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
26
2011
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
26
2004
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
26
2016
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
26
1988
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
25
1997
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
25
2007
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
24
2012
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
24
2006
Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061
Ölveczky, Peter Csaba; Meseguer, José
24
2002
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
24
2014
Axiomatizing the algebra of net computations and processes. Zbl 0849.68087
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
23
1996
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
22
1989
Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464
Meseguer, José; Roşu, Grigore
21
2004
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
21
2008
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
21
2020
Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
20
2001
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
19
1988
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
18
2017
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
18
2004
Rewriting logic as a semantic framework for concurrency: a progress report. Zbl 1514.68175
Meseguer, José
18
1996
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
17
2002
Reflection in conditional rewriting logic. Zbl 1001.68060
Clavel, Manuel; Meseguer, José
17
2002
Reflection and strategies in rewriting logic. Zbl 0917.68107
Clavel, Manuel; Meseguer, José
17
1996
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
17
2000
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
16
1991
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
16
2008
May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186
Cerioli, Maura; Meseguer, José
16
1997
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
15
2009
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
15
2009
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
15
2009
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
15
2016
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
Generalized rewrite theories. Zbl 1039.03020
Bruni, Roberto; Meseguer, José
15
2003
Mapping tile logic into rewriting logic. Zbl 0903.08010
Meseguer, José; Montanari, Ugo
15
1998
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
14
1996
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
14
2007
Semantic models for distributed object reflection. Zbl 1049.68815
Meseguer, José; Talcott, Carolyn
14
2002
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
13
2009
The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459
Meseguer, José
13
2008
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
13
2009
On the axiomatization of “if-then-else”. Zbl 0628.68032
Guessarian, Irène; Meseguer, José
13
1987
From Petri nets to linear logic. Zbl 1493.68250
Martí-Oliet, Narciso; Meseguer, José
13
1989
Varieties of chain-complete algebras. Zbl 0445.18008
Meseguer, Jose
12
1980
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034
Clavel, Manuel; Meseguer, José; Palomino, Miguel
12
2007
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
12
2009
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
12
2011
Order completion monads. Zbl 0522.18005
Meseguer, J.
12
1983
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
12
2001
Modular rewriting semantics of programming languages. Zbl 1108.68401
Meseguer, José; Braga, Christiano
12
2004
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166
Meseguer, José
12
2020
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
11
2009
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
11
1998
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
11
1987
The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542
Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José
11
2001
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
10
2009
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
10
2004
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
10
2012
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
10
2007
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
10
2004
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
10
2005
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 1525.68195
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
9
2019
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
From Petri nets to linear logic through categories: A survey. Zbl 0766.68100
Martí-Oliet, Narciso; Meseguer, José
9
1991
General logics and logical frameworks. Zbl 0817.03005
Martí-Oliet, Narciso; Meseguer, José
9
1994
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
9
2010
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
9
2017
Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Zbl 1225.68006
9
2011
On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098
Hendrix, Joe; Meseguer, José
9
2007
On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006
Meseguer, J.
9
1977
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
9
2012
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). Zbl 07628207
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
3
2022
Order-sorted equational generalization algorithm revisited. Zbl 07517439
Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia
2
2022
Checking sufficient completeness by inductive theorem proving. Zbl 1514.68038
Meseguer, José
1
2022
On ground convergence and completeness of conditional equational program hierarchies. Zbl 1514.68039
Meseguer, José; Skeirik, Stephen
1
2022
Protocol analysis with time and space. Zbl 1498.94052
Aparicio-Sánchez, Damián; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Sapiña, Julia
2
2021
Symbolic computation in Maude: some tapas. Zbl 07496639
Meseguer, José
2
2021
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
21
2020
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166
Meseguer, José
12
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
9
2020
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073
Durán, Francisco; Meseguer, José; Rocha, Camilo
8
2020
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms. Zbl 1497.68235
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
7
2020
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification. Zbl 1517.68167
Meseguer, José; Skeirik, Stephen
5
2020
Protocol analysis with time. Zbl 1492.94055
Aparicio-Sánchez, Damián; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Sapiña, Julia
4
2020
A constructor-based reachability logic for rewrite theories. Zbl 1471.68076
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
4
2020
The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques. Zbl 1459.68092
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
3
2020
Variants in the infinitary unification wonderland. Zbl 1517.68164
Meseguer, José
2
2020
Variant satisfiability of parameterized strings. Zbl 1517.68165
Meseguer, José
2
2020
Verification of the IBOS browser security properties in reachability logic. Zbl 1517.68254
Skeirik, Stephen; Meseguer, José; Rocha, Camilo
1
2020
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 1525.68195
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
9
2019
Homeomorphic embedding modulo combinations of associativity and commutativity axioms. Zbl 1524.68068
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
3
2019
Canonical narrowing with irreducibility constraints as a symbolic protocol analysis method. Zbl 07176720
Escobar, Santiago; Meseguer, José
2
2019
Automatic analysis of consistency properties of distributed transaction systems in Maude. Zbl 1527.68025
Liu, Si; Ölveczky, Peter Csaba; Zhang, Min; Wang, Qi; Meseguer, José
1
2019
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
8
2018
The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors. Zbl 1393.68088
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
7
2018
Symbolic reasoning methods in rewriting logic and Maude. Zbl 1509.68121
Meseguer, José
6
2018
Associative unification and symbolic reasoning modulo associativity in Maude. Zbl 1517.68158
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
6
2018
A constructor-based reachability logic for rewrite theories. Zbl 1471.68075
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
5
2018
Variant-based decidable satisfiability in initial algebras with predicates. Zbl 1508.68060
Gutiérrez, Raúl; Meseguer, José
5
2018
Generalized rewrite theories and coherence completion. Zbl 1517.68166
Meseguer, José
3
2018
ROLA: a new distributed transaction protocol and its formal analysis. Zbl 1425.68095
Liu, Si; Ölveczky, Peter Csaba; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José
1
2018
Proving ground confluence of equational specifications modulo axioms. Zbl 1517.68159
Durán, Francisco; Meseguer, José; Rocha, Camilo
1
2018
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
18
2017
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
9
2017
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 1485.68050
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
6
2017
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
6
2017
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054
Meseguer, José; Skeirik, Stephen
6
2017
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
26
2016
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
15
2016
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
8
2016
Order-sorted rewriting and congruence closure. Zbl 1475.68142
Meseguer, José
4
2016
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
1
2016
Metalevel algorithms for variant satisfiability. Zbl 1367.68256
Skeirik, Stephen; Meseguer, José
1
2016
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169
AlTurki, Musab A.; Meseguer, José
6
2015
Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
4
2015
Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 1457.68136
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
4
2015
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053
Meseguer, José; Skeirik, Stephen
3
2015
Localized operational termination in general logics. Zbl 1453.68053
Lucas, Salvador; Meseguer, José
3
2015
Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 1454.68014
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2015
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
24
2014
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
8
2014
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
7
2014
Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162
Bae, Kyungmin; Meseguer, José
6
2014
2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145
Lucas, Salvador; Meseguer, José
6
2014
Predicate abstraction of rewrite theories. Zbl 1416.68118
Bae, Kyungmin; Meseguer, José
3
2014
Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144
Lucas, Salvador; Meseguer, José
3
2014
Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Zbl 1283.68036
3
2014
A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122
Liu, 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.68302
Rocha, Camilo; Meseguer, José
1
2014
Statistical model checking for composite actor systems. Zbl 1394.68228
Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin
5
2013
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis. Zbl 1381.68264
Erbatur, Serdar; Escobar, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago, Sonia; Sasse, Ralf
5
2013
The rewriting logic semantics project: a progress report. Zbl 1435.68188
Meseguer, José; Roşu, Grigore
4
2013
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
41
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
37
2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
24
2012
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
10
2012
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
9
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Zbl 1284.68073
Meseguer, José; Ölveczky, Peter Csaba
4
2012
Model checking LTLR formulas under localized fairness. Zbl 1367.68180
Bae, Kyungmin; Meseguer, José
3
2012
Rewriting semantics of production rule sets. Zbl 1279.68188
Katelman, Michael; Keller, Sean; Meseguer, José
2
2012
Order-sorted equality enrichments modulo axioms. Zbl 1366.68185
Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo
1
2012
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
26
2011
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
12
2011
Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Zbl 1225.68006
9
2011
The rewriting logic semantics project: a progress report. Zbl 1342.68198
Meseguer, José; Roşu, Grigore
6
2011
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
5
2011
vlogsl: a strategy language for simulation-based verification of hardware. Zbl 1325.68150
Katelman, Michael; Meseguer, José
3
2011
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
9
2010
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060
Alarcón, Beatriz; Lucas, Salvador; Meseguer, José
7
2010
Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087
Rocha, Camilo; Meseguer, José
7
2010
Folding variant narrowing and optimal variant termination. Zbl 1306.68069
Escobar, Santiago; Sasse, Ralf; Meseguer, José
6
2010
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065
Durán, Francisco; Meseguer, José
6
2010
A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066
Durán, Francisco; Meseguer, José
5
2010
Concurrent rewriting semantics and analysis of asynchronous digital circuits. Zbl 1306.68078
Katelman, Michael; Keller, Sean; Meseguer, José
4
2010
The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099
Bae, Kyungmin; Meseguer, José
4
2010
Twenty years of rewriting logic. Zbl 1306.68082
Meseguer, José
2
2010
Coverset induction with partiality and subsorts: a powerlist case study. Zbl 1291.68346
Hendrix, Joe; Kapur, Deepak; Meseguer, José
2
2010
A formal pattern architecture for safe medical systems. Zbl 1306.68090
Sun, Mu; Meseguer, José; Sha, Lui
1
2010
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
40
2009
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
15
2009
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
15
2009
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
15
2009
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
13
2009
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
13
2009
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
12
2009
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
11
2009
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
10
2009
Order-sorted parameterization and induction. Zbl 1253.68215
Meseguer, José
7
2009
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
5
2009
...and 151 more Documents
all top 5

Cited by 1,081 Authors

103 Meseguer Guaita, José
39 Escobar, Santiago
38 Martí-Oliet, Narciso
34 Lucas, Salvador
30 Alpuente, María
29 Montanari, Ugo G.
28 Diaconescu, Răzvan
27 Corradini, Andrea
23 Roşu, Grigore
22 Talcott, Carolyn L.
22 Verdejo, Alberto
20 Bruni, Roberto
20 Durán, Francisco
20 Lucanu, Dorel
18 Kirchner, Hélène
18 Sapiña, Julia
17 Gadducci, Fabio
17 Tarlecki, Andrzej
16 Olveczky, Peter Csaba
15 Baldan, Paolo
15 Ballis, Demis
15 Ehrig, Hartmut
14 Goguen, Joseph Amadee
14 Sannella, Donald T.
13 Futatsugi, Kokichi
13 Kutsia, Temur
13 Mossakowski, Till
12 Ogata, Kazuhiro
11 Gutiérrez, Raúl
11 Rabe, Florian
11 Rusu, Vlad
11 Wirsing, Martin
10 Eker, Steven
10 Hennicker, Rolf
10 Orejas, Fernando
10 Pita, Isabel
10 Riesco, Adrián
10 Rocha, Camilo
10 Rubio, Rubén
10 Şerbănuţă, Traian Florin
9 Johnsen, Einar Broch
9 Meadows, Catherine A.
9 Nishida, Naoki
8 Gaĭnă, Daniel
8 Jouannaud, Jean-Pierre
8 Kirchner, Claude
8 Owe, Olaf
8 Palomino, Miguel
8 Ringeissen, Christophe
8 Scedrov, Andre
7 Clavel, Manuel
7 Fernández, Maribel
7 Sassone, Vladimiro
7 Stehr, Mark-Oliver
6 Andrei, Oana
6 Arusoaie, Andrei
6 Bidoit, Michel
6 Frechina, Francisco
6 Gallier, Jean H.
6 Kanovich, Max Iosifovich
6 König, Barbara
6 Mosses, Peter D.
6 Sobociński, Paweł
6 van Glabbeek, Robert Jan
6 Vidal, Germán
5 Arbab, Farhad
5 Caltais, Georgiana
5 Dershowitz, Nachum
5 Gorrieri, Roberto
5 Iborra, José
5 Kohlhase, Michael
5 Labella, Anna
5 Lincoln, Patrick D.
5 Meinke, Karl
5 Oriat, Catherine
5 Padawitz, Peter
5 Skeirik, Stephen
5 Ţuţu, Ionuţ
4 Baumgartner, Alexander
4 Bouhoula, Adel
4 Caballero, Rafael E.
4 Cerna, David M.
4 Cervesato, Iliano
4 Ciobâcă, Ştefan
4 Ciobanu, Gabriel
4 Codescu, Mihai
4 de Boer, Frank S.
4 Erné, Marcel
4 Falaschi, Moreno
4 Goltz, Ursula
4 Gramlich, Bernhard
4 Heckel, Reiko
4 Kim, Minyoung
4 Knapp, Alexander
4 Levy, Jordi
4 Marin, Mircea
4 Melgratti, Hernán
4 Middeldorp, Aart
4 Nigam, Vivek
4 Olarte, Carlos
...and 981 more Authors
all top 5

Cited in 79 Serials

180 Theoretical Computer Science
61 Journal of Logical and Algebraic Methods in Programming
44 Information and Computation
27 Formal Aspects of Computing
23 Journal of Symbolic Computation
21 The Journal of Logic and Algebraic Programming
19 Journal of Automated Reasoning
19 MSCS. Mathematical Structures in Computer Science
16 Information Processing Letters
16 Journal of Computer and System Sciences
15 Acta Informatica
10 Annals of Pure and Applied Logic
10 Cybernetics and Systems Analysis
9 Logical Methods in Computer Science
8 Algebra Universalis
8 Higher-Order and Symbolic Computation
7 Fuzzy Sets and Systems
7 Journal of Pure and Applied Algebra
7 Science of Computer Programming
7 Applied Categorical Structures
7 Theory and Practice of Logic Programming
6 Artificial Intelligence
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 Theory and Applications of Categories
3 RAIRO. Theoretical Informatics and Applications
2 Applied Mathematics and Computation
2 Programming and Computer Software
2 Semigroup Forum
2 Order
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
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 Journal of Applied Non-Classical Logics
2 ACM Transactions on Computational Logic
2 Journal of Applied Logic
2 Mathematics in Computer Science
1 Journal of Mathematical Analysis and Applications
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
1 Advances in Mathematics
1 Information Sciences
1 Journal of Algebra
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Manuscripta Mathematica
1 Mathematische Zeitschrift
1 Notre Dame Journal of Formal Logic
1 Quaestiones Mathematicae
1 Transactions of the American Mathematical Society
1 Topology and its Applications
1 New Generation Computing
1 Discrete Event Dynamic Systems
1 Distributed Computing
1 Archive for Mathematical Logic
1 Journal of Logic, Language and Information
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 Acta Universitatis Sapientiae. Informatica
1 The Review of Symbolic Logic
1 Advances in Fuzzy Systems
1 Symmetry
1 Journal of Theoretical Biology
1 Mathematics in Engineering
1 Journal of Membrane Computing

Citations by Year