( en | de | ru )

 

Disambiguation of "Chatain, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency in Boolean networks.

, , , , and . CoRR, (2019)

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 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)
 

Other publications of authors with the same name

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)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)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)Symbolic Unfoldings for Networks of Timed Automata., , and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 307-321. Springer, (2006)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)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)Symbolic Diagnosis of Partially Observable Concurrent Systems., and . FORTE, volume 3235 of Lecture Notes in Computer Science, page 326-342. Springer, (2004)Timed Alignments., and . ICPM, page 112-119. IEEE, (2022)