×

zbMATH — the first resource for mathematics

Edit Profile

Silva, Alexandra

Compute Distance To:
Author ID: silva.alexandra
Published as: Silva, A.; Silva, Alexandra
Documents Indexed: 78 Publications since 1980, including 9 Books
all top 5

Co-Authors

3 single-authored
18 Rutten, Jan J. M. M.
16 Bonsangue, Marcello Maria
14 Bonchi, Filippo
13 Kozen, Dexter C.
7 Jacobs, Bart
5 Milius, Stefan
4 Caltais, Georgiana
4 Mamouras, Konstantinos
4 Sokolova, Ana
4 Zanasi, Fabio
3 Foster, Nate
3 Hansen, Helle Hvid
3 Jeannin, Jean-Baptiste
2 Barbosa, Luís Soares
2 Bliudze, Simon
2 Brunet, Paul
2 Bruni, Roberto
2 Endrullis, Jörg
2 Hendriks, Dimitri
2 Kappé, Tobias
2 König, Barbara
2 Moerman, Joshua
2 Niqui, Milad
2 Polonsky, Andrew
2 Pous, Damien
2 Sammartino, Matteo
2 Staton, Sam
2 van Heerdt, Gerco
1 Adámek, Jiří
1 Arbab, Farhad
1 Ben Mokhtar, Sonia
1 Beohar, Harsh
1 Boreale, Michele
1 Bouajjani, Ahmed
1 Carbone, Marco
1 Clarke, Dave
1 Constable, Robert Lee
1 Cunha, Alcino
1 Dahlqvist, Fredrik
1 De Queiroz, Ruy José Guerra Barretto
1 Goncharov, Sergeĭ Savost’yanovich
1 Goriac, Eugen-Ioan
1 Grohmann, Davide
1 Hsu, Justin
1 Hülsbusch, Mathias
1 Kennedy, Juliette Cara
1 Klin, Bartek
1 Krause, Christian
1 Kumar, Praveen
1 Küpper, Sebastian
1 Lanese, Ivan
1 Lucanu, Dorel
1 Luttik, Bas
1 Milano, Matthew
1 Moon, Young-Joo
1 Oliveira, José Nuno
1 Ouaknine, Joel O.
1 Panangaden, Prakash
1 Parlant, Louis
1 Petrisan, Daniela Luan
1 Reitblatt, Mark
1 Rot, Jurriaan
1 Sadrzadeh, Mehrnoosh
1 Smolka, Steffen Juilf
1 Sutton, Peter R.
1 Szynwelski, Michał
1 Thompson, Laure
1 Troina, Angelo
1 Umbach, Carla
1 Westerbaan, Bram
1 Wißmann, Thorsten
all top 5

Serials

4 MSCS. Mathematical Structures in Computer Science
4 Logical Methods in Computer Science
4 Journal of Logical and Algebraic Methods in Programming
3 Theoretical Computer Science
3 Information and Computation
3 Lecture Notes in Computer Science
3 Electronic Notes in Theoretical Computer Science
2 Science of Computer Programming
2 ACM Transactions on Computational Logic
2 Scientific Annals of Computer Science
2 Electronic Proceedings in Theoretical Computer Science (EPTCS)
1 American Mathematical Monthly
1 Journal of Computer and System Sciences
1 Logic Journal of the IGPL
1 Fundamenta Informaticae
all top 5

Fields

65 Computer science (68-XX)
14 Category theory; homological algebra (18-XX)
11 General and overarching topics; collections (00-XX)
9 Mathematical logic and foundations (03-XX)
2 History and biography (01-XX)
1 Combinatorics (05-XX)
1 General algebraic systems (08-XX)
1 Number theory (11-XX)
1 Commutative algebra (13-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Systems theory; control (93-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription