×

zbMATH — the first resource for mathematics

Edit Profile

Barbosa, Luís Soares

Compute Distance To:
Author ID: barbosa.luis-soares
Published as: Barbosa, L. S.; Barbosa, Luis; Barbosa, Luis S.; Barbosa, Luís S.; Barbosa, Luís Soares; Soares Barbosa, Luís
Documents Indexed: 43 Publications since 2000, including 3 Books
all top 5

Co-Authors

4 single-authored
17 Martins, Manuel António
15 Madeira, Alexandre
8 Neves, Renato
5 Meng, Sun
5 Oliveira, José Nuno
3 Barbosa, Marco Antonio
3 Hennicker, Rolf
2 Silva, Alexandra
1 Aichernig, Bernhard K.
1 Baltag, Alexandru
1 Bove, Ana
1 Campos, José C. T.
1 Carreteiro, Marta
1 Cunha, Alcino
1 Diaconescu, Răzvan
1 Faria, José M.
1 Hofmann, Dirk
1 Lumpe, Markus
1 Naixiao, Zhang
1 Pardo, Alberto
1 Pinto, Jorge Sousa
1 Ribeiro, Paula R.
1 Rodrigues, César J.
1 Rodrigues, Nuno F.
1 Sánchez, Alejandro D.
1 Wang, Shuling
1 Zhang, Naixiao
all top 5

Serials

4 Theoretical Computer Science
3 Lecture Notes in Computer Science
2 Science of Computer Programming
2 Journal of Logical and Algebraic Methods in Programming
1 Studia Logica
1 Formal Aspects of Computing
1 Journal of Logic, Language and Information
1 Computer Languages, Systems & Structures
1 Mathematics in Computer Science
1 Logical Methods in Computer Science

Fields

37 Computer science (68-XX)
16 Mathematical logic and foundations (03-XX)
5 Category theory; homological algebra (18-XX)
3 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription