( en | de | ru )

 

Disambiguierung von "Søndergaard, Harald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstract Interpretation, Symbolic Execution and Constraints.

, , , , und . Gabbrielli's Festschrift, Volume 86 von OASIcs, Seite 7:1-7:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Harald Bertram

Moderne kathetergesteuerte Diagnostik und Therapie kongenitaler kardiovaskulärer Anomalien. MedH Hannover, habilitation, (2009)

Harald Brisgen

Harald Schöndube

Harald Obermaier

Harald Klein

 

Weitere Publikationen von Autoren mit dem selben Namen

Un-Kleene Boolean equation Solving., , und . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)Bottom-up Abstract Interpretation of Logic Programs., und . ICLP/SLP, Seite 733-748. MIT Press, (1988)Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs., , , und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 385-386. Springer, (1996)On prolog and the occur check problem., und . ACM SIGPLAN Notices, 24 (5): 76-82 (1989)Making Connections: First Year Transition for Computer Science and Software Engineering Students., , , und . ACE, Volume 42 von CRPIT, Seite 229-238. Australian Computer Society, (2005)Transformation-Enabled Precondition Inference., , , , und . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Binary Decision Diagrams for Affine Approximation, , , und . CoRR, (2008)A strategy for managing content complexity in algorithm animation., , und . ITiCSE, Seite 127-130. ACM, (1999)Programming to Learn: Logic and Computation from a Programming Perspective., , und . ITiCSE (1), Seite 311-317. ACM, (2022)Compositional Symbolic Execution Using Fine-Grained Summaries., , und . ASWEC, Seite 213-222. IEEE Computer Society, (2015)