Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Field-induced transition within the superconducting state of CeRh$_2$As$_2$, , , , , , , , , und 4 andere Autor(en). Science, 373 (6558): 1012-1016 (26.08.2021)A Practical Approach to the Global Analysis of CLP Programs., und . ILPS, Seite 437-455. MIT Press, (1993)Independence in Constraint Logic Programs., , und . ICLP Workshop on Concurrent Constraint Programming, (1993)Checking modes of HAL programs, , , , und . CoRR, (2004)A Practical Application of Sharing and Freeness Inference., und . WSA, Volume 81-82 von Series Bigre, Seite 118-125. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Improving Abstract Interpretations by Combining Domains., , , , und . ACM Trans. Program. Lang. Syst., 17 (1): 28-44 (1995)ViMer: a visual debugger for mercury., , , und . PPDP, Seite 56-66. ACM, (2003)Improving Abstract Interpretations by Combining Domains., , , , und . PEPM, Seite 194-205. ACM, (1993)A Model for Inter-module Analysis and Optimizing Compilation., , , , , und . LOPSTR (LNCS 2042: Selected Papers), Volume 2042 von Lecture Notes in Computer Science, Seite 86-102. Springer, (2000)An Overview of HAL., , , , und . CP, Volume 1713 von Lecture Notes in Computer Science, Seite 174-188. Springer, (1999)