PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Apinis, Kalmer"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Frameworks for Interprocedural Analysis of Concurrent Programs.

, , und . Software Systems Safety, Volume 36 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)

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 Apinis, Kalmer
Eine Person hinzufügen mit dem Namen Apinis, Kalmer
 

Weitere Publikationen von Autoren mit dem selben Namen

How to combine widening and narrowing for non-monotonic systems of equations., , und . PLDI, Seite 377-386. ACM, (2013)Frameworks for analyzing multi-threaded C.. Technical University Munich, (2014)Frameworks for Interprocedural Analysis of Concurrent Programs., , und . Software Systems Safety, Volume 36 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)Efficiently intertwining widening and narrowing., , , , und . CoRR, (2015)Efficiently intertwining widening and narrowing., , , , und . Sci. Comput. Program., (2016)Enhancing Top-Down Solving with Widening and Narrowing., , und . Semantics, Logics, and Calculi, Volume 9560 von Lecture Notes in Computer Science, Seite 272-288. Springer, (2016)Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis., , und . APLAS, Volume 7705 von Lecture Notes in Computer Science, Seite 157-172. Springer, (2012)Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages., und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 106-119. Springer, (2012)Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs., , , und . VMCAI, Volume 8318 von Lecture Notes in Computer Science, Seite 21-38. Springer, (2014)Static race detection for device drivers: the Goblint approach., , , , , und . ASE, Seite 391-402. ACM, (2016)