Daneshvar Amrollahi

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Relation Algebra

Solving Problems

Recursive Programs

Top Venues

Formal Aspects Comput.

Publications

Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
An Encoding for CLP Problems in SMT-LIB. CoRR (2024)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
Synthesis of Recursive Programs in Saturation. IJCAR (1) (2024)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
(Un)Solvable Loop Analysis. CoRR (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. SAS (2022)
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Algebra-Based Reasoning for Loop Synthesis. CoRR (2022)
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Algebra-Based Reasoning for Loop Synthesis. Formal Aspects Comput. 34 (1) (2022)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. CoRR (2022)