Dynamical Logic
The engineering of realā€time embedded systems: Why software needs to be developed using rigorous engineering-based methods?
Model Checking and the Curse of Dimensionality
Algorithms and Data Structures
Towards verifying compliance in Semantic Web service compositions
Mathematics for Computer Science
Lecture 6: More Containers
Distributed Algorithms
Music and Technology: Algorithmic and Generative Music
Fundamentals of Program Analysis