Irakli O. Chitaia

14 papers B 1Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
J. Log. Comput.
Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi
2025 J jnl
Log. J. IGPL
Roland Sh. Omanadze, Irakli O. Chitaia
2025 J jnl
Comput.
Irakli O. Chitaia, Valentino Delle Rose, Andrea Sorbi
2024 J jnl
Math. Log. Q.
Roland Sh. Omanadze, Irakli O. Chitaia
2023 J jnl
J. Log. Comput.
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
2023 B conf
e-Science
Irakli O. Chitaia, Roland Sh. Omanadze, Mikheil Rukhaia
2022 J jnl
Arch. Math. Log.
Irakli O. Chitaia, Roland Sh. Omanadze
2021 J jnl
J. Log. Comput.
Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi
2021 J jnl
Math. Log. Q.
Roland Sh. Omanadze, Irakli O. Chitaia
2020 J jnl
Arch. Math. Log.
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
2016 J jnl
Math. Log. Q.
Irakli O. Chitaia
2015 J jnl
Log. J. IGPL
Roland Sh. Omanadze, Irakli O. Chitaia
2012 J jnl
Arch. Math. Log.
Roland Sh. Omanadze, Irakli O. Chitaia
2011 J jnl
Arch. Math. Log.
Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski