Author Info
Name
Affiliation
Papers
KARAM ABD ELKADER
technion israel institute of technology
2
Collaborators
Citations 
PageRank 
3
3
0.71
Referers 
Referees 
References 
7
51
44
Title
Citations
PageRank
Year
Automated Circular Assume-Guarantee Reasoning With N-Way Decomposition And Alphabet Refinement30.372016
Automated Circular Assume-Guarantee Reasoning00.342015