Jorge A. Navas

Self-expanding Transcatheter vs Surgical Aortic Valve Replacement in Intermediate-Risk Patients

Nicolas M. Van Mieghem, G. Michael Deeb, Lars Søndergaard et al. · JAMA Cardiology · 2022 · 178 citations · Full text

Medicine, Cardiology, Surgery +13

Simple and precise static analysis of untrusted Linux kernel extensions

Elazar Gershuni, Nadav Amit, Arie Gurfinkel et al. · 2019 · 87 citations · Full text

Computing, Computer Science, Computer Systems +10

Boosting concolic testing via interpolation

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas · 2013 · 54 citations

Computing, Computer Science, Algorithms +11

User-Definable Resource Usage Bounds Analysis for Java Bytecode

Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo · Electronic Notes in Theoretical Computer Science · 2009 · 40 citations · Full text

Computing, Computer Engineering, Computer Science +15

Interval Analysis and Machine Arithmetic

Graeme Gange, Jorge A. Navas, Peter Schachte et al. · ACM Transactions on Programming Languages and Systems · 2015 · 27 citations · Full text

Computing, Computer Science, Number Theory +13