-
P. Hozzová, D. Amrollahi, M. Hajdu, L. Kovács, A. Voronkov, E.M. Wagner (2024). Synthesis of Recursive Programs in Saturation. International Joint Conference on Automated Reasoning (IJCAR 2024).
-
D. Amrollahi, E. Bartocci, G. Kenison, L. Kovács, M. Moosbrugger, M. Stankovič (2024). (Un)Solvable Loop Analysis. Formal Methods in Systems Design (FMSD).
-
D. Amrollahi, H. Hojjat, P. Rümmer (2024). An Encoding for CLP Problems in SMT-LIB. 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2023).
-
D. Amrollahi, E. Bartocci, G. Kenison, L. Kovács, M. Moosbrugger, M. Stankovič (2022). Solving Invariant Generation for Unsolvable Loops. 29th International Static Analysis Symposium (SAS 2022). Awarded the Radhia Cousot Young Researcher Best Paper Award.
-
A. Humenberger, D. Amrollahi, N. Bjørner, L. Kovács (2022). Algebra-Based Reasoning for Loop Synthesis. Formal Aspects of Computing (FAC).