Daniel Lichtblau

24 papers B 2C 1Misc 5Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Artif. Intell.
Daniel Lichtblau, Catalin Stoean
2023 B conf
CASC
Amir Hashemi, Daniel Lichtblau
2023 C conf
ICAIL
Seth J. Chandler, Emily A. Muenster, Daniel Lichtblau
2021 Misc conf
SYNASC
Catalin Stoean, Daniel Lichtblau
2021 J jnl
J. Symb. Comput.
Daniel Lichtblau
2019 J jnl
BMC Bioinform.
Daniel Lichtblau
2019 J jnl
Math. Comput. Sci.
Daniel Lichtblau
2018 J jnl
CoRR
Daniel Lichtblau, Catalin Stoean
2018 — conf
ICMS
Daniel Lichtblau
2018 — conf
SLSP
Daniel Lichtblau, Catalin Stoean
2017 Misc conf
SYNASC
Catalin Stoean, Daniel Lichtblau
2017 J jnl
ACM Commun. Comput. Algebra
Daniel Lichtblau
2016 J jnl
Math. Comput. Sci.
Daniel Lichtblau
2016 Misc conf
SYNASC
Daniel Lichtblau
2016 Misc conf
SYNASC
Eliana Duarte, Daniel Lichtblau
2015 J jnl
ACM Commun. Comput. Algebra
Daniel Lichtblau
2011 J jnl
ACM Commun. Comput. Algebra
Daniel Lichtblau
2010 Misc conf
SYNASC
Daniel Lichtblau
2010 — conf
Automated Deduction in Geometry
Daniel Lichtblau
2008 J jnl
CoRR
Jiri Lebl, Daniel Lichtblau
2006 — conf
Automated Deduction in Geometry
Daniel Lichtblau
2006 — conf
ICMS
Daniel Lichtblau
2005 B conf
ISSAC
Daniel Lichtblau
2004 — conf
Automated Deduction in Geometry
Daniel Lichtblau
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