PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jaffar, Joxan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Path-Sensitive Backward Slicing.

, , , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)

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.

Keine Personen gefunden für den Autorennamen Jaffar, Joxan
Eine Person hinzufügen mit dem Namen Jaffar, Joxan
 

Weitere Publikationen von Autoren mit dem selben Namen

An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model., , und . IEEE Trans. Software Eng., 28 (1): 18-29 (2002)Comments on "General Failure of Logic Programs"., , und . J. Log. Program., 3 (2): 115-118 (1986)see JLP 2: 157-165 (1985).Minimal and Complete Word Unification. J. ACM, 37 (1): 47-85 (Januar 1990)Precise Cache Timing Analysis via Symbolic Execution., , und . RTAS, Seite 293-304. IEEE Computer Society, (2016)S3: A Symbolic String Solver for Vulnerability Detection in Web Applications., , und . ACM Conference on Computer and Communications Security, Seite 1232-1243. ACM, (2014)A Framework for Combining Analysis and Verification., , und . POPL, Seite 26-39. ACM, (2000)A Decision Procedure for a Class of Set Constraints (Extended Abstract), und . LICS, Seite 42-51. IEEE Computer Society, (1990)Forward and Backward Chaining in Constraint Programming (Abstract)., , und . LPNMR, Volume 1265 von Lecture Notes in Computer Science, Seite 1. Springer, (1997)Modeling Systems in CLP., , und . ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 412-413. Springer, (2005)Path-sensitive resource analysis compliant with assertions., und . EMSOFT, Seite 15:1-15:10. IEEE, (2013)