( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specifying and detecting temporal patterns with shape expressions.

, , , , и . Int. J. Softw. Tools Technol. Transf., 23 (4): 565-577 (2021)

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.

Thomas Thomas

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Böttcher

Naturstoffe und ihre Derivate als molekulare Sonden: Identifikation ihrer Angriffsziele und Inhibition der Virulenz in pathogenen Bakterien. Uni München, (2009)

Thomas Potinecke

Methode zur Systematisierung von Teilprozessen in der Produktentwicklung beim Einsatz von CAx-Technologien. Uni Stuttgart, (2009)
 

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

Efficient Parametric Identification for STL., , и . HSCC, стр. 177-186. ACM, (2018)Mixed-Time Signal Temporal Logic., , и . FORMATS, том 11750 из Lecture Notes in Computer Science, стр. 59-75. Springer, (2019)Interface-aware signal temporal logic., , , , и . HSCC, стр. 57-66. ACM, (2019)Monitoring Temporal Logic with Clock Variables., , и . FORMATS, том 11022 из Lecture Notes in Computer Science, стр. 53-70. Springer, (2018)Trace Diagnostics Using Temporal Implicants., , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 241-258. Springer, (2015)Flavours of Sequential Information Flow., , , , и . CoRR, (2021)Specifying and detecting temporal patterns with shape expressions., , , , и . Int. J. Softw. Tools Technol. Transf., 23 (4): 565-577 (2021)Monitoring Event Frequencies., , и . CoRR, (2019)Shape Expressions for Specifying and Extracting Signal Features., , , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2019)The Compound Interest in Relaxing Punctuality.. FM, том 10951 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2018)