( en | de | ru )

 

Disambiguierung von "Ferrère, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Theory of Register Monitors.

, , und . LICS, Seite 394-403. ACM, (2018)

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.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Flavours of Sequential Information Flow., , , , und . CoRR, (2021)Trace Diagnostics Using Temporal Implicants., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 241-258. Springer, (2015)Efficient Parametric Identification for STL., , und . HSCC, Seite 177-186. ACM, (2018)Mixed-Time Signal Temporal Logic., , und . FORMATS, Volume 11750 von Lecture Notes in Computer Science, Seite 59-75. Springer, (2019)Interface-aware signal temporal logic., , , , und . HSCC, Seite 57-66. ACM, (2019)Monitoring Temporal Logic with Clock Variables., , und . FORMATS, Volume 11022 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2018)The Compound Interest in Relaxing Punctuality.. FM, Volume 10951 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2018)Shape Expressions for Specifying and Extracting Signal Features., , , , und . RV, Volume 11757 von Lecture Notes in Computer Science, Seite 292-309. Springer, (2019)On the Complexity of Timed Pattern Matching., , , und . FORMATS, Volume 12860 von Lecture Notes in Computer Science, Seite 15-31. Springer, (2021)Localizing Faults in Simulink/Stateflow Models with STL., , , und . HSCC, Seite 197-206. ACM, (2018)