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

Compiling Abstract State Machines to C++.. J. UCS, 7 (11): 1068-1087 (2001)Java and the Java Virtual Machine: Definition, Verification, Validation, , und . Springer, (2001)Refinement and implementation techniques for Abstract State Machines.. University of Ulm, (2002)Production of 1-Octanol from n-Octane by Pseudomonas putida KT2440, , , , , , , und . CHEMIE INGENIEUR TECHNIK, 85 (6): 841-848 (Juni 2013)A consensus approach for estimating the predictive accuracy of dynamic models in biology., , , , , , und . Computer Methods and Programs in Biomedicine, 119 (1): 17-28 (2015)Image processing to overcome channel capacity limitations in telemicroscopy., , , und . ICPR, Seite 929-933. IEEE Computer Society, (1996)Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler., und . J. Autom. Reasoning, 30 (3-4): 323-361 (2003)Capturing Requirements by Abstract State Machines: The Light Control Case Study., , und . J. UCS, 6 (7): 597-620 (2000)Existentially closed fields with holomorphy rings.. Arch. Math. Log., 36 (2): 127-135 (1997)Enhanced Predictive Up/Down Power Control for CDMA Systems., , , , , , und . ICC, Seite 4327-4332. IEEE, (2006)