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

Safe-for-Space Threads in Standard ML., , , , und . Higher-Order and Symbolic Computation, 11 (2): 209-225 (1998)FPGA Implementation of Cellular Automata Spaces Using a CAM Based Cellular Architecture., und . AHS, Seite 315-322. IEEE Computer Society, (2008)High-Confidence Medical Device Software and Systems., , , , , , , und . IEEE Computer, 39 (4): 33-38 (2006)Research in Programming Languages for Composability, Safety, and Performance., und . ACM Comput. Surv., 28 (4es): 195 (1996)JVer: A Java Verifier., , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 144-147. Springer, (2005)Digital Communication System with High Security and High Noise Immunity: Security Analysis and Simulation., , und . BWCCA, Volume 12 von Lecture Notes on Data Engineering and Communications Technologies, Seite 469-481. Springer, (2017)LEAP: A Language with Eval And Polymorphism., und . TAPSOFT, Vol.2, Volume 352 von Lecture Notes in Computer Science, Seite 345-359. Springer, (1989)Secure digital communication based on Lorenz stream cipher., , und . SoCC, Seite 23-28. IEEE, (2017)Linear colour contouring for fine art printmaking.. SIGGRAPH Visual Proceedings, Seite 185. ACM, (1997)Mass Flow Measurement of Fine Particles in a Pneumatic Suspension Using Electrostatic Sensing and Neural Network Techniques., , und . IEEE Trans. Instrumentation and Measurement, 55 (6): 2330-2334 (2006)