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

Using SPIN for Feature Interaction Analysis - A Case Study., und . SPIN, Volume 2057 von Lecture Notes in Computer Science, Seite 143-162. Springer, (2001)Das Drama des begabten Kindes und die Suche nach dem wahren Selbst: Eine Um- und Fortschreibung. (2009)Am Anfang war Erziehung. (2008)Exact and Approximate Strategies for Symmetry Reduction in Model Checking., und . FM, Volume 4085 von Lecture Notes in Computer Science, Seite 541-556. Springer, (2006)Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives., und . ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 9-23. Springer, (2006)Verifying parametrized, featured networks by abstraction., und . ISoLA (Preliminary proceedings), Volume TR-2004-6 von Technical Report, Seite 227-234. Department of Computer Science, University of Cyprus, (2004)Am Anfang war Erziehung. Suhrkamp, (1980)Video and CD-ROM as a training tool for performing neurologic examinations of 1-year-old children in a multicenter epidemiologic study., , , , , , , , , und 26 andere Autor(en). J Child Neurol, 20 (10): 829--831 (Oktober 2005)Model checking learning agent systems using Promela with embedded C code and abstraction., , und . Formal Asp. Comput., 28 (6): 1027-1056 (2016)Constraints for symmetry breaking in graph representation., , , und . Constraints An Int. J., 24 (1): 1-24 (2019)