×

zbMATH — the first resource for mathematics

Meseguer Guaita, José

Compute Distance To:
Author ID: meseguer.jose Recent zbMATH articles by "Meseguer Guaita, José"
Published as: Meseguer, J.; Meseguer, Jose; Meseguer, José
Homepage: http://formalmethods.web.engr.illinois.edu/meseguer/
External Links: MGP · Wikidata · ORCID · ResearchGate · dblp · GND
Documents Indexed: 244 Publications since 1975, including 11 Books
Biographic References: 2 Publications
all top 5

Co-Authors

23 single-authored
26 Martí-Oliet, Narciso
25 Escobar, Santiago
20 Durán, Francisco
17 Goguen, Joseph Amadee
16 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 Bruni, Roberto
9 Sols, Ignacio
8 Palomino, Miguel
8 Rocha, Camilo
7 Alpuente, María
7 Sassone, Vladimiro
7 Thati, Prasanna
6 Bae, Kyungmin
6 Skeirik, Stephen
5 Kühnel, Wolfgang
5 Lincoln, Patrick D.
5 Liu, Si
5 Meadows, Catherine A.
5 Pfender, Michael
5 Sasse, Ralf
4 Degano, Pierpaolo
4 Farzan, Azadeh
4 Gutiérrez, Raúl
4 Hendrix, Joe
4 Jouannaud, Jean-Pierre
4 Katelman, Michael
4 Stehr, Mark-Oliver
3 Cuenca-Ortega, Angel
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 Iida, Shusaku
1 Keaton, Mark H.
1 Knapp, Alexander
1 Kumar, Nirman
1 Liu, Zhiqiang
1 Lynch, Christopher A.
1 Mégrelis, Aristide
1 Mühlbauer, Tobias
1 Narendran, Paliath
1 Naumov, Pavel G.
1 Ogata, Kazuhiro
1 Pratt, Vaughan R.
1 Quesada, José F.
1 Rubio, Rubén
1 Santhanam, Keshav
1 Sen, Koushik
1 Sha, Lui
1 Sharykin, Raman
1 Smolka, Gert
1 Strømme, Stein Arild
1 Sun, Mu
...and 5 more Co-Authors

Publications by Year

Citations contained in zbMATH

217 Publications have been cited 2,526 times in 811 Documents Cited by Year
Conditional rewriting logic as a unified model of concurrency. Zbl 0758.68043
Meseguer, José
177
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
151
2007
Membership algebra as a logical framework for equational specification. Zbl 0903.08009
Meseguer, José
104
1998
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
96
1992
Petri nets are monoids. Zbl 0711.68077
Meseguer, José; Montanari, Ugo
65
1990
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
52
1985
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
51
2003
Specification and proof in membership equational logic. Zbl 0938.68057
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J.
49
2000
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
44
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
41
1982
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
39
2006
General logics. Zbl 0691.03001
Meseguer, José
32
1989
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
32
1985
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
30
2008
Operational termination of conditional term rewriting systems. Zbl 1185.68374
Lucas, Salvador; Marché, Claude; Meseguer, José
29
2005
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
28
2007
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
28
1996
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
27
1984
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
26
1987
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
25
2007
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
25
2002
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
24
1996
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
23
2007
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
22
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
22
2012
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
22
2009
Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061
Ölveczky, Peter Csaba; Meseguer, José
22
2002
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
22
1998
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
21
1997
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
21
1993
Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464
Meseguer, José; Roşu, Grigore
20
2004
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
20
1985
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
19
1989
Axiomatizing net computations and processes. Zbl 0722.68085
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
18
1989
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
17
2007
Axiomatizing the algebra of net computations and processes. Zbl 0849.68087
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo
17
1996
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
17
1988
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
16
2008
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
16
2006
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
16
2004
Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
16
2001
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
15
2011
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
15
2004
Reflection in conditional rewriting logic. Zbl 1001.68060
Clavel, Manuel; Meseguer, José
15
2002
May I borrow your logic? (Transporting logical structures along maps). Zbl 0901.68186
Cerioli, Maura; Meseguer, José
15
1997
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
15
1991
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
14
2012
Semantic models for distributed object reflection. Zbl 1049.68815
Meseguer, José; Talcott, Carolyn
14
2002
Reflection and strategies in rewriting logic. Zbl 0917.68107
Clavel, Manuel; Meseguer, José
14
1996
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. Zbl 0993.68058
Bruni, Roberto; Meseguer, José; Montanari, Ugo
13
2002
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
13
1988
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
12
2009
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
12
2009
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
12
2008
Generalized rewrite theories. Zbl 1039.03020
Bruni, Roberto; Meseguer, José
12
2003
Mapping tile logic into rewriting logic. Zbl 0903.08010
Meseguer, José; Montanari, Ugo
12
1998
The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459
Meseguer, José
11
2008
Modular rewriting semantics of programming languages. Zbl 1108.68401
Meseguer, José; Braga, Christiano
11
2004
Order completion monads. Zbl 0522.18005
Meseguer, J.
11
1983
Varieties of chain-complete algebras. Zbl 0445.18008
Meseguer, Jose
11
1980
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
10
2017
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
10
2014
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
10
2009
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
10
2009
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
10
2007
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
10
2004
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
1996
On the axiomatization of “if-then-else”. Zbl 0628.68032
Guessarian, Irène; Meseguer, José
10
1987
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
9
2011
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2009
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
9
2007
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2007
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
9
2007
The HOL/NuPRL proof translator. A practical approach to formal interoperability. Zbl 1005.68542
Naumov, Pavel; Stehr, Mark-Oliver; Meseguer, José
9
2001
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
9
2001
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
9
2000
Internal strategies in a rewriting implementation of tile systems. Zbl 0917.68104
Bruni, R.; Meseguer, J.; Montanari, U.
9
1998
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
8
2016
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
8
2009
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
8
2009
Specification and analysis of distributed object-based stochastic hybrid systems. Zbl 1178.68350
Meseguer, José; Sharykin, Raman
8
2006
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
Modular rewriting semantics in practice. Zbl 1272.68168
Braga, Christiano; Meseguer, José
8
2005
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
8
2005
Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081
Denker, G.; Meseguer, J.; Talcott, C.
8
2000
Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. Zbl 0962.68109
Olveczky, Peter Csaba; Meseguer, Jose
8
2000
Rewriting logic and maude: A wide-spectrum semantic framework for object-based distributed systems. Zbl 0968.68079
Meseguer, José
8
2000
On order-complete universal algebra and enriched functorial semantics. Zbl 0368.18006
Meseguer, J.
8
1977
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
7
2016
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
7
2012
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
7
2009
Effectively checking the finite variant property. Zbl 1145.68444
Escobar, Santiago; Meseguer, José; Sasse, Ralf
7
2008
Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207
Farzan, Azadeh; Meseguer, José
7
2007
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
7
2004
An extensible module algebra for Maude. Zbl 0919.68076
Durán, Francisco; Meseguer, José
7
1998
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance. Zbl 07169105
Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
1
2019
A constructor-based reachability logic for rewrite theories. Zbl 06932831
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José
4
2018
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
4
2018
Symbolic reasoning methods in rewriting logic and Maude. Zbl 06958305
Meseguer, José
2
2018
Variant-based decidable satisfiability in initial algebras with predicates. Zbl 06932837
Gutiérrez, Raúl; Meseguer, José
1
2018
Strict coherence of conditional rewriting modulo axioms. Zbl 1386.68080
Meseguer, José
10
2017
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
4
2017
Partial evaluation of order-sorted equational programs modulo axioms. Zbl 06791216
Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José
3
2017
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68054
Meseguer, José; Skeirik, Stephen
3
2017
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
Variant-based satisfiability in initial algebras. Zbl 1396.68074
Meseguer, José
8
2016
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
7
2016
Order-sorted rewriting and congruence closure. Zbl 06591838
Meseguer, José
3
2016
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
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é
4
2015
Equational formulas and pattern operations in initial order-sorted algebras. Zbl 1362.68053
Meseguer, José; Skeirik, Stephen
3
2015
Extending the 2D dependency pair framework for conditional term rewriting systems. Zbl 06488533
Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl
3
2015
Localized operational termination in general logics. Zbl 06448707
Lucas, Salvador; Meseguer, José
3
2015
Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 06448714
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2015
Symbolic protocol analysis with disequality constraints modulo equational theories. Zbl 1437.94060
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
1
2015
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
A modular order-sorted equational generalization algorithm. Zbl 1314.68169
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
10
2014
Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162
Bae, Kyungmin; Meseguer, José
5
2014
2D dependency pairs for proving operational termination of CTRSs. Zbl 1367.68145
Lucas, Salvador; Meseguer, José
4
2014
State space reduction in the Maude-NRL protocol analyzer. Zbl 1360.94307
Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia
4
2014
Strong and weak operational termination of order-sorted rewrite theories. Zbl 1367.68144
Lucas, Salvador; Meseguer, José
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
ACUOS: a system for modular ACU generalization with subtyping and inheritance. Zbl 1432.68422
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José
2
2014
Predicate abstraction of rewrite theories. Zbl 1416.68118
Bae, Kyungmin; 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
The rewriting logic semantics project: a progress report. Zbl 1435.68188
Meseguer, José; Roşu, Grigore
4
2013
Statistical model checking for composite actor systems. Zbl 1394.68228
Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin
3
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
2
2013
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
22
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
22
2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
14
2012
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Order-sorted equational unification revisited. Zbl 1291.68220
Hendrix, Joe; Meseguer, José
7
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é
15
2011
Proving safety properties of rewrite theories. Zbl 1344.68142
Rocha, Camilo; Meseguer, José
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
4
2011
vlogsl: a strategy language for simulation-based verification of hardware. Zbl 1325.68150
Katelman, Michael; Meseguer, José
3
2011
An algebraic semantics for MOF. Zbl 1213.68358
Boronat, Artur; Meseguer, José
7
2010
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications. Zbl 1306.68065
Durán, Francisco; Meseguer, José
6
2010
A dependency pair framework for \(A \vee C\)-termination. Zbl 1306.68060
Alarcón, Beatriz; Lucas, Salvador; Meseguer, José
6
2010
Constructors, sufficient completeness, and deadlock freedom of rewrite theories. Zbl 1306.68087
Rocha, Camilo; Meseguer, José
5
2010
A Maude coherence checker tool for conditional order-sorted rewrite theories. Zbl 1306.68066
Durán, Francisco; Meseguer, José
5
2010
The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099
Bae, Kyungmin; Meseguer, José
4
2010
Concurrent rewriting semantics and analysis of asynchronous digital circuits. Zbl 1306.68078
Katelman, Michael; Keller, Sean; Meseguer, José
4
2010
Folding variant narrowing and optimal variant termination. Zbl 1306.68069
Escobar, Santiago; Sasse, Ralf; Meseguer, José
4
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
Twenty years of rewriting logic. Zbl 1306.68082
Meseguer, José
1
2010
Maude-NPA: cryptographic protocol analysis modulo equational properties. Zbl 1252.94061
Escobar, Santiago; Meadows, Catherine; Meseguer, José
22
2009
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
12
2009
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
12
2009
Operational termination of membership equational programs: the order-sorted way. Zbl 1347.68198
Lucas, Salvador; Meseguer, José
10
2009
Variant narrowing and equational unification. Zbl 1347.68194
Escobar, Santiago; Meseguer, José; Sasse, Ralf
10
2009
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2009
Order-sorted generalization. Zbl 1347.68193
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
8
2009
Termination modulo combinations of equational theories. Zbl 1193.68145
Durán, Francisco; Lucas, Salvador; Meseguer, José
8
2009
A modular equational generalization algorithm. Zbl 1185.68219
Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro
7
2009
Order-sorted parameterization and induction. Zbl 1253.68215
Meseguer, José
5
2009
Methods for proving termination of rewriting-based programming languages by transformation. Zbl 1337.68067
Durán, Francisco; Lucas, Salvador; Meseguer, José
4
2009
Proving operational termination of membership equational programs. Zbl 1192.68154
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier
30
2008
MTT: The Maude termination tool. (System description). Zbl 1165.68360
Durán, Francisco; Lucas, Salvador; Meseguer, José
16
2008
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
12
2008
The temporal logic of rewriting: A gentle introduction. Zbl 1143.68459
Meseguer, José
11
2008
Effectively checking the finite variant property. Zbl 1145.68444
Escobar, Santiago; Meseguer, José; Sasse, Ralf
7
2008
Theorem proving modulo based on Boolean equational procedures. Zbl 1139.03010
Rocha, Camilo; Meseguer, José
3
2008
Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003
Degano, Pierpaolo (ed.); De Nicola, Rocco (ed.); Meseguer, José (ed.)
1
2008
Termination of just/fair computations in term rewriting. Zbl 1146.68040
Lucas, 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.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
151
2007
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Zbl 1115.68079
Meseguer, José; Thati, Prasanna
28
2007
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
25
2007
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
23
2007
Symbolic model checking of infinite-state systems using narrowing. Zbl 1203.68097
Escobar, Santiago; Meseguer, José
17
2007
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
10
2007
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
9
2007
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2007
Maude’s module algebra. Zbl 1116.68047
Durán, Francisco; Meseguer, José
9
2007
Partial order reduction for rewriting semantics of programming languages. Zbl 1279.68207
Farzan, Azadeh; Meseguer, José
7
2007
A rewriting semantics for ABEL with applications to hardware/software co-design and analysis. Zbl 1279.68189
Katelman, Michael; Meseguer, José
6
2007
On the completeness of context-sensitive order-sorted specifications. Zbl 1203.68098
Hendrix, Joe; Meseguer, José
6
2007
Narrowing and rewriting logic: from foundations to applications. Zbl 1279.68205
Escobar, Santiago; Meseguer, José; Thati, Prasanna
3
2007
A rewriting logic approach to operational semantics (extended abstract). Zbl 1278.68147
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
1
2007
Semantic foundations for generalized rewrite theories. Zbl 1097.68051
Bruni, Roberto; Meseguer, José
39
2006
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties. Zbl 1153.94375
Escobar, Santiago; Meadows, Catherine; Meseguer, José
16
2006
Specification and analysis of distributed object-based stochastic hybrid systems. Zbl 1178.68350
Meseguer, José; Sharykin, Raman
8
2006
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
The rewriting logic semantics project. Zbl 1273.68211
Meseguer, José; Roşu, Grigore
5
2006
State space reduction of rewrite theories using invisible transitions. Zbl 1236.68182
Farzan, Azadeh; Meseguer, José
5
2006
...and 117 more Documents
all top 5

Cited by 888 Authors

89 Meseguer Guaita, José
27 Lucas, Salvador
27 Montanari, Ugo G.
25 Martí-Oliet, Narciso
23 Corradini, Andrea
23 Diaconescu, Răzvan
22 Roşu, Grigore
21 Escobar, Santiago
20 Alpuente, María
18 Bruni, Roberto
18 Lucanu, Dorel
17 Kirchner, Hélène
17 Talcott, Carolyn L.
16 Tarlecki, Andrzej
15 Olveczky, Peter Csaba
14 Durán, Francisco
13 Verdejo, Alberto
12 Baldan, Paolo
12 Futatsugi, Kokichi
12 Gadducci, Fabio
12 Mossakowski, Till
12 Sannella, Donald T.
11 Ehrig, Hartmut
11 Goguen, Joseph Amadee
11 Wirsing, Martin
10 Ballis, Demis
10 Ogata, Kazuhiro
9 Orejas, Fernando
9 Rabe, Florian
9 Rusu, Vlad
9 Şerbănuţă, Traian Florin
8 Eker, Steven
8 Gaĭnă, Daniel
8 Gutiérrez, Raúl
8 Hennicker, Rolf
8 Johnsen, Einar Broch
8 Kirchner, Claude
8 Owe, Olaf
7 Clavel, Manuel
7 Jouannaud, Jean-Pierre
7 Kutsia, Temur
7 Palomino, Miguel
7 Riesco, Adrián
7 Sapiña, Julia
6 Andrei, Oana
6 Arusoaie, Andrei
6 Fernández, Maribel
6 Frechina, Francisco
6 Gallier, Jean H.
6 Meadows, Catherine A.
6 Nishida, Naoki
6 Rocha, Camilo
6 Scedrov, Andre
6 Stehr, Mark-Oliver
5 Alarcón, Beatriz
5 Bidoit, Michel
5 Falaschi, Moreno
5 Iborra, José
5 Meinke, Karl
5 Mosses, Peter D.
5 Padawitz, Peter
5 Sobociński, Paweł
5 van Glabbeek, Robert Jan
5 Vidal, Germán
4 Arbab, Farhad
4 Cervesato, Iliano
4 Erné, Marcel
4 Gorrieri, Roberto
4 Gramlich, Bernhard
4 Kanovich, Max Iosifovich
4 Knapp, Alexander
4 Kohlhase, Michael
4 König, Barbara
4 Lincoln, Patrick D.
4 Melgratti, Hernán
4 Oriat, C.
4 Parisi-Presicce, Francesco
4 Ringeissen, Christophe
4 Sassone, Vladimiro
4 Skeirik, Stephen
4 Thati, Prasanna
4 Ţuţu, Ionuţ
3 Adámek, Jiří
3 Astesiano, Egidio
3 Bae, Kyungmin
3 Baez, John C.
3 Borovanský, Peter
3 Bouhoula, Adel
3 Breazu-Tannen, Val
3 Caballero, Rafael E.
3 Caltais, Georgiana
3 Ciobâcă, Ştefan
3 Ciobanu, Gabriel
3 Clarke, Dave
3 Degano, Pierpaolo
3 Dershowitz, Nachum
3 Gnaedig, Isabelle
3 Goriac, Eugen-Ioan
3 Heckel, Reiko
3 Horozal, Fulya
...and 788 more Authors
all top 5

