Balzs Tth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Adding Sorts to an Isabelle Formalization of Superposition. | Balzs Tth, Martin Desharnais-Schfer, Jasmin Blanchette |
| 2024 | ITP | A Modular Formalization of Superposition in Isabelle/HOL. | Martin Desharnais, Balzs Tth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret |
| 2024 | SISY | Spam Filter Using Artificial Intelligence: PyTorch Framework Based Approach. | Balzs Tth, Szandra Anna Laczi, Valria Pser |
| 2023 | ITP | Real-Time Double-Ended Queue Verified (Proof Pearl). | Balzs Tth, Tobias Nipkow |
| 2020 | RecSys | Balancing Relevance and Discovery to Inspire Customers in the IKEA App. | Balzs Tth, Sandhya Sachidanandan, Emil S. Jrgensen |
| 2009 | EGPGV | Parallel Solution to the Radiative Transport. | Lszl Szirmay-Kalos, Gabor Liktor, Tams Umenhoffer, Balzs Tth, Shree Kumar, Glenn Lupton |