Name Card

Full name Familienname, Vorname

Amrollahi, Daneshvar

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura	Algebra-Based Reasoning for Loop Synthesis	Article Artikel	1-Apr-2022
	2		Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav	Solving Invariant Generation for Unsolvable Loops	Inproceedings Konferenzbeitrag	2022