| About the Collatz conjecture Ş Andrei, C Masalagiu Acta Informatica 35 (2), 167-179, 1998 | 44 | 1998 |
| 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-578, 2012 | 34 | 2012 |
| Java: de la 0 la expert Ş Tanasă, Ş Andrei, C Olaru Polirom, 2007 | 27 | 2007 |
| A flexible approach to finding representative pattern sets G Liu, H Zhang, L Wong IEEE Transactions on Knowledge and Data Engineering 26 (7), 1562-1574, 2013 | 24 | 2013 |
| Gastrointestinal stromal tumors. I Popescu, S Andrei Chirurgia (Bucharest, Romania: 1990) 103 (2), 155-170, 2008 | 23 | 2008 |
| Some results on the Collatz problem Ş Andrei, M Kudlek, RŞ Niculescu Acta Informatica 37 (2), 145-160, 2000 | 21 | 2000 |
| New FDA approved antibacterial drugs: 2015-2017 S Andrei, L Valeanu, R Chirvasuta, MG Stefan Discoveries 6 (1), 2018 | 19 | 2018 |
| 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, 9893, 2015 | 18 | 2015 |
| 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 | 17 | 2013 |
| Incremental satisfiability counting for real-time systems S Andrei, WN Chin Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and …, 2004 | 15 | 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 | 14 | 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 | 12 | 2006 |
| The determinant of the boolean formulae S Andrei Analele Universitatii Bucuresti, Informatica 44, 83-92, 1995 | 12 | 1995 |
| A rigorous methodology for specification and verification of business processes C Masalagiu, WN Chin, Ş Andrei, V Alaiba Formal aspects of computing 21 (5), 495, 2009 | 11 | 2009 |
| Efficient verification and optimization of real-time logic-specified systems Ş Andrei, AMK Cheng IEEE Transactions on Computers 58 (12), 1640-1653, 2009 | 11 | 2009 |
| Calculating polynomial runtime properties H Anderson, SC Khoo, S Andrei, B Luca Asian Symposium on Programming Languages and Systems, 230-246, 2005 | 11 | 2005 |
| Verifying linear real-time logic specifications S Andrei, AMK Cheng 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 333-342, 2007 | 10 | 2007 |
| Counting for satisfiability by inverting resolution Ş Andrei Artificial Intelligence Review 22 (4), 339-366, 2004 | 10 | 2004 |
| Self-embedded context-free grammars with regular counterparts S Andrei, WN Chin, SV Cavadini Acta Informatica 40 (5), 349-365, 2004 | 10 | 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 | 10 | 2003 |
Albert Mo Kim ChengProfessor of Computer Science and of Electrical and Computer Engineering, University of HoustonBestätigte E-Mail-Adresse bei cs.uh.edu
