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

Computer-Assisted Simulation Proofs, , , , und . PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, Seite 305--319. Springer Verlag, (1993)Debugging Larch Shared Language Specifications., , und . IEEE Trans. Software Eng., 16 (9): 1044-1057 (1990)Notes on Type Abstraction (Version 2).. IEEE Trans. Software Eng., 6 (1): 13-23 (1980)A few Remarks on Putting Formal Specifications to Productive Use.. Program Specification, Volume 134 von Lecture Notes in Computer Science, Seite 370-380. Springer, (1981)An Overview of Larch., , und . Functional Programming, Concurrency, Simulation and Automated Reasoning, Volume 693 von Lecture Notes in Computer Science, Seite 329-348. Springer, (1993)Abstract Data Type and the Development of Data Structures.. Commun. ACM, 20 (6): 396-404 (1977)A Framework for Understanding Unintended Consequences of Machine Learning, und . arXiv preprint arXiv:1901.10002, (2019)Prototypical Biological Signals., und . ICASSP (1), Seite 397-400. IEEE, (2007)Larch: Languages and Tools for Formal Specification, , , , , und . Texts and Monographs in Computer Science Springer, (1993)Some Notes on Putting Formal Specifications to Productive Use., , und . Sci. Comput. Program., 2 (1): 53-68 (1982)