| 2026 | SAT | Sustainable Benchmarking Tool (Tool Paper). | Ashlin Iser, Marie Anastacio, Tho Matricon, Laurent Simon, Holger H. Hoos |
| 2026 | SAT | Efficient Identification of Isomorphic SAT Instances (Tool Paper). | Ashlin Iser, Frederick Gehm |
| 2024 | SAT | Global Benchmark Database. | Ashlin Iser, Christoph Jabs |
| 2023 | ECAI | Oracle-Based Local Search for Pseudo-Boolean Optimization. | Ashlin Iser, Jeremias Berg, Matti Jrvisalo |
| 2023 | TACAS | Active Learning for SAT Solver Benchmarking. | Tobias Fuchs, Jakob Bach, Ashlin Iser |
| 2022 | SAT | A Comprehensive Study of k-Portfolios of Recent SAT Solvers. | Jakob Bach, Ashlin Iser, Klemens Bhm |
| 2021 | CP | Unit Propagation with Stable Watches (Short Paper). | Ashlin Iser, Toms Balyo |
| 2019 | COMPSAC | Integrating Static Code Analysis Toolchains. | Matthias Kern, Ferhat Erata, Ashlin Iser, Carsten Sinz, Frdric Loiret, Stefan Otten, Eric Sax |
| 2019 | ICTAI | Memory Efficient Parallel SAT Solving with Inprocessing. | Ashlin Iser, Toms Balyo, Carsten Sinz |
| 2018 | SAT | A Problem Meta-Data Library for Research in SAT. | Ashlin Iser, Carsten Sinz |
| 2017 | ICTAI | Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers. | Ashlin Iser, Felix Kutzner, Carsten Sinz |
| 2015 | SAT | Recognition of Nested Gates in CNF Formulas. | Ashlin Iser, Norbert Manthey, Carsten Sinz |
| 2013 | SAT | Minimizing Models for Tseitin-Encoded SAT Instances. | Ashlin Iser, Carsten Sinz, Mana Taghdiri |
| 2012 | SAT | Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). | Ashlin Iser, Mana Taghdiri, Carsten Sinz |
| 2009 | SAT | Problem-Sensitive Restart Heuristics for the DPLL Procedure. | Carsten Sinz, Ashlin Iser |