Daneshvar Amrollahi

2022202320241 13 3

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Laura KovacsTU Wien, Vienna, AustriaVerified email at tuwien.ac.at
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
George KenisonLiverpool John Moores UniversityVerified email at ljmu.ac.uk
Marcel MoosbruggerTU WienVerified email at tuwien.ac.at
Miroslav StankovicVienna University of TechnologyVerified email at forsyte.tuwien.ac.at
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Petra HozzováVienna University of TechnologyVerified email at tuwien.ac.at
Márton HajduPhD student, TU WienVerified email at tuwien.ac.at
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk

Daneshvar Amrollahi

Verified email at cs.stanford.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Solving Invariant Generation for Unsolvable Loops D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... International Static Analysis Symposium, 19-43, 2022	13	2022
Algebra-Based Reasoning for Loop Synthesis A Humenberger, D Amrollahi, N Bjørner, L Kovács Formal Aspects of Computing 34 (1), 1-31, 2022	3	2022
Synthesis of Recursive Programs in Saturation P Hozzová, D Amrollahi, M Hajdu, L Kovács, A Voronkov, EM Wagner EasyChair, 2024	1	2024
(Un)Solvable Loop Analysis D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... arXiv preprint arXiv:2306.01597, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year