( en | de | ru )

 

Disambiguation of "Schneider, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP.

, , and . DATE, page 949-952. IEEE Computer Society, (2010)

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.

Klaus Schneider

Klaus Schneider

Klaus Schneider

Klaus Schneider

Klaus Schneider

 

Other publications of authors with the same name

Using IP Cores in Synchronous Languages., , and . MBMV, page 97-106. Universitätsbibliothek Berlin, Germany, (2009)Are Synchronous Programs Logic Programs?, and . Principled Software Development, page 251-266. Springer, (2018)A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata., , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 38-52. Springer, (2008)Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)A μ-Calculus Approach to Supervisor Synthesis., and . MBMV, page 132-143. Shaker, (2003)Semantics in space systems architectures., , and . Innov. Syst. Softw. Eng., 12 (1): 27-40 (2016)Combining supervisor synthesis and model checking., and . ACM Trans. Embed. Comput. Syst., 4 (2): 331-362 (2005)Properties of Invariants and Induction Lemmata., , and . MBMV, page 1-10. VDE / IEEE, (2020)Modeling offshore ropes for deepwater lifting applications., , , , and . AIM, page 1222-1227. IEEE, (2016)Separate compilation and execution of imperative synchronous modules., , and . DATE, page 1580-1583. IEEE, (2009)