Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Capturing Requirements by Abstract State Machines: The Light Control Case Study., , and . J. UCS, 6 (7): 597-620 (2000)Image processing to overcome channel capacity limitations in telemicroscopy., , , and . ICPR, page 929-933. IEEE Computer Society, (1996)Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler., and . J. Autom. Reasoning, 30 (3-4): 323-361 (2003)Production of 1-Octanol from n-Octane by Pseudomonas putida KT2440, , , , , , , and . CHEMIE INGENIEUR TECHNIK, 85 (6): 841-848 (June 2013)A consensus approach for estimating the predictive accuracy of dynamic models in biology., , , , , , and . Computer Methods and Programs in Biomedicine, 119 (1): 17-28 (2015)Refinement and implementation techniques for Abstract State Machines.. University of Ulm, (2002)Existentially closed fields with holomorphy rings.. Arch. Math. Log., 36 (2): 127-135 (1997)Enhanced Predictive Up/Down Power Control for CDMA Systems., , , , , , and . ICC, page 4327-4332. IEEE, (2006)Report on a Practical Application of ASMs in Software Design., , and . Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 361-366. Springer, (2000)High-Confidence Predictions in Systems Biology Dynamic Models., , , , , , and . PACBB, volume 294 of Advances in Intelligent Systems and Computing, page 161-171. Springer, (2014)