New approach to study the van der Pol equation for large damping

by Klaus Schneider
Published 2018-02-01

A LTL Fragment for GR(1)-Synthesis

by Klaus Schneider, Andreas Morgenstern
Published 2011-02-01

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

by Andreas Morgenstern, Klaus Schneider
Published 2010-06-01

On the approximation of the limit cycles function

by L. Cherkas, A. Grin, Klaus Schneider
Published 2007-11-01

Dulac-Cherkas functions for generalized Liénard systems

by A. Grin, Klaus Schneider, L. Cherkas
Published 2011-06-01

Tracheoinnominate fistula: acute bleeding and hypovolemic shock due to a trachea-innominate artery fistula after long-term tracheostomy, treated with a stent-graft

by Ali Khanafer, Victoria Hellstern, Helfried Meißner, Christoph Harmening, Klaus Schneider, Hans Henkes
Published 2021-03-01