PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "King, Andy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
BinSlayer: accurate comparison of binary executables.

, , und . PPREW@POPL, Seite 4:1-4:10. ACM, (2013)

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.

Dr. Andy Steinmann University of Stuttgart

Stefan King University of Stuttgart

Andy Hinkel University of Stuttgart

King Cho Wong University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstracting numeric constraints with Boolean functions., und . Inf. Process. Lett., 75 (1-2): 17-23 (2000)Theory propagation and reification., , und . Sci. Comput. Program., (2015)The two variable per inequality abstract domain., und . Higher-Order and Symbolic Computation, 23 (1): 87-143 (2010)A pearl on SAT and SMT solving in Prolog., und . Theor. Comput. Sci., (2012)Distance: A New Metric for Controlling Granularity for Parallel Execution., , und . Journal of Functional and Logic Programming, (1999)Schedule Analysis of Concurrent Logic programs., und . JICSLP, Seite 478-492. MIT Press, (1992)Inferring non-suspension conditions for logic programs with dynamic scheduling., und . ACM Trans. Comput. Log., 9 (3): 17:1-17:43 (2008)A simple polynomial groundness analysis for logic programs., , , und . J. Log. Program., 45 (1-3): 143-156 (2000)Introduction to the 32nd International Conference on Logic Programming Special Issue., und . TPLP, 16 (5-6): 509-514 (2016)Inferring Congruence Equations Using SAT., und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 281-293. Springer, (2008)