Abhinav Verma

12 papers A* 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
AAAI
Hendrik Baier, Mark T. Keane, Sarath Sreedharan, Silvia Tulli, Abhinav Verma
2025 A* conf
IJCAI
Xinjie Li, Abhinav Verma
2024 J jnl
Multim. Tools Appl.
Gurjot Singh, Abhinav Verma, Lavanya Gupta, Anant Mehta, Vinay Arora
2024 J jnl
Dagstuhl Reports
Hendrik Baier, Mark T. Keane, Sarath Sreedharan, Silvia Tulli, Abhinav Verma, Stylianos Loukas Vasileiou
2024 J jnl
J. Inf. Commun. Ethics Soc.
Abhinav Verma, Jogendra Kumar Nayak
2023 — conf
ISED
Abhinav Verma, Satyam Kumar Deepu, Parveen Bajaj
2022 J jnl
Int. J. Inf. Technol. Proj. Manag.
Sonam Gupta, Tushtee Varshney, Abhinav Verma, Lipika Goel, Arun Kumar Yadav, Arjun Singh
2019 J jnl
Oper. Res. Lett.
Daniel Bienstock, Abhinav Verma
2013 J jnl
Bioinform.
Benjamin Lutz, Claude Sinner, Geertje Heuermann, Abhinav Verma, Alexander Schug
2012 — conf
ACITY (1)
Paras Gupta, Manu Vardhan, Akhil Goel, Abhinav Verma, Dharmender Singh Kushwaha
2010 J jnl
SIAM J. Optim.
Daniel Bienstock, Abhinav Verma
2007 — conf
PARCO
Abhinav Verma, Srinivasa M. Gopal, Alexander Schug, Jung S. Oh, Konstantin V. Klenin, Kyu H. Lee, Wolfgang Wenzel
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