Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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