Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.

First Page		Document Content
Date: 2017-10-31 10:32:18 Software testing Software verification KTH Royal Institute of Technology Computer science Verification Electromagnetism Engineering		Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada. Add to Reading List Source URL: www.nada.kth.se Download Document from Source Website File Size: 68,65 KB Share Document on Facebook

	Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 DocID: 1xU9g - View Document
	Lifetime measurement of the first 2+ state in 112Te M. Doncel(1), T. Back(1), B. Cederwall (1), D. Hodge(2), D. Cullen(2) et al (1)The Royal Institute of Technology (KTH), Sweden (2)Schuster Laboratory, University of Man DocID: 1v9J5 - View Document
	Session T1A Five Years with Kattis – Using an Automated Assessment System in Teaching Emma Enström, Gunnar Kreitz, Fredrik Niemelä, Pehr Söderman and Viggo Kann KTH – Royal Institute of Technology, , DocID: 1v6p0 - View Document
	Source Coding with Common Reconstruction and Action-dependent Side Information Kittipong Kittichokechai, Tobias J. Oechtering and Mikael Skoglund KTH Royal Institute of Technology, School of EE and ACCESS Center, DocID: 1v0CH - View Document
	On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm DocID: 1uVHM - View Document