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

Automatic Checking of Instruction Specifications., und . ICSE, Seite 326-336. ACM, (1997)C--: A Portable Assembly Language that Supports Garbage Collection., , und . PPDP, Volume 1702 von Lecture Notes in Computer Science, Seite 1-28. Springer, (1999)Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions., und . CC, Volume 3923 von Lecture Notes in Computer Science, Seite 217-231. Springer, (2006)Widening Integer Arithmetic., und . CC, Volume 2985 von Lecture Notes in Computer Science, Seite 232-249. Springer, (2004)MRFy: Remote Homology Detection for Beta-Structural Proteins Using Markov Random Fields and Stochastic Search., , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 12 (1): 4-16 (2015)Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code., und . POPL, Seite 575-586. ACM, (2011)The New Jersey Machine-Code Toolkit., und . USENIX, Seite 289-302. USENIX Association, (1995)An algebraic approach to file synchronization., und . ESEC / SIGSOFT FSE, Seite 175-185. ACM, (2001)Pragmatic Aspects of Reusable Program Generators.. SAIG, Volume 1924 von Lecture Notes in Computer Science, Seite 149-171. Springer, (2000)Literate Programming on a Team Project., und . Softw. Pract. Exp., 21 (7): 677-683 (1991)