Sorted by Supervisor name. If you want to sort it differently, click on the heading of the field you want to sort by.
Click on the topic title to get more details about that topic.
6 records found.
|No||193||Proving theorems in and about epistemic logics in Isabelle and PVS||Kai Engelhardt||Research|
|No||806||Disecting Refactoring||Kai Engelhardt||Research|
|No||3304||A covert channel based on weak memory||Kai Engelhardt||R & D|
|3305||QuickCheck for security definitions||Kai Engelhardt||R & D|
|3306||Identification and resolution of issues in systems security||Kai Engelhardt||R & D|
|No||3355||Super Mario Galaxy problem||Kai Engelhardt||Research|