Guilherme Vicentin de Toledo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Bringing Closure to Theory Combination Properties. | Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar |
| 2026 | WoLLIC | Two Generalizations of Shininess. | Guilherme Vicentin de Toledo, Yoni Zohar |
| 2025 | CADE | Being Polite Is Not Enough (and Other Limits of Theory Combination). | Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar |
| 2024 | FM | The Nonexistence of Unicorns and Many-Sorted Lwenheim-Skolem Theorems. | Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |
| 2024 | LPAR | Combining Combination Properties: Minimal Models. | Guilherme Vicentin de Toledo, Yoni Zohar |
| 2023 | CADE | Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. | Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |