K. Loeis

Application of symbolic and bounded model checking to the verification of logic control systems

Georg Frey, Mohammed Bani Younis, K. Loeis, 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

Multiple channel Filtered-X LMS-RLS vibration control in wood machining

H.-W. Hoffmeister, J. Hesselbach, K. Loeis, 2009, 2009 IEEE International Conference on Control and Automation.