×

zbMATH — the first resource for mathematics

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

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription