Autor der Publikation

Using computational grid capabilities to enhance the capability of an X-ray source for structural biology.

, , , , und . Cluster Computing, 3 (3): 187-199 (2000)

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

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker., , und . RTA, Volume 4098 von Lecture Notes in Computer Science, Seite 287-296. Springer, (2006)A language-based approach to functionally correct imperative programming., , und . ICFP, Seite 268-279. ACM, (2005)Permission Regions for Race-Free Parallelism., , , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 94-109. Springer, (2011)Hobbits for Haskell: a library for higher-order encodings in functional programming languages., , und . Haskell, Seite 35-46. ACM, (2011)Using computational grid capabilities to enhance the capability of an X-ray source for structural biology., , , , und . Cluster Computing, 3 (3): 187-199 (2000)Practical Permissions for Race-Free Parallelism., , , und . ECOOP, Volume 7313 von Lecture Notes in Computer Science, Seite 614-639. Springer, (2012)A Semantics for Approximate Program Transformations, und . CoRR, (2013)The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings., , und . LFMTP, Seite 74-83. ACM, (2009)Mint: Java multi-stage programming using weak separability., , , , , und . PLDI, Seite 400-411. ACM, (2010)Mathematical equations as executable models of mechanical systems., , , , , , , , , und 2 andere Autor(en). ICCPS, Seite 1-11. ACM, (2010)