1![Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014](https://www.pdfsearch.io/img/af22c5ca5f223260b41987ba85eaaa94.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2014-12-09 08:27:27
|
---|
2![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 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](https://www.pdfsearch.io/img/a8af2d68008d255cb5f69976fbc58f7c.jpg) | Add to Reading ListSource URL: custipen.pku.edu.cnLanguage: English - Date: 2018-05-27 03:33:03
|
---|
3![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, , 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, ,](https://www.pdfsearch.io/img/555d18818d60d7d2c6d7b151dc75faac.jpg) | Add to Reading ListSource URL: www.csc.kth.seLanguage: English - Date: 2011-11-04 05:08:37
|
---|
4![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, 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,](https://www.pdfsearch.io/img/31c7e884245c1d543a99ca101e1b18ac.jpg) | Add to Reading ListSource URL: necsys2010.inrialpes.frLanguage: English - Date: 2010-10-19 04:58:11
|
---|
5![On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm](https://www.pdfsearch.io/img/b17f5fac27d6ea0072a8f4143cb4fe74.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2006-06-03 18:31:12
|
---|
6![A Countermeasure Against Power Analysis Attacks for FSR-Based Stream Ciphers Shohreh Sharif Mansouri and Elena Dubrova Department of Electronic Systems, School of ICT KTH - Royal Institute of Technology, Stockholm Email: A Countermeasure Against Power Analysis Attacks for FSR-Based Stream Ciphers Shohreh Sharif Mansouri and Elena Dubrova Department of Electronic Systems, School of ICT KTH - Royal Institute of Technology, Stockholm Email:](https://www.pdfsearch.io/img/3eb33d1c9e67048c1cbddb19157dde48.jpg) | Add to Reading ListSource URL: skew2011.mat.dtu.dkLanguage: English - Date: 2011-02-04 06:56:56
|
---|
7![DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail: DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail:](https://www.pdfsearch.io/img/8e3d1021c61d8ab982444a8cd18219ea.jpg) | Add to Reading ListSource URL: www.csc.kth.seLanguage: English |
---|
8![Frequency hopping does not increase anti-jamming resilience of wireless channels Moritz Wiese and Panos Papadimitratos Networked Systems Security Group KTH Royal Institute of Technology, Stockholm, Sweden {moritzw, papad Frequency hopping does not increase anti-jamming resilience of wireless channels Moritz Wiese and Panos Papadimitratos Networked Systems Security Group KTH Royal Institute of Technology, Stockholm, Sweden {moritzw, papad](https://www.pdfsearch.io/img/3c596806191e667b549b256d67779e4d.jpg) | Add to Reading ListSource URL: www.kth.se- Date: 2015-10-04 09:22:45
|
---|
9![ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden](https://www.pdfsearch.io/img/2a7fc96a390ac7e5dad51d6057d75b76.jpg) | Add to Reading ListSource URL: www.csc.kth.se- Date: 2011-09-08 09:55:22
|
---|
10![Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden](https://www.pdfsearch.io/img/a87e0fc047c541976c1346e2e5a52604.jpg) | Add to Reading ListSource URL: prosper.sics.se- Date: 2013-10-17 09:26:32
|
---|