Showing 1 - 20 results of 39 for search 'KTH, Teoretisk datalogi, TCS', query time: 2.35s Refine Results
  1. 1
    Short Proofs May Be Spacious : Understanding Space in Resolution
    by Nordström, Jakob
    Published 2008
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  2. 2
    Conditional Inapproximability and Limited Independence
    by Austrin, Per
    Published 2008
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  3. 3
    Sound Modular Extraction of Control Flow Graphs from Java Bytecode
    by de Carvalho Gomes, Pedro
    Published 2012
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Others
  4. 4
    Aspects of Secure and Efficient Streaming and Collaboration
    by Kreitz, Gunnar
    Published 2011
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  5. 5
    Algorithmic Verification Techniques for Mobile Code
    by Aktug, Irem
    Published 2008
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  6. 6
    The Security Properties of In-Network Aggregation
    by Jonsson, Kristjan Valur
    Published 2013
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  7. 7
    Algorithms and Tools for Learning-based Testing of Reactive Systems
    by Sindhu, Muddassar
    Published 2013
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  8. 8
    Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Others
  9. 9
    Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring
    by Lundblad, Andreas
    Published 2013
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  10. 10
    Combinatorial Slice Theory
    by de Oliveira Oliveira, Mateus
    Published 2013
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  11. 11
    Logics for Information Flow Security:From Specification to Verification
    by Balliu, Musard
    Published 2014
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  12. 12
    Some aspects of cryptographic protocols : with applications in electronic voting and digital watermarking
    by Terelius, Björn
    Published 2015
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  13. 13
    Algorithmic Verification of Procedural Programs in the Presence of Code Variability
    by Soleimanifard, Siavash
    Published 2014
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  14. 14
    Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management
    by Palmskog, Karl
    Published 2014
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  15. 15
    On difficult topics in theoretical computer science education
    by Enström, Emma
    Published 2014
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  16. 16
    Hardness of Constraint Satisfaction and Hypergraph Coloring : Constructions of Probabilistically Checkable Proofs with Perfect Completeness
    by Huang, Sangxia
    Published 2015
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  17. 17
    Automatic Extraction of Program Models for Formal Software Verification
    by de Carvalho Gomes, Pedro
    Published 2015
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  18. 18
    Privacy Issues in Decentralized Online Social Networks and other Decentralized Systems
    by Greschbach, Benjamin
    Published 2016
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  19. 19
    On Complexity Measures in Polynomial Calculus
    by Mikša, Mladen
    Published 2016
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Get full text
    Doctoral Thesis
  20. 20
    Executive Summaries in Software Model Checking
    by Berglund, Lasse
    Published 2018
    “...KTH, Teoretisk datalogi, TCS...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search