Adnan Aziz

Model-checking continuous-time Markov chains

Adnan Aziz, Kumud Sanwal, Vigyan Singhal et al. · ACM Transactions on Computational Logic · 2000 · 415 citations

Computing, Computer Science, Mathematics +14

Simultaneous routing and buffer insertion with restrictions on buffer locations

Hai Zhou, Martin D. F. Wong, I-Min Liu et al. · 1999 · 83 citations

Computing, Computer Engineering, Computer Science +15

BDD variable ordering for interacting finite state machines

Adnan Aziz, Serdar Taşiran, Robert K. Brayton · 1994 · 63 citations · Full text

Engineering, Computer Engineering, Computer Science +5

Enhancing simulation with BDDs and ATPG

Malay Ganai, Adnan Aziz, Andreas Kuehlmann · 1999 · 61 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +13

Zero-skew clock tree construction by simultaneous routing, wire sizing and buffer insertion

I-Min Liu, Tan‐Li Chou, Adnan Aziz et al. · 2000 · 59 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +17