VLDB 2026 Research / reviewers in the wild / expert
Ana Catarina Sousa
dblp:383/6973
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
0000-0002-5352-4807ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Proof Search in Classical Propositional Logic with Partial Proof Terms
José Espírito Santo, Ana Catarina Sousa |
WoLLIC | 2 |
| 2024 | Partial Proof Terms in the Study of Idealized Proof Search
José Espírito Santo, Ana Catarina Sousa |
CICM | 2 |