| VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 980 | 1996 |
| Model-checking continuous-time Markov chains A Aziz, K Sanwal, V Singhal, R Brayton ACM Transactions on Computational Logic (TOCL) 1 (1), 162-170, 2000 | 593 | 2000 |
| Verifying continuous time Markov chains A Aziz, K Sanwal, V Singhal, R Brayton Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 507 | 1996 |
| It usually works: The temporal logic of stochastic systems A Aziz, V Singhal, F Balarin, RK Brayton, AL Sangiovanni-Vincentelli Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 329 | 1995 |
| Peginterferon α-2b and ribavirin therapy in chronic hepatitis C genotype 4: impact of treatment duration and viral kinetics on sustained virological response SM Kamal, AA El Tawil, T Nakano, Q He, J Rasenack, SA Hakam, ... Gut 54 (6), 858-866, 2005 | 259 | 2005 |
| Efficient BDD algorithms for FSM synthesis and verification RK Ranjan, A Aziz, RK Brayton, B Plessier, C Pixley IWLS95, Lake Tahoe, CA 253, 254, 1995 | 194 | 1995 |
| Constraint-based verification J Yuan, C Pixley, A Aziz Springer Science & Business Media, 2006 | 172 | 2006 |
| Simultaneous routing and buffer insertion with restrictions on buffer locations H Zhou, DF Wong, IM Liu, A Aziz Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 96-99, 1999 | 157 | 1999 |
| BDD based procedures for a theory of equality with uninterpreted functions A Goel, K Sajid, H Zhou, A Aziz, V Singhal Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 129 | 1998 |
| Modeling design constraints and biasing in simulation using BDDs J Yuan, K Shultz, C Pixley, H Miller, A Aziz 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of …, 1999 | 123 | 1999 |
| BDD variable ordering for interacting finite state machines A Aziz, S Taşiran, RK Brayton Proceedings of the 31st annual Design Automation Conference, 283-288, 1994 | 116 | 1994 |
| HSIS: A BDD-based environment for formal verification A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ... Proceedings of the 31st annual Design Automation Conference, 454-459, 1994 | 105 | 1994 |
| On combining formal and informal verification J Yuan, J Shen, J Abraham, A Aziz Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 98 | 1997 |
| Enhancing simulation with BDDs and ATPG MK Ganai, A Aziz, A Kuehlmann Proceedings of the 36th Annual ACM/IEEE Design Automation Conference, 385-390, 1999 | 88 | 1999 |
| Zero-skew clock tree construction by simultaneous routing, wire sizing and buffer insertion IM Liu, TL Chou, A Aziz, DF Wong Proceedings of the 2000 international symposium on Physical design, 33-38, 2000 | 86 | 2000 |
| Expression of Concern: Provisioning On-Chip Networks under Buffered RC Interconnect Delay Variations M Mondal, T Ragheb, X Wu, A Aziz, Y Massoud 8th International Symposium on Quality Electronic Design (ISQED'07), 873-878, 2007 | 78 | 2007 |
| Population growth, trophic level, and reproductive biology of two congeneric archer fishes (Toxotes chatareus, Hamilton 1822 and Toxotes jaculatrix, Pallas 1767 … KD Simon, Y Bakar, A Samat, CC Zaidi, A Aziz, AG Mazlan Journal of Zhejiang University Science B 10, 902-911, 2009 | 74 | 2009 |
| Simplifying boolean constraint solving for random simulation-vector generation J Yuan, K Albin, A Aziz, C Pixley Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002 | 73 | 2002 |
| Sequential synthesis using S1S A Aziz, F Balarin, RK Brayton, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 2000 | 68* | 2000 |
| Transverse permeability of dry fiber preforms manufactured by automated fiber placement AR Aziz, MA Ali, X Zeng, R Umer, P Schubel, WJ Cantwell Composites Science and Technology 152, 57-67, 2017 | 63 | 2017 |
Vigyan SinghalNVIDIAכתובת אימייל מאומתת בדומיין oskitech.com