Statistics
Publications
75
Citations
2.7K
H-Index
29
Active since
1993
Paulo Borba is an author at Universidade Federal de Pernambuco specializing in computing, computer science, and software engineering.
Publications per year
1993–2021
75
75
Vander Alves, Rohit Gheyi, Tiago Massoni et al. · 2006 · 190 citations
Algebraic reasoning for object-oriented programming
Paulo Borba, Augusto Sampaio, Ana Cavalcanti et al. · Science of Computer Programming · 2004 · 106 citations
Computing, Computer Science, Algebra +10
Eric Bodden, Társis Tolêdo, Márcio Ribeiro et al. · 2013 · 106 citations
Intraprocedural dataflow analysis for software product lines
Claus Brabrand, Márcio Ribeiro, Társis Tolêdo et al. · 2012 · 89 citations
1–5 of 75