Cited in 70 Serials

171 Theoretical Computer Science
40 Information and Computation
31 Journal of Logical and Algebraic Methods in Programming
24 Formal Aspects of Computing
22 Journal of Symbolic Computation
21 The Journal of Logic and Algebraic Programming
16 Journal of Computer and System Sciences
16 MSCS. Mathematical Structures in Computer Science
13 Acta Informatica
13 Information Processing Letters
13 Journal of Automated Reasoning
10 Cybernetics and Systems Analysis
8 Higher-Order and Symbolic Computation
7 Algebra Universalis
7 Journal of Pure and Applied Algebra
7 Science of Computer Programming
7 Annals of Pure and Applied Logic
6 Artificial Intelligence
6 Applied Categorical Structures
6 Theory and Practice of Logic Programming
5 Fuzzy Sets and Systems
5 Formal Methods in System Design
5 Logica Universalis
5 Logical Methods in Computer Science
4 Diagrammes
4 Annals of Mathematics and Artificial Intelligence
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 Applied Mathematics and Computation
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
1 Journal of Mathematical Analysis and Applications
1 Reviews in Mathematical Physics
1 Journal of Geometry and Physics
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 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 Mathematics in Computer Science
1 The Review of Symbolic Logic
1 Advances in Fuzzy Systems
1 Symmetry
1 Journal of Theoretical Biology

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.