| FDA approved antibacterial drugs: 2018-2019 S Andrei, G Droc, G Stefan Discoveries 7 (4), 2019 | 74 | 2019 |
| About the Collatz conjecture Ş Andrei, C Masalagiu Acta Informatica 35 (2), 167-179, 1998 | 54 | 1998 |
| New FDA approved antibacterial drugs: 2015-2017 S Andrei, L Valeanu, R Chirvasuta, MG Stefan Discoveries 6 (1), 2018 | 42 | 2018 |
| The advantages of retropancreatic vascular dissection for pancreatic head cancer with portal/superior mesenteric vein invasion: posterior approach pancreatico-duodenectomy … SC Moldovan, AM Moldovan, T Dumitraæcu, S Andrei, I Popescu Chirurgia (Bucur) 107 (5), 571-8, 2012 | 38 | 2012 |
| Gastrointestinal stromal tumors I Popescu Chirurgia, 2008 | 28 | 2008 |
| Java: de la 0 la expert Ş Tanasă, Ş Andrei, C Olaru Polirom, 2007 | 28 | 2007 |
| A novel caspase 8 selective small molecule potentiates TRAIL-induced cell death O Bucur, G Gaidos, A Yatawara, B Pennarun, C Rupasinghe, J Roux, ... Scientific reports 5 (1), 9893, 2015 | 25 | 2015 |
| Some results on the Collatz problem Ş Andrei, M Kudlek, RŞ Niculescu Acta Informatica 37, 145-160, 2000 | 25 | 2000 |
| Designing an American Sign Language avatar for learning computer science concepts for deaf or hard-of-hearing students and deaf interpreters S Andrei, L Osborne, Z Smith Journal of Educational Multimedia and Hypermedia 22 (3), 229-242, 2013 | 21 | 2013 |
| Incremental satisfiability counting for real-time systems S Andrei, WN Chin Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and …, 2004 | 17 | 2004 |
| Faster verification of RTL-specified systems via decomposition and constraint extension S Andrei, AMK Cheng 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), 67-76, 2006 | 16 | 2006 |
| Automatic debugging of real-time systems based on incremental satisfiability counting S Andrei, WN Chin, AMK Cheng, M Lupu IEEE Transactions on Computers 55 (7), 830-842, 2006 | 14 | 2006 |
| Calculating polynomial runtime properties H Anderson, SC Khoo, S Andrei, B Luca Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 14 | 2005 |
| Efficient verification and optimization of real-time logic-specified systems Ş Andrei, AMK Cheng IEEE Transactions on Computers 58 (12), 1640-1653, 2009 | 13 | 2009 |
| Verifying linear real-time logic specifications S Andrei, AMK Cheng 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 333-342, 2007 | 13 | 2007 |
| The determinant of the boolean formulae S Andrei Analele Universitatii Bucuresti, Informatica 44, 83-92, 1995 | 13 | 1995 |
| A rigorous methodology for specification and verification of business processes C Masalagiu, WN Chin, Ş Andrei, V Alaiba Formal Aspects of Computing 21, 495-510, 2009 | 12 | 2009 |
| Counting for satisfiability by inverting resolution Ş Andrei Artificial Intelligence Review 22, 339-366, 2004 | 12 | 2004 |
| A new algorithm for regularizing one-letter context-free grammars Ş Andrei, SV Cavadini, WN Chin Theoretical Computer Science 306 (1-3), 113-122, 2003 | 12 | 2003 |
| Optimization of real-time systems timing specifications S Andrei, AM Cheng 12th IEEE International Conference on Embedded and Real-Time Computing …, 2006 | 11 | 2006 |
Albert Mo Kim ChengProfessor of Computer Science and of Electrical and Computer Engineering, University of HoustonVerified email at cs.uh.edu
