×

zbMATH — the first resource for mathematics

Edit Profile

Meseguer Guaita, José

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

Co-Authors

23 single-authored
25 Martí-Oliet, Narciso
21 Escobar, Santiago
18 Durán, Francisco
17 Goguen, Joseph Amadee
16 Lucas, Salvador
14 Montanari, Ugo G.
14 Olveczky, Peter Csaba
12 Clavel, Manuel
12 Roşu, Grigore
11 Talcott, Carolyn L.
10 Eker, Steven
9 Bruni, Roberto
9 Sols, Ignacio
8 Palomino, Miguel
7 Rocha, Camilo
7 Sassone, Vladimiro
7 Thati, Prasanna
6 Bae, Kyungmin
5 Alpuente, María
5 Kühnel, Wolfgang
5 Lincoln, Patrick D.
5 Meadows, Catherine A.
5 Pfender, Michael
5 Sasse, Ralf
5 Skeirik, Stephen
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 Kirchner, Claude
3 Liu, Si
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 S. E.
2 Marché, Claude
2 Moss, Lawrence S.
2 Mosses, Peter D.
2 Muñoz, César A.
2 Ojeda, Pedro
2 Pita, Isabel
2 Şerbănuţă, Traian Florin
2 Sridharanarayanan, Ambarish
2 Verdejo, Alberto
2 Wirsing, Martin
1 Alarcón, Beatriz
1 AlTurki, Musab A.
1 Bouhoula, Adel
1 Casley, Ross
1 Chen, Feng
1 Coglio, Alessandro
1 Crew, Roger F.
1 Cuenca-Ortega, Angel
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 Sen, Koushik
1 Sha, Lui
1 Sharykin, Raman
1 Smolka, Gert
1 Ştefănescu, Andrei
1 Strømme, Stein Arild
1 Sun, Mu
1 Urbain, Xavier
1 Winkler, Timothy
1 Zabele, Steve
all top 5

Serials

19 Theoretical Computer Science
8 Information and Computation
6 Lecture Notes in Computer Science
6 Journal of Logical and Algebraic Methods in Programming
5 The Journal of Logic and Algebraic Programming
4 MSCS. Mathematical Structures in Computer Science
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 Formal Aspects of Computing
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 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 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

220 Computer science (68-XX)
63 Mathematical logic and foundations (03-XX)
24 Category theory, homological algebra (18-XX)
15 General algebraic systems (08-XX)
9 Information and communication, circuits (94-XX)
7 General mathematics (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

Citations contained in zbMATH

Access to citation profile requires subscription