| Acute mesenteric ischemia in COVID-19 patients D Serban, LC Tribus, G Vancea, AP Stoian, AM Dascalu, AI Suceveanu, ... Journal of Clinical Medicine 11 (1), 200, 2021 | 34 | 2021 |
| Systematic review of the role of indocyanine green near‑infrared fluorescence in safe laparoscopic cholecystectomy D Serban, DC Badiu, D Davitoiu, C Tanasescu, MS Tudosie, AD Sabau, ... Experimental and Therapeutic Medicine 23 (2), 1-10, 2022 | 13 | 2022 |
| Outcomes of diabetic retinopathy post-bariatric surgery in patients with type 2 diabetes mellitus AM Dascalu, AP Stoian, AP Cherecheanu, D Serban, DO Costea, ... Journal of Clinical Medicine 10 (16), 3736, 2021 | 11 | 2021 |
| Towards a session logic for communication protocols F Craciun, T Kiss, A Costea 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 11 | 2015 |
| Confirmed child patient with Covid-19 infection, operated for associated surgical pathology–first pediatric case in Romania DO Costea, FD Enache, R Baz, AP Suceveanu, AI Suceveanu, ... Rom Biotechnol Lett 25 (6), 2107-2110, 2020 | 10 | 2020 |
| Concise read-only specifications for better synthesis of programs with pointers A Costea, A Zhu, N Polikarpova, I Sergey Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 7 | 2020 |
| Certified reasoning with infinity A Sharma, S Wang, A Costea, A Hobor, WN Chin FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 7 | 2015 |
| Automated modular verification for relaxed communication protocols A Costea, WN Chin, S Qin, F Craciun Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018 | 6 | 2018 |
| HIPimm: verifying granular immutability guarantees A Costea, A Sharma, C David Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014 | 6 | 2014 |
| Ocular side effects of aromatase inhibitor endocrine therapy in breast cancer–A review D Serban, DO Costea, A Zgura, MS Tudosie, AM Dascalu, GA Gangura, ... in vivo 36 (1), 40-48, 2022 | 3 | 2022 |
| Hippodrome: Data Race Repair Using Static Analysis Summaries A Costea, A Tiwari, S Chianasta, A Roychoudhury, I Sergey ACM Transactions on Software Engineering and Methodology 32 (2), 1-33, 2023 | 2 | 2023 |
| Esophageal atresia associating gastrointestinal malformations: a study of clinical approach DA Iozsa, AC Costea, NS Ionescu Journal of Mind and Medical Sciences 8 (2), 273-279, 2021 | 1 | 2021 |
| A session logic for relaxed communication protocols A Costea PhD dissertation, School of Computing, National University of Singapore, 2017 | 1 | 2017 |
| Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization A Costea, WN Chin, F Craciun, S Qin arXiv preprint arXiv:2109.11802, 2021 | | 2021 |
| Klebsiella pneumoniae cryptogenic liver abscess and endophthalmitis–a case report and review of literature ML Grecescu, M Grecescu, AS Maria, CM Branescu, A Anghelache, ... Journal of Mind and Medical Sciences 8 (2), 330-335, 2021 | | 2021 |
| Concise Read-Only Specifications for Better Synthesis of Programs with Pointers--Extended Version A Costea, A Zhu, N Polikarpova, I Sergey arXiv preprint arXiv:2001.10723, 2020 | | 2020 |
| A Session Logic for Communication Protocols F Craciun, WN Chin, A Costea Working Formal Methods Symposium 1st International Workshop FROM 2017 …, 2017 | | 2017 |
Florin CraciunAssociate Professor of Computer Science, Babes-Bolyai UniversityПотвърден имейл адрес: ubbcluj.ro
