( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Low Level Symmetries into Reachability Analysis.

. TACAS, том 1785 из Lecture Notes in Computer Science, стр. 315-330. Springer, (2000)

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.

Karsten Schmidt

Karsten Schmidt

Karsten Schmidt

Karsten Schmidt

Karsten Schmidt

 

Другие публикации лиц с тем же именем

Parameterized Reachability Trees for Algebraic Petri Nets.. Application and Theory of Petri Nets, том 935 из Lecture Notes in Computer Science, стр. 392-411. Springer, (1995)Integrating Low Level Symmetries into Reachability Analysis.. TACAS, том 1785 из Lecture Notes in Computer Science, стр. 315-330. Springer, (2000)Question-guided stubborn set methods for state properties., , и . Formal Methods Syst. Des., 29 (3): 215-251 (2006)Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte., и . MBEES, том 2009-01 из Informatik-Bericht, стр. 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)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., , , и . BTW, том P-103 из LNI, стр. 152-171. GI, (2007)The Aeolus Data Innovation and Science Cluster., , , , , , , , , и 37 other автор(ы). IGARSS, стр. 759-762. IEEE, (2021)Controllability of Open Workflow Nets.. EMISA, том P-75 из LNI, стр. 236-249. GI, (2005)Towards Spiking Control for Dielectric Elastomer Actuators., , , , , и . ICCMA, стр. 445-451. IEEE, (2023)