Get my own profile
Co-authors
Ehsan KhamespanahPostdoc, Reykjavik UniversityVerified email at ru.is
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Mohammad Reza MousaviProfessor, University of LeicesterVerified email at le.ac.uk
Amin ShaliUniversity of Texas, AustinVerified email at cs.utexas.edu
Christel BaierTU DresdenVerified email at tu-dresden.de
Ramtin KhosraviAssistant Prof., University of TehranVerified email at ut.ac.ir
Jan RuttenCWIVerified email at cwi.nl
Alireza jafariVerified email at atu.ac.ir
Narges KhakpourLinnaeus UniversityVerified email at lnu.se
Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Fatemeh GhassemiUniversity of TehranVerified email at ut.ac.ir
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Samira TasharofiUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Marjan Sirjani
Verified email at mdh.se - Homepage