Stefan Andrei
Titel
Zitiert von
Zitiert von
Jahr
About the Collatz conjecture
Ş Andrei, C Masalagiu
Acta Informatica 35 (2), 167-179, 1998
441998
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
342012
Java: de la 0 la expert
Ş Tanasă, Ş Andrei, C Olaru
Polirom, 2007
272007
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
242013
Gastrointestinal stromal tumors.
I Popescu, S Andrei
Chirurgia (Bucharest, Romania: 1990) 103 (2), 155-170, 2008
232008
Some results on the Collatz problem
Ş Andrei, M Kudlek, RŞ Niculescu
Acta Informatica 37 (2), 145-160, 2000
212000
New FDA approved antibacterial drugs: 2015-2017
S Andrei, L Valeanu, R Chirvasuta, MG Stefan
Discoveries 6 (1), 2018
192018
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
182015
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
172013
Incremental satisfiability counting for real-time systems
S Andrei, WN Chin
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and …, 2004
152004
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
142006
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
122006
The determinant of the boolean formulae
S Andrei
Analele Universitatii Bucuresti, Informatica 44, 83-92, 1995
121995
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
112009
Efficient verification and optimization of real-time logic-specified systems
Ş Andrei, AMK Cheng
IEEE Transactions on Computers 58 (12), 1640-1653, 2009
112009
Calculating polynomial runtime properties
H Anderson, SC Khoo, S Andrei, B Luca
Asian Symposium on Programming Languages and Systems, 230-246, 2005
112005
Verifying linear real-time logic specifications
S Andrei, AMK Cheng
28th IEEE International Real-Time Systems Symposium (RTSS 2007), 333-342, 2007
102007
Counting for satisfiability by inverting resolution
Ş Andrei
Artificial Intelligence Review 22 (4), 339-366, 2004
102004
Self-embedded context-free grammars with regular counterparts
S Andrei, WN Chin, SV Cavadini
Acta Informatica 40 (5), 349-365, 2004
102004
A new algorithm for regularizing one-letter context-free grammars
Ş Andrei, SV Cavadini, WN Chin
Theoretical Computer Science 306 (1-3), 113-122, 2003
102003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20