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

Integrating Low Level Symmetries into Reachability Analysis.. TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 315-330. Springer, (2000)Parameterized Reachability Trees for Algebraic Petri Nets.. Application and Theory of Petri Nets, Volume 935 von Lecture Notes in Computer Science, Seite 392-411. Springer, (1995)Question-guided stubborn set methods for state properties., , und . Formal Methods Syst. Des., 29 (3): 215-251 (2006)Automated generation of a progress measure for the sweep-line method.. Int. J. Softw. Tools Technol. Transf., 8 (3): 195-203 (2006)Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte., und . MBEES, Volume 2009-01 von Informatik-Bericht, Seite 67-74. TU Braunschweig, Institut für Software Systems Engineering, (2009)Controllability of Open Workflow Nets.. EMISA, Volume P-75 von LNI, Seite 236-249. GI, (2005)Autonomes Index Tuning - DBMS-integrierte Verwaltung von Soft Indexen., , , und . BTW, Volume P-103 von LNI, Seite 152-171. GI, (2007)Einige Schätzansätze bei klassierten Daten der endogenen Variable im linearen Regressionsmodell. Arbeitspapiere aus dem Arbeitskreis Sozialwissenschaftliche Arbeitsmarktforschung, SAMF SAMF, Paderborn, (1984)The Aeolus Data Innovation and Science Cluster., , , , , , , , , und 37 andere Autor(en). IGARSS, Seite 759-762. IEEE, (2021)Towards Spiking Control for Dielectric Elastomer Actuators., , , , , und . ICCMA, Seite 445-451. IEEE, (2023)