Daneshvar Amrollahi

Orcid: 0000-0003-0954-7881

According to our database¹, Daneshvar Amrollahi authored at least 5 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Synthesis of Recursive Programs in Saturation.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

An Encoding for CLP Problems in SMT-LIB.

[BibT_eX]

[DOI]

Daneshvar Amrollahi

Hossein Hojjat

Philipp Rümmer

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

(Un)Solvable Loop Analysis.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Algebra-Based Reasoning for Loop Synthesis.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2022

Solving Invariant Generation for Unsolvable Loops.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 29th International Symposium, 2022

Daneshvar Amrollahi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...