Doctoral Dissertations of the Institute of Computer Science