Amrollahi, Daneshvar

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Amrollahi, Daneshvar
 
Personal site Persönliche Website
 
ORCID

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav Solving Invariant Generation for Unsolvable LoopsInproceedings Konferenzbeitrag 2022
2Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjorner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022