Publications
Kelime Dönüşümü ile Yazar Gizleme (Author Obfuscation Using Word Transformation)
with Kadir Acar and İbrahim Soğukpınar
IEEE UBMK 2026, International Conference on Computer Science and Engineering, pp. 317–321
Certified Real Eigenvalue Location
with Baran Solmaz
SYNASC 2025 (27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing), pp. 30–36
A Julia Package for Polyhedral Omega and Applications
with Deniz Naz Demirel, İsmail Tapan and Zafeirakis Zafeirakopoulos
ACM Communications in Computer Algebra 58(2), 2024 (ISSAC 2024 software presentation)
Certified Hermite Matrices from Approximate Roots
with Ágnes Szántó
Journal of Symbolic Computation 117, pp. 101–118, 2023
Certified Hermite Matrices from Approximate Roots – Univariate Case
with Ágnes Szántó
MACIS 2019, Lecture Notes in Computer Science 11989, Springer, 2020
Reformulation and Linearization of Maximum Induced Subgraph Problems
IVPE, 2019
Certifying Solutions to Overdetermined and Singular Polynomial Systems over Q
with Jonathan D. Hauenstein and Ágnes Szántó
Journal of Symbolic Computation, 2018
Thesis
Certifying Solutions to Polynomial Systems over Q
Ph.D. dissertation, North Carolina State University, 2016