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
742019
About the Collatz conjecture
Ş Andrei, C Masalagiu
Acta Informatica 35 (2), 167-179, 1998
541998
New FDA approved antibacterial drugs: 2015-2017
S Andrei, L Valeanu, R Chirvasuta, MG Stefan
Discoveries 6 (1), 2018
422018
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
382012
Gastrointestinal stromal tumors
I Popescu
Chirurgia, 2008
282008
Java: de la 0 la expert
Ş Tanasă, Ş Andrei, C Olaru
Polirom, 2007
282007
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
252015
Some results on the Collatz problem
Ş Andrei, M Kudlek, RŞ Niculescu
Acta Informatica 37, 145-160, 2000
252000
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
212013
Incremental satisfiability counting for real-time systems
S Andrei, WN Chin
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and†…, 2004
172004
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
142006
Calculating polynomial runtime properties
H Anderson, SC Khoo, S Andrei, B Luca
Programming Languages and Systems: Third Asian Symposium, APLAS 2005†…, 2005
142005
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
The determinant of the boolean formulae
S Andrei
Analele Universitatii Bucuresti, Informatica 44, 83-92, 1995
131995
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
122009
Counting for satisfiability by inverting resolution
Ş Andrei
Artificial Intelligence Review 22, 339-366, 2004
122004
A new algorithm for regularizing one-letter context-free grammars
Ş Andrei, SV Cavadini, WN Chin
Theoretical Computer Science 306 (1-3), 113-122, 2003
122003
Optimization of real-time systems timing specifications
S Andrei, AM Cheng
12th IEEE International Conference on Embedded and Real-Time Computing†…, 2006
112006
The system can't perform the operation now. Try again later.
Articles 1–20