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

Discrete-Time versus Continuous-Time Models of Neural Networks., und . J. Comput. Syst. Sci., 45 (1): 1-19 (1992)Parallel Execution of Iterative Computations over Workstation Clusters., und . J. Parallel Distributed Comput., 34 (2): 218-226 (1996)A multi-processing implementation-oriented formal definition of Ada in SEMANOL., , und . SIGPLAN, Seite 202-212. ACM, (1980)A Formal System for Differentiation.. J. ACM, 13 (4): 495-504 (1966)Efficient Reducibility Between Programming Systems: Preliminary Report, und . STOC, Seite 228-238. ACM, (1977)Extending an implementation language to a specification language., , und . Mathematical Studies of Information Processing, Volume 75 von Lecture Notes in Computer Science, Seite 384-424. Springer, (1978)Asynchronous Dynamics of Continuous Time Neural Networks., , und . NIPS, Seite 493-500. Morgan Kaufmann, (1993)The Semantics of Shared Submodules Specifications., und . TAPSOFT, Vol.1, Volume 185 von Lecture Notes in Computer Science, Seite 359-373. Springer, (1985)Issues in the Formal Specifications of Programming Languages., , und . Formal Description of Programming Concepts, Seite 1-30. North-Holland, (1977)Automatic Digital Encoding System, II (ADES II).. ACM National Meeting, Seite 110-113. ACM, (1956)