The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
The course on Secure and Dependable Systems.