×

zbMATH — the first resource for mathematics

Edit Profile

Cavalcanti, Ana

Compute Distance To:
Author ID: cavalcanti.ana
Published as: Cavalcanti, Ana
Documents Indexed: 69 Publications since 1998, including 7 Books
all top 5

Co-Authors

2 single-authored
29 Woodcock, James C. P.
16 Sampaio, Augusto C. A.
10 Zeyda, Frank
7 Oliveira, Marcel
6 Gaudel, Marie-Claude
4 Cornélio, Márcio
4 Ribeiro, Pedro
3 Dams, Dennis René
3 Foster, Simon
3 O’Halloran, Colin
2 Clayton, Phil
2 Déharbe, David
2 Duran, Adolfo
2 Harwood, Will
2 Naumann, David A.
2 Sherif, Adnan
2 Wei, Kun
2 Wellings, Andy
1 Amálio, Nuno
1 Barkaoui, Kamel
1 Borba, Paulo
1 Carvalho, Gustavo
1 Cerone, Antonio
1 Conserva Filho, M. S.
1 Dunne, Steve E.
1 Fitzgerald, John F.
1 Freitas, Leo
1 Gnesi, Stefania
1 He, Jifeng
1 Heitmeyer, Constance L.
1 Huang, Wenling
1 Jifeng, He
1 King, Steve F.
1 Miyazawa, Alvaro
1 Mota, Alexandre Cabral
1 Peleska, Jan
1 Santos, Thiago R.
1 Thiele, Bernhard
1 Xavier, Manuela
1 Ye, Kangfeng
all top 5

Serials

16 Formal Aspects of Computing
7 Science of Computer Programming
3 Theoretical Computer Science
3 Lecture Notes in Computer Science
2 Information Processing Letters
1 Acta Informatica
1 The Computer Journal. Section A / Section B
1 Real-Time Systems
1 Formal Methods in System Design

Fields

69 Computer science (68-XX)
7 General mathematics (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Systems theory; control (93-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription