Andreea Costea
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
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
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
Towards a session logic for communication protocols
F Craciun, T Kiss, A Costea
2015 20th International Conference on Engineering of Complex Computer …, 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
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
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
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
HIPimm: verifying granular immutability guarantees
A Costea, A Sharma, C David
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 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
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
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
A session logic for relaxed communication protocols
A Costea
PhD dissertation, School of Computing, National University of Singapore, 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
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
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
A Session Logic for Communication Protocols
F Craciun, WN Chin, A Costea
Working Formal Methods Symposium 1st International Workshop FROM 2017 …, 2017
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–17