A type system for extracting functional specifications from memory-safe imperative programs von He, Paul, Westbrook, Eddy, Carmer, Brent, Phifer, Chris, Robert, Valentin, Smeltzer, Karl, Ştefănescu, Andrei, Tomb, Aaron, Wick, Adam, Yacavone, Matthew, Zdancewic, Steve

Volltext

PATIENT- STOMATOLOGIST RELATION WITHIN THE PANDEMIC CONTEXT von Cozmin, Mihai, Cigu, Andor Toni, Ştefănescu, Andrei, Stoicescu, Horia, Stafie, Liviu, Vasiliu, Mihaela, Stadoleanu, Carmen

Volltext

Matching logic: a new program verification approach (NIER track) von Rosu, G., Stefanescu, A.

Volltext

Language definitions as rewrite theories von Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore

Volltext

Towards a Unified Theory of Operational and Axiomatic Semantics von Roşu, Grigore, Ştefănescu, Andrei

Volltext

Language Definitions as Rewrite Theories von Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad, Şerbănuţă, Traian-Florin, Ştefănescu, Andrei, Roşu, Grigore

Volltext

From Hoare Logic to Matching Logic Reachability von Roşu, Grigore, Ştefănescu, Andrei

Volltext

Using A Body Shape Index (ABSI) and Body Roundness Index (BRI) to predict risk of metabolic syndrome in Peruvian adults von Stefanescu, Andrei, Revilla, Luis, Lopez, Tania, Sanchez, Sixto E., Williams, Michelle A., Gelaye, Bizu

Volltext

Very low birth weight infant care: adherence to a new nutrition protocol improves growth outcomes and reduces infectious risk von Stefanescu, Beatrice M, Gillam-Krakauer, Maria, Stefanescu, Andrei R, Markham, Melinda, Kosinski, Jennifer L

Volltext

All-Path Reachability Logic von Ştefănescu, Andrei, Ciobâcă, Ştefan, Mereuta, Radu, Moore, Brandon M., Şerbănută, Traian Florin, Roşu, Grigore

Volltext

A Standardized, 3-Tiered, Seizure Burden–Based Protocol for the Treatment of Neonatal Seizures von Moeller, Ashley A., Stefanescu, Andrei R., Stefanescu, Beatrice M., Golomb, Meredith R., Boyle, Frances A., Buss, William F., Rose, Rebecca S., Wing, Sarah E.

Volltext

The global epidemiology of hypertension von Mills, Katherine T., Stefanescu, Andrei, He, Jiang

Volltext

Natural proofs for structure, data, and separation von Qiu, Xiaokang, Garg, Pranav, Ştefănescu, Andrei, Madhusudan, Parthasarathy

Volltext

The Metabotropic Glutamate Receptor Subtype 5 Antagonist Fenobam Is Analgesic and Has Improved in Vivo Selectivity Compared with the Prototypical Antagonist 2-Methyl-6-(phenylethyn... von Montana, Michael C, Cavallone, Laura F, Stubbert, Kristi K, Stefanescu, Andrei D, Kharasch, Evan D, Gereau, 4th, Robert W

Volltext

All-Path Reachability Logic von Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu

Volltext

American Indian/Alaska Native Birth and Maternal Health Outcomes in Louisiana: Investigating Regional Disparities von Stefanescu, Andrei, Jespersen, Megan

Volltext

Adverse Childhood Experiences and Health-Related Quality of Life in Adulthood in American Indians and Alaska Natives von Stefanescu, Andrei, Hilliker, Amy

Volltext

Abstract 11.25 EXPERIMENTAL MODELS FOR IMMUNOLOGICAL STUDIES IN VASCULARIZED COMPOSITE ALLOTRANSPLANTATION von Grosu-Bularda, Andreea, Zamfirescu, Dragos, Stefanescu, Andrei, Popescu, Marius, Lascar, Ioan

Volltext

DIGITALIZATION IN IMPLANT PROSTHODONTICS von Stadoleanu, Carmen, Pipa, Cristina, Apintilesei, Aurelian, Cucoveică, Oana, Ştefănescu, Andrei, Caltabellotta, Cosimo, Ciur, Lucian

Volltext

Implementing an intensive care unit (ICU) diary program at a large academic medical center: Results from a randomized control trial evaluating psychological morbidity associated wi... von Sayde, George E., Stefanescu, Andrei, Conrad, Erich, Nielsen, Nathan, Hammer, Rachel

Volltext