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

Formal Methods-Based Tools for Race, Deadlock, and Other Errors.. Encyclopedia of Parallel Computing, Springer, (2011)Logical foundations for typed object-oriented languages., und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 404-423. Chapman & Hall, (1998)Bayesian graphical models for computational network biology., , , und . BMC Bioinformatics, 19-S (3): 59-69 (2018)Bayesian nonparametric clustering for large data sets., , , , und . Statistics and Computing, 29 (2): 203-215 (2019)Issues in Bayesian Analysis of Neural Network Models., und . Neural Computation, 10 (3): 749-770 (1998)Behavioral interface specification languages., , , , und . ACM Comput. Surv., 44 (3): 16:1-16:58 (2012)The IDE as a Scriptable Information System (extended version)., , und . CoRR, (2016)Specification and verification: the Spec# experience., , , , , und . Commun. ACM, 54 (6): 81-91 (2011)Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution., , und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 405-425. Springer, (2016)Entwicklung und Umsetzung einer neuen Hard- und Software Schnittstelle für den Sipos Seven PROFITRON Stellantrieb., , , , , und . Usability Professionals, Seite 213-223. De Gruyter Oldenbourg, (2015)