Geri Gokaj
Scientific Assistant
Karlsruhe Institute of Technology (KIT)
Institute of Theoretical Informatics
| geri.gokaj@kit.edu | |
| office | room 316, Computer Science building 50.34 |
| office hours | by appointment |
Publications
- Geri Gokaj, Marvin Künnemann, Sabine Storandt, Carina Truschel (Multivariate) k-SUM as Barrier to Succinct Computation At ESA 2025. esa25.pdf
- Geri Gokaj, Marvin Künnemann. Completeness Theorems for k-SUM and Geometric Friends: Deciding fragments of Linear Integer Arithmetic. At ITCS 2025. itcs25.pdf Full Version: full_version.pdf Slides: presentation.pdf