Author of the publication

Synthesis of Parallel Sorting Networks using SAT Solvers.

, and . MBMV, page 71-80. OFFIS-Institut für Informatik, (2011)

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.

 

Other publications of authors with the same name

Properties of Invariants and Induction Lemmata., , and . MBMV, page 1-10. VDE / IEEE, (2020)A μ-Calculus Approach to Supervisor Synthesis., and . MBMV, page 132-143. Shaker, (2003)Exploring different execution paradigms in exposed datapath architectures with buffered processing units., and . SAMOS, page 1-10. IEEE, (2017)09481 Abstracts Collection - SYNCHRON 2009., , , , and . SYNCHRON 2009, volume 09481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Towards the Applicability of Alf to Model Cyber-Physical Systems., , and . FedCSIS, page 1415-1422. (2013)Anti-sway system for boom cranes based on an optimal control approach., , , and . ACC, page 3166-3171. IEEE, (2003)Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory., , and . MBMV, page 1-12. VDE/IEEE, (2023)Data-aware Global Scheduling of Dataflow Process Networks., and . MBMV, page 1-9. VDE/IEEE, (2022)Program Balancing in Compilation for Buffered Hybrid Dataflow Processors., and . COMPSAC, page 57-66. IEEE, (2023)Modular Compilation of Synchronous Programs., , and . DIPES, volume 225 of IFIP, page 75-84. Springer, (2006)