PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schneider, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
Real-Time Heave Motion Estimation using Adaptive Filtering Techniques

, , , and . IFAC World Congress, page 10119--10125. Cape Town, South Africa, (2014)
DOI: 10.3182/20140824-6-ZA-1003.00111

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.

Janos Klaus University of Stuttgart

Klaus Hentschel

apl. Prof. Dr. -Ing. Klaus Leonhardt University of Stuttgart

Prof. Dr. Georg Schneider University of Stuttgart

Dr. -Ing. Ralf Schneider University of Stuttgart

 

Other publications of authors with the same name

Synchronous Programming (Dagstuhl Seminar 13471)., , and . Dagstuhl Reports, 3 (11): 117-143 (2013)Automatic Hard Block Inference on FPGAs., and . DSD, page 551-557. IEEE Computer Society, (2013)Towards the Applicability of Alf to Model Cyber-Physical Systems., , and . FedCSIS, page 1415-1422. (2013)Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Das grafische Ausgabesystem am VW-Prozeß-Leit-System (PLS)., , and . Elektronische Rechenanlagen, 18 (5): 241-245 (1976)Formal synthesis of circuits with a simple handshake protocol., , and . VLSI Design, page 255-259. IEEE Computer Society, (1995)Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems., and . SEFM, page 67-76. IEEE Computer Society, (2004)Separate compilation and execution of imperative synchronous modules., , and . DATE, page 1580-1583. IEEE, (2009)Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung., , , , and . MBMV, page 114-123. HNI-Verlagsschriften, (1998)Synthesis of Parallel Sorting Networks using SAT Solvers., and . MBMV, page 71-80. OFFIS-Institut für Informatik, (2011)