Follow
Stefan Andrei
Title
Cited by
Cited by
Year
FDA approved antibacterial drugs: 2018-2019
S Andrei, G Droc, G Stefan
Discoveries 7 (4), 2019
1002019
About the Collatz conjecture
Ş Andrei, C Masalagiu
Acta Informatica 35 (2), 167-179, 1998
621998
New FDA approved antibacterial drugs: 2015-2017
S Andrei, L Valeanu, R Chirvasuta, MG Stefan
Discoveries 6 (1), 2018
532018
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
382012
Java de la 0 la expert: clase, interfeţe şi tablouri, fişiere şi fluxuri de date, fire de execuţie, appleturi, baze de date, servleturi
Ş Tanasă, C Olaru, Ş Andrei
Polirom, 2003
312003
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
292015
Some results on the Collatz problem
Ş Andrei, M Kudlek, RŞ Niculescu
Acta Informatica 37, 145-160, 2000
292000
Gastrointestinal stromal tumors
I Popescu
Chirurgia, 2008
282008
Prevalence of systemic venous congestion assessed by Venous Excess Ultrasound Grading System (VExUS) and association with acute kidney injury in a general ICU cohort: a …
S Andrei, PA Bahr, M Nguyen, B Bouhemad, PG Guinot
Critical Care 27 (1), 224, 2023
232023
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
222013
Doppler study of portal vein and renal venous velocity predict the appropriate fluid response to diuretic in ICU: a prospective observational echocardiographic evaluation
PG Guinot, PA Bahr, S Andrei, BA Popescu, V Caruso, PM Mertes, ...
Critical Care 26 (1), 305, 2022
212022
Incremental satisfiability counting for real-time systems
S Andrei, WN Chin
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and …, 2004
182004
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
162006
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
152006
A Modified Approach for Data Retrieval for Identifying Primary Causes of Deaths
AHM Noman, K Das, S Andrei
ACET Journal of Computer Education and Research 14 (1), 1-13, 2020
142020
Calculating polynomial runtime properties
H Anderson, SC Khoo, S Andrei, B Luca
Asian Symposium on Programming Languages and Systems, 230-246, 2005
142005
The determinant of the boolean formulae
S Andrei
Analele Universitatii Bucuresti, Informatica 44, 83-92, 1995
141995
Efficient verification and optimization of real-time logic-specified systems
Ş Andrei, AMK Cheng
IEEE Transactions on Computers 58 (12), 1640-1653, 2009
132009
Verifying linear real-time logic specifications
S Andrei, AMK Cheng
28th IEEE International Real-Time Systems Symposium (RTSS 2007), 333-342, 2007
132007
Counting for satisfiability by inverting resolution
Ş Andrei
Artificial Intelligence Review 22, 339-366, 2004
122004
The system can't perform the operation now. Try again later.
Articles 1–20