( en | de | ru )

 

Disambiguation of "Chatain, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Taking Complete Finite Prefixes To High Level, Symbolically.

, , , and . CoRR, (2023)

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.

Nicolas Chatain

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)
 

Other publications of authors with the same name

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