CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Kruger, Stefan, Spath, Johannes, Ali, Karim, Bodden, Eric, Mezini, Mira
Published in IEEE transactions on software engineering (01.11.2021)
Published in IEEE transactions on software engineering (01.11.2021)
Get full text
Journal Article
Evaluating wind-farm power generation using a new direct integration of axisymmetric turbine wake
Ali, Karim, Stallard, Tim, Ouro, Pablo
Published in Journal of physics. Conference series (01.06.2024)
Published in Journal of physics. Conference series (01.06.2024)
Get full text
Journal Article
SRAM-PUF-Based Entities Authentication Scheme for Resource-Constrained IoT Devices
Farha, Fadi, Ning, Huansheng, Ali, Karim, Chen, Liming, Nugent, Christopher
Published in IEEE internet of things journal (01.04.2021)
Published in IEEE internet of things journal (01.04.2021)
Get full text
Journal Article
A Study of Call Graph Construction for JVM-Hosted Languages
Ali, Karim, Lai, Xiaoni, Luo, Zhaoyi, Lhotak, Ondrej, Dolby, Julian, Tip, Frank
Published in IEEE transactions on software engineering (01.12.2021)
Published in IEEE transactions on software engineering (01.12.2021)
Get full text
Journal Article
Moisture absorption of an aerogel-based coating system under different wetting scenarios
Karim, Ali Naman, Sasic Kalagasidis, Angela, Johansson, Pär
Published in Building and environment (01.11.2023)
Published in Building and environment (01.11.2023)
Get full text
Journal Article
Machine learning investigation of polylactic acid bead foam extrusion
Shah, Karim Ali, Brütting, Christian, Albuquerque, Rodrigo Q., Ruckdäschel, Holger
Published in Journal of applied polymer science (10.08.2024)
Published in Journal of applied polymer science (10.08.2024)
Get full text
Journal Article
Design of a Hybrid Adaptive Controller for Series Elastic Actuators of Robots
Al-Ashtari, Waleed, Ali, Karim H
Published in Journal Europeen des Systemes Automatises (01.12.2023)
Published in Journal Europeen des Systemes Automatises (01.12.2023)
Get full text
Journal Article
Medical Masks Versus N95 Respirators for Preventing COVID-19 Among Health Care Workers : A Randomized Trial
Loeb, Mark, Bartholomew, Amy, Hashmi, Madiha, Tarhuni, Wadea, Hassany, Mohamed, Youngster, Ilan, Somayaji, Ranjani, Larios, Oscar, Kim, Joseph, Missaghi, Bayan, Vayalumkal, Joseph V, Mertz, Dominik, Chagla, Zain, Cividino, Maureen, Ali, Karim, Mansour, Sarah, Castellucci, Lana A, Frenette, Charles, Parkes, Leighanne, Downing, Mark, Muller, Matthew, Glavin, Verne, Newton, Jennifer, Hookoom, Ravi, Leis, Jerome A, Kinross, James, Smith, Stephanie, Borhan, Sayem, Singh, Pardeep, Pullenayegum, Eleanor, Conly, John
Published in Annals of Internal Medicine (01.12.2022)
Published in Annals of Internal Medicine (01.12.2022)
Get full text
Journal Article
Web Resource
Acanthamoeba Infection and Nasal Rinsing, United States, 1994-2022
Haston, Julia C, Serra, Chelsea, Imada, Erin, Martin, Emalee, Ali, Ibne Karim M, Cope, Jennifer R
Published in Emerging infectious diseases (01.04.2024)
Published in Emerging infectious diseases (01.04.2024)
Get full text
Journal Article
An FPGA comparative study of high‐level and low‐level combined designs for HEVC intra, inverse quantization, and IDCT/IDST 2D modules
Ben Atitallah, Ahmed, Kammoun, Manel, Ali, Karim M.A., Ben Atitallah, Rabie
Published in International journal of circuit theory and applications (01.08.2020)
Published in International journal of circuit theory and applications (01.08.2020)
Get full text
Journal Article
A 0.4V 12b Comparator Offset Injection Assisted SAR ADC achieving 0.425 fJ/conv-step
Vohra, Japesh, Ahmed, Karim Ali, Alioto, Massimo
Published in ESSCIRC 2023- IEEE 49th European Solid State Circuits Conference (ESSCIRC) (11.09.2023)
Published in ESSCIRC 2023- IEEE 49th European Solid State Circuits Conference (ESSCIRC) (11.09.2023)
Get full text
Conference Proceeding
Debugging Static Analysis
Do, Lisa Nguyen Quang, Kruger, Stefan, Hill, Patrick, Ali, Karim, Bodden, Eric
Published in IEEE transactions on software engineering (01.07.2020)
Published in IEEE transactions on software engineering (01.07.2020)
Get full text
Journal Article