( en | de | ru )

 

Disambiguierung von "Navas, Jorge A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
User-Definable Resource Bounds Analysis for Logic Programs.

, , , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 348-363. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jorge Francisco Azofeifa-Navas

Juan Navas

Jorge A Portocarrero Quispe

Gilberto Navas

Byron Navas

 

Weitere Publikationen von Autoren mit dem selben Namen

Path-Sensitive Backward Slicing., , , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)Unbounded Symbolic Execution for Program Verification., , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 396-411. Springer, (2011)Verification of Fault-Tolerant Protocols with Sally., , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 113-120. Springer, (2018)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2007)OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis., und . ACM Queue, 20 (5): 58-85 (2022)Abstract Interpretation of LLVM with a Region-Based Memory Model., und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 122-144. Springer, (2021)Boosting concolic testing via interpolation., , und . ESEC/SIGSOFT FSE, Seite 48-58. ACM, (2013)A Study of Set-Sharing Analysis via Clique., , und . WLPE, Seite 31-45. (2005)Automatically Tailoring Static Analysis to Custom Usage Scenarios., , , , und . CoRR, (2020)Towards Parameterized Regular Type Inference Using Set Constraints, , und . CoRR, (2010)