( en | de | ru )

 

Disambiguierung von "Chatain, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Taking Complete Finite Prefixes to High Level, Symbolically.

, , und . Petri Nets, Volume 13929 von Lecture Notes in Computer Science, Seite 123-144. Springer, (2023)

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.

Nicolas Chatain

Thomas Thomas

Thomas Baron

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

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets., und . ICATPN, Volume 4024 von Lecture Notes in Computer Science, Seite 125-145. Springer, (2006)Concurrency in Boolean networks., , , , und . CoRR, (2019)Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems., , und . SOFSEM, Volume 5404 von Lecture Notes in Computer Science, Seite 141-152. Springer, (2009)Taking Complete Finite Prefixes To High Level, Symbolically., , , und . CoRR, (2023)Timed Alignments with Mixed Moves., und . Business Process Management Workshops, Volume 492 von Lecture Notes in Business Information Processing, Seite 186-197. Springer, (2023)From Automata Networks to HMSCs: A Reverse Model Engineering Perspective., , und . FORTE, Volume 3731 von Lecture Notes in Computer Science, Seite 489-502. Springer, (2005)Factorization Properties of Symbolic Unfoldings of Colored Petri Nets., und . Petri Nets, Volume 6128 von Lecture Notes in Computer Science, Seite 165-184. Springer, (2010)Symbolic Diagnosis of Partially Observable Concurrent Systems., und . FORTE, Volume 3235 von Lecture Notes in Computer Science, Seite 326-342. Springer, (2004)Timed Alignments., und . ICPM, Seite 112-119. IEEE, (2022)Symbolic Unfoldings for Networks of Timed Automata., , und . ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 307-321. Springer, (2006)