München Klinik — Germany
Computer Science · Physical Sciences
7h-index212citations24works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(8), Logic, programming, and type systems(7), Neural Networks and Applications(4), Physics and Engineering Research Articles(3), Low-power high-performance VLSI design(2)
Publications24 total
Lecture notes in computer science·2008· 1 cited
Lecture notes in computer science·2005· 12 cited
Lecture notes in computer science·2005· 5 citedOpen Access
it - Information Technology·1997· 1 cited
Schutz der Erdatmosphäre : Handreichungen zum fächerübergreifenden Unterricht im Gymnasium ; [Lehrerhandreichung]
1997
Elsevier eBooks·1992
Editorial: Neuronale Netze - einfaches Prinzip mit hohem Anspruch.
1991
Applicable Algebra in Engineering Communication and Computing·1990· 11 cited
AI Magazine·1990· 2 cited
Neuronale Netze - Soft - und Hardwarelösungen hochdimensionaler Approximationsprobleme
Automation, Robotics and Control Systems·1990
Elsevier eBooks·1990
International Journal of General Systems·1989· 7 cited
Informatik-Fachberichte·1989· 2 cited
Theoretical Computer Science·1988· 28 cited
Journal of Symbolic Computation·1987· 112 cited
Lecture notes in computer science·1986· 17 cited
Automorphismengruppen von Translationsebenen, die gewisse verallgemeinerte Elationen besitzen
French digital mathematics library (Numdam)·1985
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg·1984· 1 cited
Journal of Combinatorial Theory Series A·1984
Zum 100. Geburtstag Robert Henselings.
Archivaria·1983
page 1 of 2Next →
Frequent Co-authors
Klaus Estenfeld(2), Helmut Simonis(1), Franz Baader(1), R. Schmid(1), Hans-Albert Schneider(1), Erik Tidén(1), H. Ruder(1), F. Hergert(1), Bernd Schürmann(1), Hans-Georg Zimmermann(1), Hans Haugeneder(1), Peter Struß(1), I. Gottberg-Schlaadt(1), W. Bube(1), Franz X. Bogner(1), H. Fahn(1), H. J. Gareis(1), M. Huber(1), W. Eckert-Schweins(1), Matthieu Schmidt(1)