Susanna F. de Rezende
Scholar

Susanna F. de Rezende

Google Scholar ID: AZRM7A8AAAAJ
Lund University
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
267
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
22
list available
Contact
Emailsusanna.rezende@cs.lth.seCVOpen ↗GitHubOpen ↗
Publications
4 items
The Proof Analysis Problem
2025
Cited
0
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
IEEE Annual Symposium on Foundations of Computer Science · 2023
Cited
1
KRW Composition Theorems via Lifting
IEEE Annual Symposium on Foundations of Computer Science · 2020
Cited
15
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
Electron. Colloquium Comput. Complex. · 2019
Cited
3
Resume (English only)
Co-authors
22 total
Jakob Nordström
Jakob Nordström
University of Copenhagen and Lund University
Co-author 2
Co-author 2
Marc Vinyals
Marc Vinyals
University of Auckland
Co-author 4
Co-author 4
Dmitry Sokolov
Dmitry Sokolov
École Polytechnique Fédérale de Lausanne
Mika Göös
Mika Göös
EPFL
Co-author 7
Co-author 7
Massimo Lauria
Massimo Lauria
Sapienza - Università di Roma